Pilneeeeeee!!!! pomocy!!!!
Karolinowa: Pomocy
!
1 . zapisz podane poniżej przedziały w postaci zbiorów np. {x ∊N : x<10}
a) x∊[ −5,10]
b) x∊(a,b]
c) x jest liczbą nie parzystą z przedziału (a,
∞)
d) x jest liczbą całkowitą z przedziału (−
∞ , 0)
2. Zbuduj matrycę wartości logicznych dla wyrażeń :
a) (p→q)→[(p∨∼q→(p∧q)]
b) [(p∨q)∧r]→(p∧∼q)
3. sprawdz prawdziwość równoważności:
a)[p∨(q∧r)]⇔[(p∨q)∧(p∨r)]
b)[(p→r)∧(q→r)]⇔[(p∨q)→r]
c)[p→(q→r)]⇔[(p→q)→(r→r)]
d)[(p↔q)↔r⇔[p↔(q↔r)] zakładając , że funktor ↔ ma taką samą tablicę prawdy jak funktor ⇔.
