→ Prawa Logiczne → Rozpocznij Naukę / Ściągnij Fiszki MP3

Pytanie		Odpowiedź
prawo wyłączonego środka rozpocznij naukę		p v ~p
prawo podwójnego przeczenia rozpocznij naukę		~(~p) <=>p
prawo przemienności Alternatywy rozpocznij naukę		(pvq) <=>(qvp)
prawo przemienności koniunkcji rozpocznij naukę		(p^q) <=>(q^p)
prawo łączności Alternatywy rozpocznij naukę		[pv(qvr)] <=>[(pvq)vr]
prawo łączności koniunkcji rozpocznij naukę		[p^(q^r)] <=>[(p^q) ^r]
prawo rozdzielności koniunkcji względem Alternatywy rozpocznij naukę		[p^(qvr)] <=>[(p^q) v(p^r)]
prawo rozdzielności alternatywy względem koniunkcji rozpocznij naukę		[pv(q^r)] <=>(pvq) ^(pvr)
I prawo de Morgana rozpocznij naukę		[~(pvq)] <=>[(~p) ^(~q)]
II prawo de Morgana rozpocznij naukę		[~(p^q)] <=>[(~p) v(~q)]
prawo przechodniości implikacji rozpocznij naukę		[(p=>q) ^(q=>r)] =>(p=>r)
zaprzeczenie implikacji rozpocznij naukę		[~(p=>q)] <=>[p^(~q)]
równoważność implikacji prostej i przeciwstawnej rozpocznij naukę		(p=>q) <=>[(~q) =>(~p)]
równoważność implikacji odwrotnej i przeciwnej rozpocznij naukę		(q=>p) <=>[(~p) =>(~q)]

prawa logiczne