Prawa de Morgana Dominik: Prawa de Morgana Zapisz i udowodnij prawa de Morgana dla trzech zdań logicznych . Dobrze myślę? ¬(p v q v r) ⇔ ( (¬p) ∧ (¬q) ∧ (¬r) )

ite: ¬(p v q v r) ⇔¬((p v q) v r) ⇔¬(p v q) ∧¬r ⇔ (¬p∧¬q) ∧¬r⇔ ¬p ∧¬q ∧¬r

Dominik: Ok, łapię. Ale czy mógłbyś napisać dlaczego wrzuciłeś dwa wyrazy do jednego nawiasu a jeden poza nawias?

iteRacj@: korzystam z udowodnionych wcześniej praw De Morgana dla dwóch zdań logicznych ¬(s v r) ⇔ ¬s ∧ ¬r ¬((p v q) v r) ⇔¬(p v q) ∧¬r

Dominik: Ok. A co gdybym miał cztery zdania logiczne? p,q.r,s ?

Dominik: Na przykład p v q v r v s

iteRacj@: podobnie, skorzystamy prawa de Morgana dla trzech zdań logicznych ¬(p v q v r v s) ⇔¬((p v q v r) v s)⇔¬(p v q v r) ∧¬s ⇔ (¬p ∧¬q ∧¬r) ∧¬s⇔ ¬p ∧¬q ∧¬r ∧¬s

Dominik: I to już jest cały dowód?

iteRacj@: nie wygląda poważnie?

iteRacj@: to jest prawo zaprzeczenia alternatywy zostaje jeszcze wykazać prawo zaprzeczania koniunkcji dla trzech zdań logicznych

Dominik: poważnie czy nie.. to moje pierwsze kroki w logice i wszystkiego muszę się nauczyć od zera, więc wybacz głupie pytania

iteRacj@: może ktoś jeszcze wpisze inny dowód, ja też chętnie zobaczę inny