Definiowanie symboli w logice matematycznej
Rudeusz: Cześć! Trafiłem takie zadanka z logiki matematycznej. Mam w nich zdefiniować symbole za pomocą
innych. Jak to zrobić?
Screen z zadaniem:
http://scr.hu/1qal/l2y0g
22 paź 22:25
Blee:
p v q ⇔ ~(p ∧ q)
p ⇒ q ⇔ ~(p ∧ (~q) )
22 paź 22:28
Blee:
pozostałe pokombinuj samodzielnie
22 paź 22:28
mat: ¬(p ⋁ q)⇔¬p ∧¬q (prawo de Morgana) zatem p ⋁ q⇔¬(¬p ∧¬q)
22 paź 22:28