LOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:

Podobne dokumenty
LOGIKA I TEORIA ZBIORÓW

Lista 1 (elementy logiki)

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13

Instrukcja do testu z matematyki zdania logiczne, wyrażenia algebraiczne, równania kwadratowe Zakres materiału

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

Podstawy logiki i teorii zbiorów Ćwiczenia

Podstawy logiki i teorii zbiorów Ćwiczenia

Klasa 6. Liczby dodatnie i liczby ujemne

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

Logika, teoria zbiorów i wartość bezwzględna

Logika i teoria mnogości Ćwiczenia

(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];

Elementy logiki. Zdania proste i złożone

LOGIKA MATEMATYCZNA, ZBIORY, LICZBY RZECZYWISTE

Elementy logiki i teorii mnogości

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Wstęp do matematyki listy zadań

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

KURS MATURA ROZSZERZONA część 1

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Jarosław Wróblewski Matematyka Elementarna, lato 2012/13. Czwartek 28 marca zaczynamy od omówienia zadań z kolokwium nr 1.

Elementy logiki matematycznej

Jarosław Wróblewski Matematyka Elementarna, zima 2013/14. Czwartek 21 listopada zaczynamy od omówienia zadań z kolokwium nr 2.

Zestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących

Matematyka ETId Elementy logiki

ROZDZIAŁ 1. Rachunek funkcyjny

Indukcja matematyczna

Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Elementy logiki

Wykład 1. Informatyka Stosowana. 1 października Informatyka Stosowana Wykład 1 1 października / 26

LI Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 3 kwietnia 2000 r. (pierwszy dzień zawodów)

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne.

WIELOMIANY SUPER TRUDNE

Jarosław Wróblewski Matematyka Elementarna, zima 2012/13

Logika i teoria mnogości Ćwiczenia

Wykład 2. Informatyka Stosowana. 8 października 2018, M. A-B. Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41

Zasada indukcji matematycznej

Elementy rachunku zdań i algebry zbiorów

KURS MATURA ROZSZERZONA część 1

Rachunek zdań i predykatów

Klasa 6. Liczby dodatnie i liczby ujemne

Matura z matematyki na poziomie rozszerzonym

Elementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Pytania i polecenia podstawowe

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

PRÓBNA NOWA MATURA z WSiP. Matematyka dla klasy 2 Poziom podstawowy. Zasady oceniania zadań

W planie dydaktycznym założono 172 godziny w ciągu roku. Treści podstawy programowej. Propozycje środków dydaktycznych. Temat (rozumiany jako lekcja)

1 Podstawowe oznaczenia

Skrypt 2. Liczby wymierne dodatnie i niedodatnie. 3. Obliczanie odległości między dwiema liczbami na osi liczbowej

FUNKCJA KWADRATOWA. 1. Definicje i przydatne wzory. lub trójmianem kwadratowym nazywamy funkcję postaci: f(x) = ax 2 + bx + c

Wykład 1. Informatyka Stosowana. 2 października Informatyka Stosowana Wykład 1 2 października / 33

WIELOMIANY. Poziom podstawowy

f (x)=mx 2 +(2m 2)x+m+1 ma co najmniej jedno

Roger Bacon Def. Def. Def. Funktory zdaniotwórcze

DOBÓR ZADAŃ NA LEKCJE POWTÓRZENIOWE

Roger Bacon Def. Def. Def Funktory zdaniotwórcze

LOGIKA MATEMATYCZNA, ZBIORY I LICZBY RZECZYWISTE

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

STANDARDOWE FUNKCJE PRZYNALEŻNOŚCI. METODY HEURYSTYCZNE wykład 6. (alternatywa dla s) (zdef. poprzez klasę s) GAUSSOWSKA F.

Indukcja matematyczna. Zasada minimum. Zastosowania.

Roger Bacon Def. Def. Def Funktory zdaniotwórcze

KONKURS MATEMATYCZNY DLA UCZNIÓW GIMNAZJUM Etap Rejonowy

KONKURS MATEMATYCZNY

Kryteria oceniania z matematyki zakres podstawowy Klasa I

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1

Matura z matematyki?- MATURALNIE, Ŝe ZDAM! Zadania treningowe klasa I III ETAP

x 2 = a RÓWNANIA KWADRATOWE 1. Wprowadzenie do równań kwadratowych 2. Proste równania kwadratowe Równanie kwadratowe typu:

Elementy logiki matematycznej


KONKURS MATEMATYCZNY DLA UCZNIÓW SZKÓŁ GIMNAZJALNYCH

VII Olimpiada Matematyczna Gimnazjalistów

Wykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26

Plan wynikowy z wymaganiami edukacyjnymi z przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego

