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

Blee: p v q ⇔ ~(p ∧ q) p ⇒ q ⇔ ~(p ∧ (~q) )

Blee: pozostałe pokombinuj samodzielnie

mat: ¬(p ⋁ q)⇔¬p ∧¬q (prawo de Morgana) zatem p ⋁ q⇔¬(¬p ∧¬q)