→ Prawa Rachunku Zdań → Empezar lección / Descargar tarjetas en MP3

término		definición
prawo przemienności alternatywy empezar lección		(pvq) = (qvp)
prawo przemienności koniunkcji empezar lección		(p/\q) = (q/\p)
prawo łączności alternatywy empezar lección		(pvq)vr = pv(qvr)
prawo łączności koniunkcji empezar lección		(p/\q)/\r = p/\(q/\r)
prawo rozdzielności koniunkcji względem alternatywy empezar lección		(pvq)/\r = (p/\r) v (q/\r)
PdM negacja koniunkcji dwóch zdań jest alternatywą negacji tych zdań empezar lección		~(p/\q) = (~p) v (~q)
PdM negacja alternatywy dwóch zdań jest koniunkcja negacji tych zdań empezar lección		~(pvq) = (~p)/\(~q)

Prawa rachunku zdań