logika logika: Zbadaj metodą skróconą czy podane wyrazenie jest prawem rachunku zdan: ~[(p=>q) v (q=>p)]

Lukas: Za pomocą tabelki to bym Ci pomógł..

logika: za pomocą tabelki też umiem

logika: up

Janek191: Przyjmujemy następujące wartościowanie : w(p) = w(q) = 1 więc w( p ⇒ q ) = 1 i w( q ⇒ p ) = 1 zatem w [ ( p ⇒ q ) ∨ ( q ⇒ p ) ] = 1 czyli podane wyrażenie nie jest prawem rachunku zdań