Negacja bez implikacji Shawee: Zapisać negację tak, aby nie występował znak implikacji : (∼p∧q)⇒q Prosiłbym o pomoc i krótkie wytłumaczenie : )

lol: hehe

Basia: a nie ma to być ~[(p∧q)⇒q] albo ~[(~p∧q)⇒q]] ? bo tak jak napisałeś, to żadnej negacji tam nie ma; jest implikacja, w której poprzednik jest koniunkcją zaprzeczenia zdania p i zdania q

Godzio: p q ¬p ¬q p ⇒ q ¬p ∨ q 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 Na chłopski rozum można robić to tabelką, szukamy takiego zdania, które będzie miało takie same wartości p ⇒ q ⇔ ¬p ∨ q Zatem: (¬p∧q)⇒q ⇔ ¬(¬p∧q) ∨ q I to tylko można uprościć

Godzio: Po tym co napisała Basia zastanawiam się czy dobrze zrozumiałem polecenie