Spójniki logiczne Marcin: Pokaż, że spójniki ⇔,→, ∧ można zapisać za pomocą spójników ∨ oraz ¬. Prowadzący od razu w pamięci znalazł parę przykładów, a ja miałem tylko uzupełnić tabelkę (to potrafię). Tutaj pytanie − jak do tego podejść zupełnie od zera?

Marcin: Przykładowo: (p ⇔ q) ⇔ (p → q) ⋀ (q → p) ⇔ ¬(p ⋀ ¬q) ⋀ ¬(q ⋀ ¬p)

Marcin: Przykład akurat wziąłem z odwrotnej sytuacji, →, ∨, ⇔ za pomocą ∧ ¬.

Maciess: Prawa rachunku zdań Tam dalej jeszcze z praw de Morgana ¬(p ⋀ ¬q) ⋀ ¬(q ⋀ ¬p) ⇔ ( ¬p v ¬¬q) ∧ (¬q v ¬¬p) ⇔ ( ¬p v q) ∧ (¬q v p) i teraz tej koniunkcji się pozbyć

Marcin: @Maciess dzięki czyli znając na pamięć najważniejsze zależności między zdaniami i prawa de Morgana, będę w stanie w każdej sytuacji zamienić te spójniki jak w zadaniu?

Maciess: Tak. Raczej tak