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

término		definición
zasada tożsamości (principium indetitatis) empezar lección		(p ≡ p)
zasada niesprzeczności (principium non contradictionis) empezar lección		~ (p ^ ~p)
zasada wyłączonego środka (principium tertii exclusi) empezar lección		(p v ~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 empezar lección		[(p -> q) ^ ~q] -> ~p
sylogim alternatywny empezar lección		a) [(p v q) ^ ~p] -> q b) [(p v q) ^ ~q] -> p
prawo transpozycji prostej empezar lección		(p -> q) -> (~q -> ~p)
pierwsze prawo de Morgana empezar lección		~(p ^ q) ≡ (~p v ~q)
drugie prawo de Morgana empezar lección		~(p v q) ≡ (~p ^ ~q)
charakterystyka prawdy / prawo symplifikacji 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)

Prawa logiczne