£ Załóżmy, ze p jest zdaniem prawdziwym. Wówczas wartość logiczna zdań.a ({q v (p /\ q)) -»(p -» q))
a) to „prawda”, b) to „fałsz", c) nie może być jednoznacznie określona.
5. Następujące wnioskowanie: „O Janie wiadomo, że jeśli jest matematykiem, to jest filozofem lub jest wędkarzem. Wiadomo ponadto, że jeśli nie jest filozofem, to nie jest również wędkarzem. Zatem jeśli Jan nie jest filozofem, to nie jest matematykiem." a) jest poprawne, b) jest niepoprawne, c) jest oparte na regule „modus ponens"
6. N ech dwuargumentowa relacja r c R2 zdefiniowana będzie tak: dla dowolnych liczb rzeczywistych x,y, (x,y) e r wttw | x-l | < | y-11. Relacja ta jest
5j zwrotna, symetryczna, przechodnia, b) spójna, antysymetryczna, c) przeciwzwrotna
7. Relacja r ci X2 taka, że X = 0 jest
a) symetryczna i antysymetryczna, b) symetryczna i przeciwsymetryczna, c) zwrotna
8. Istn eje relacja, która jest jednocześnie
a) zwrotna i przeciwzwrotna, b) antysymetryczna i przeciwsymetryczna, c) symetryczna przeciwsymetryczna
9 Formuła (3x)(Vy)(y*x -> xV>l) jest prawdziwa w dziedzinie
a) liczb wymiernych, b) liczb rzeczywistych dodatnich, c) liczb rzeczywistych ujemnych 10. Rozważmy relację r = «x,v) : *2=y2) określoną w zbiorze Z. Relacja ta jest relacją a) równoważności, b) spójną, c) przechodnią