LOGIKA Klasyczny Rachunek Zdań

MATURA Przygotowanie do matury z matematyki

EGZAMIN, ANALIZA 1A, zadań po 5 punktów, progi: 30=3.0, 36=3.5, 42=4.0, 48=4.5, 54=5.0

Zestaw zadań dotyczących liczb całkowitych

Równania kwadratowe. Zad. 4: (profil matematyczno-fizyczny) Dla jakich wartości parametru m równanie mx 2 + 2x + m 2 = 0 ma dwa pierwiastki mniejsze

dr ANNA NIEWULIS CENTRUM NAUCZANIA MATEMATYKI i KSZTAŁCENIA na ODLEGŁOŚĆ pokój 310

MATEMATYKA WYDZIAŁ MATEMATYKI - TEST 1

Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.

Repetytorium z matematyki dla studentów pierwszego roku

EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015

Logika pragmatyczna dla inżynierów

Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania

Jarosław Wróblewski Matematyka Elementarna, zima 2015/16

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a

1. DZIAŁANIA NA UŁAMKACH, POTĘGACH I PIERWIASTKACH Zad.1 Oblicz: d) + e) (0,15+(-1,15)) 3. g) 15 (45,2 : : 6 )

EGZAMIN Z ANALIZY MATEMATYCZNEJ (CZEŚĆ 1)

Transkrypt:

LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą. c) Liczba,(3) jest niewymierna i,(3) jest liczbą mniejszą od,33. d) Liczba π jest niewymierna i π jest liczbą większą od 3. Odpowiedź uzasadnij. Zadanie ( pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe: a) x> i x+ < b) x = 3 ~ ( x 3) c) x> lub x+ < d) x 3 ~ ( x = 3) Zadanie 3 ( pkt.) Dla jakich wartości logicznych p i q prawdziwe jest zdanie: a) ( p q) ( p q), (6 pkt.) p q p q. (6 pkt.) b) ( ) ( ) Zadanie ( pkt.) Implikacja o poprzedniku p i następniku q jest fałszywa. Jaką wartość logiczną ma zdanie: q p q ( p)? Odpowiedź uzasadnij. ( ) ( ) Zadanie 5 ( pkt.) Oznaczmy zdania: p Moja siostra ma kartę rowerową. q Mój brat ma nowy rower. r Brat podwozi siostrę do szkoły. Zapisz słownie zdanie: ( q p) r i podaj jego zaprzeczenie. Zadanie 6 (3 pkt.) Oceń wartość logiczną zdań: a) Dla każdego współczynnika b równanie x bx = 0 ma dwa rozwiązania. b) Zbiorem rozwiązań nierówności x x+ 0< 0 jest zbiór liczb rzeczywistych. c) Funkcja f ( x) = x + x 50 nie przyjmuje wartości największej. Zadanie 7 ( pkt.) Oceń wartość logiczną zdań: a) Jeżeli Toruń leży nad Wisłą, to pies jest ssakiem, b) 96 jest liczbą wymierną i 69 jest liczbą wymierną, c) < >, d) Liczba -5 jest dodatnia wtedy i tylko wtedy, gdy liczba 3 jest ujemna.

Zadanie 8 (3 pkt.) Oceń wartość logiczną zdania ( p q) r, gdy: p : 3 / q : r : 86 6 5 = 80= 6 Zadanie 9 ( pkt.) Oceń prawdziwość poniższych implikacji. Które ze zdań po zastąpieniu symbolu implikacji symbolem równoważności jest zdaniem prawdziwym? a) / 00 / 00 b) / 0 / 0 c) 9 / 5 3 / 5 d) 3 / 9 /. Zadanie 0 (5 pkt.) Wpisz do tabelki wartość logiczną podanych zdań: p q p q 65 = 5 00 = 0 ( 0,) > ( 0, 5) 5 > 9 / 3 / 9 jest liczbą pierwszą 3 jest liczbą pierwszą p q p q p q Zadanie ( pkt.) To, czy zdanie p [ q ( ~ p) ] jest prawem rachunku zdań, można sprawdzić, posługując się następującą tabelą. p q ~ p q ( ~ p) p [ q ( ~ p) ] 0 0 0 0 0 0 0 0 W tabeli tej zauważamy, że w drugim wierszu ostatniej kolumny występuje wartość logiczna 0. Oznacza to, że dane zdanie nie jest prawem logicznym. Postępując w analogiczny sposób, sprawdź, czy zdanie [ q ( p) ] q zdań. ~ jest prawem rachunku Zadanie (5 pkt.) Iloczyn kolejnych czterech liczb naturalnych jest równy 30. Wyznacz te liczby. Zamiast rozwiązania równania x ( x+ )( x+ )( x+ 3) = 30, gdzie x jest najmniejszą z szukanych liczb, przeprowadzamy rozumowanie logiczne:. Ponieważ ostatnią cyfra liczby 30 nie jest 0, więc liczba 0 nie jest jedną z szukanych liczb.

