→ Prawa Logiczne → Empezar lección / Descargar tarjetas en MP3

término		definición
Zasada tożsamości empezar lección		p=p
Zasada niesprzeczności empezar lección		~(p/\~p)
Zasada wyłączonego środka empezar lección		(pv~p)
Zasada podwójnego przeczenia empezar lección		~(~p)=p
Prawo redukcji do absurdu empezar lección		(p->~p)->~p
Sylogizm konstrukcyjny empezar lección		[(p->q)/\p] -> q
Sylogizm destrukcyjny 1 empezar lección		[(pvq)/\~p] -> q
Prawo transpozycji prostej empezar lección		(p->q) -> (~q->~p)
I prawo de Morgana empezar lección		~(p /\ q) = (~p v ~q)
II prawo de Morgana empezar lección		~(p v q)≡(~p∧~q)
Charakterystyka prawdy empezar lección		q -> (p -> q)
Charakterystyka fałszu empezar lección		~p -> (p -> q)
Prawo Dunsa Szkota empezar lección		(p /\ ~p) -> q
Prawo negowania implikacji empezar lección		~(p->q) = (p /\ ~q)
Prawo sylogizmu hipotetycznego koniunkcyjnego empezar lección		[(p -> q) /\ (q -> r)] -> (p -> r)

Prawa logiczne