→ Prawa Logiczne →学習を始める /ダウンロードMP3フラッシュカード

学び始める

質問		答え
zasada tożsamości (principium indetitatis) 学び始める		(p ≡ p)
zasada niesprzeczności (principium non contradictionis) 学び始める		~ (p ^ ~p)
zasada wyłączonego środka (principium tertii exclusi) 学び始める		(p v ~p)
zasada podwójnego przeczenia 学び始める		~(~p) ≡ p
prawo redukcji do absurdu 学び始める		(p -> ~p) -> ~p
sylogizm konstrukcyjny 学び始める		[(p -> q) ^ p] -> q
sylogizm destrukcyjny 学び始める		[(p -> q) ^ ~q] -> ~p
sylogim alternatywny 学び始める		a) [(p v q) ^ ~p] -> q b) [(p v q) ^ ~q] -> p
prawo transpozycji prostej 学び始める		(p -> q) -> (~q -> ~p)
pierwsze prawo de Morgana 学び始める		~(p ^ q) ≡ (~p v ~q)
drugie prawo de Morgana 学び始める		~(p v q) ≡ (~p ^ ~q)
charakterystyka prawdy / prawo symplifikacji 学び始める		q -> (p -> q)
charakterystyka fałszu 学び始める		~p -> (p -> q)
prawo Dunsa Szkota 学び始める		(p ^ ~p) -> q
prawo negowania implikacji 学び始める		~(p -> q) ≡ (p ^ ~q)

Prawa logiczne