Prawa rachunku zdań

 0    7 flashcards    spatka2006
download mp3 print play test yourself
 
Question język polski Answer język polski
prawo przemienności alternatywy
start learning
(pvq) = (qvp)
prawo przemienności koniunkcji
start learning
(p/\q) = (q/\p)
prawo łączności alternatywy
start learning
(pvq)vr = pv(qvr)
prawo łączności koniunkcji
start learning
(p/\q)/\r = p/\(q/\r)
prawo rozdzielności koniunkcji względem alternatywy
start learning
(pvq)/\r = (p/\r) v (q/\r)
PdM negacja koniunkcji dwóch zdań jest alternatywą negacji tych zdań
start learning
~(p/\q) = (~p) v (~q)
PdM negacja alternatywy dwóch zdań jest koniunkcja negacji tych zdań
start learning
~(pvq) = (~p)/\(~q)

You must sign in to write a comment