. Ponieważ 30 < 0, więc liczba 30 jest iloczynem czterech kolejnych liczb naturalnych mniejszych od 0. 3. Ponieważ ostatnią cyfrą liczby 30 nie jest ani 5, ani 0, więc liczba 5 nie jest jedną z szukanych liczb. Wniosek z. 3.: jedyne możliwe iloczyny liczb to: 3 albo 6 7 8 9. Sprawdzenie: 3 = 6 7 8 9= 7= 30 Odp. szukane liczby to: 6 7 8 9. Rozumując logicznie, znajdź cztery kolejne liczby naturalne, których iloczyn jest równy 500. Poziom rozszerzony Zadanie ( pkt.) Wiadomo, że równoważność zdań p i q jest prawdziwa oraz ich koniunkcja jest fałszywa. p q p? Jaką wartość logiczną ma zdanie: ( ) ( ) Zadanie (3 pkt.) Oceń wartość logiczną zdania Istnieje taka liczba całkowita x, że suma liczby x i odwrotności tej liczby jest równa. Zapisz je używając kwantyfikatorów i symboli matematycznych. Podaj jego negację. Zadanie 3 (3 pkt.) Podaj, jakie liczby należy podstawić za zmienną zdaniową, aby otrzymać zdanie prawdziwe, gdy: a) n jest liczbą naturalną taką, że: n < 3 / n, b) x jest liczbą całkowitą taką, że: x > x = 6, x. c) x jest liczbą rzeczywistą taką, że: = x = 6 Zadanie (5 pkt.) Dane są funkcje zdaniowe: A : x + = x+ B : x C : x + = + = ( ) ( x )( x+ ) ( x+ ) x ( x+ ) ( x ) D : x + = Wskaż, które z tych funkcji zdaniowych są: a) prawdziwe dla każdej liczby rzeczywistej, b) prawdziwe dla pewnej liczby rzeczywistej, c) fałszywe dla każdej liczby rzeczywistej. Zadanie 5 ( pkt.) Zdanie Ania zdała na studia i nieprawdą jest, że jeśli Ewa zdała maturę, to Tomek nie zdał egzaminu gimnazjalnego jest prawdziwe. Czy prawdą jest, że Ania zdała na studia, Ewa zdała maturę, Tomek zdał egzamin gimnazjalny? Odpowiedź uzasadnij.

Zadanie 6 (8 pkt.) Równoważność zdań r i p jest fałszywa oraz implikacja ( p) q wartość logiczną zdania: [ r ~ ( p q) ] [ ( ~ q) r] ~ jest fałszywa. Oceń

SCHEMAT PUNKTOWANIA LOGIKA Poziom podstawowy Numer 3a 3b 5 Podanie wartości logicznej zdania a). Odp: zdanie fałszywe. Podanie wartości logicznej zdania b). Odp: zdanie fałszywe. Podanie wartości logicznej zdania c). Odp: zdanie fałszywe. Podanie wartości logicznej zdania d). Odp: zdanie prawdziwe. Podanie wartości logicznej zdania a). Odp: zdanie fałszywe. Podanie wartości logicznej zdania b). Odp: zdanie fałszywe. Podanie wartości logicznej zdania c). Odp: zdanie prawdziwe. Podanie wartości logicznej zdania d). Odp: zdanie fałszywe. Spostrzeżenie faktu: równoważność jest prawdziwa, kiedy zdania p q, p q są prawdziwe lub fałszywe. Rozpatrzenie dla jakich wartości logicznych p i q zdanie p q jest prawdziwe i sprawdzenie czy dla tych samych wartości zdanie p q też jest prawdziwe. Rozpatrzenie dla jakich wartości logicznych p i q zdanie p q jest fałszywe i sprawdzenie czy dla tych samych wartości zdanie p q też jest fałszywe. Sformułowanie odpowiedzi: jeżeli p i q są prawdziwe oraz jeżeli p prawdziwe a q fałszywe. Spostrzeżenie faktu: równoważność jest prawdziwa, kiedy zdania p q, p q są prawdziwe lub fałszywe. Rozpatrzenie dla jakich wartości logicznych p i q zdanie p q jest prawdziwe i sprawdzenie czy dla tych samych wartości zdanie p q też jest prawdziwe. Rozpatrzenie dla jakich wartości logicznych p i q zdanie p q jest fałszywe i sprawdzenie czy dla tych samych wartości zdanie p q też jest fałszywe. Sformułowanie odpowiedzi: jeżeli p i q są prawdziwe oraz jeżeli p fałszywe a q prawdziwe. Spostrzeżenie faktu, że implikacja o poprzedniku p i następniku q jest fałszywa jeżeli zdanie p jest prawdziwe a zdanie q fałszywe. Wyznaczenie wartości logicznej zdania q p. Odp. Fałszywe. Wyznaczenie wartości logicznej zdania q ( p). Odp. Fałszywe. Wyznaczenie wartości logicznej implikacji zdań. Odp. Prawdziwe. Sformułowanie zdania: Jeśli mój brat ma nowy rower i moja siostra nie ma karty rowerowej, to brat podwozi siostrę do szkoły. Podanie zaprzeczenia zdania symbolicznie: ( q ~ p) ~ r. pkt. zaprzeczenie wynikania, pkt. zaprzeczenie koniunkcji. Sformułowanie zdania: Mój brat ma nowy rower, moja siostra nie ma karty rowerowej i mój brat nie podwozi siostry do szkoły.

