Prawa rachunku zdań

 0    7 Datenblatt    spatka2006
mp3 downloaden Drucken spielen überprüfen
 
Frage język polski Antworten język polski
prawo przemienności alternatywy
Lernen beginnen
(pvq) = (qvp)
prawo przemienności koniunkcji
Lernen beginnen
(p/\q) = (q/\p)
prawo łączności alternatywy
Lernen beginnen
(pvq)vr = pv(qvr)
prawo łączności koniunkcji
Lernen beginnen
(p/\q)/\r = p/\(q/\r)
prawo rozdzielności koniunkcji względem alternatywy
Lernen beginnen
(pvq)/\r = (p/\r) v (q/\r)
PdM negacja koniunkcji dwóch zdań jest alternatywą negacji tych zdań
Lernen beginnen
~(p/\q) = (~p) v (~q)
PdM negacja alternatywy dwóch zdań jest koniunkcja negacji tych zdań
Lernen beginnen
~(pvq) = (~p)/\(~q)

Sie müssen eingeloggt sein, um einen Kommentar zu schreiben.