Numer a) zdanie prawdziwe 6 b) zdanie fałszywe c) zdanie fałszywe 7 Określenie wartości logicznej zdań. Za każdy podpunkt po pkt. 8 Określenie wartości logicznej zdań p, q, r. Określenie wartości logicznej zdania ( p q) r. Określenie wartości logicznej implikacji. 9 Określenie wartości logicznej zdań po zastąpieniu implikacji równoważnością. 0 Określenie wartości logicznej zdań p i q. p q, p q, p q, p q. Uzupełnienie trzech pierwszych kolumn odpowiedniej tabeli: p, q, ~ p. Uzupełnienie czwartej kolumny odpowiedniej tabeli: q ( ~ p). Uzupełnienie piątej kolumny odpowiedniej tabeli: [ q ( ~ p) ] q. Stwierdzenie, że podane zdanie jest prawem rachunku zdań. Sformułowanie wniosku. Ponieważ ostatnią cyfra liczby 500 jest 0, więc liczba 0 może być jedną z szukanych liczb. Sformułowanie wniosku. Ponieważ 500< 0, więc liczba 500 jest iloczynem czterech kolejnych liczb naturalnych mniejszych od 0 lub iloczynem 0 i trzech kolejnych liczb naturalnych mniejszych od 0. Sformułowanie wniosku 3. Ponieważ ostatnią cyfrą liczby 500 nie jest 5, ale 0, więc liczba 5 może być jedną z szukanych liczb. Wyznaczenie czwórek liczb spełniających warunki. 3.:, 3,, 5 lub 5, 6, 7, 8 lub 7, 8, 9, 0. Sprawdzenie, iloczyn których czterech liczb wynosi 500 i sformułowanie odpowiedzi: 7 8 9 0. Poziom rozszerzony Numer Spostrzeżenie faktu, że równoważność jest prawdziwa, jeżeli oba zdania są prawdziwe lub fałszywe. Sprawdzenie dla jakich z wyznaczonych wartości logicznych zdań p i q koniunkcja jest fałszywa. Odp. Oba zdania są fałszywe. Wyznaczenie wartości logicznej zdania p ( q). Odp. Prawdziwe. Wyznaczenie wartości logicznej implikacji zdań. Odp. Prawdziwe. Ocenienie wartości logicznej. Odp.: zdanie prawdziwe. Zapisanie z użyciem kwantyfikatora: x + =. x C x Zapisanie negacji tego zdania: x + x C x

Numer 3 5 6 Określenie liczb naturalnych n. Odp. { 0,,, 6, 8} Określenie liczb całkowitych x. Odp. {, } Określenie liczb rzeczywistych x. Odp. {,,, } n. x. x. Wskazanie funkcji zdaniowych prawdziwych dla każdej liczby rzeczywistej. Odp. C. Wskazanie funkcji zdaniowych prawdziwych dla pewnej liczby rzeczywistej. Odp. A, C, D. 3 Wskazanie funkcji zdaniowych fałszywej dla każdej liczby rzeczywistej. Odp. B. Zapisanie zdania przy użyciu symboli logicznych. Analiza zdania (wykorzystanie prawdziwości koniunkcji oraz zaprzeczenia implikacji) Udzielenie odpowiedzi. Odp. Wszystkie trzy zdania są prawdziwe. Określenie wartości logicznych zdań: w(p) = 0, w(q) = 0, w(r) = 3 Określenie wartości logicznych koniunkcji, negacji, alternatywy, implikacji, równoważności oraz udzielenie odpowiedzi na pytanie. 5 Odp. Zdanie prawdziwe.