→ Prawa Logiczne → Start Learning / Flashcards Téléchargement MP3

question		réponse
zasada tożsamości (principium indetitatis) commencer à apprendre		(p ≡ p)
zasada niesprzeczności (principium non contradictionis) commencer à apprendre		~ (p ^ ~p)
zasada wyłączonego środka (principium tertii exclusi) commencer à apprendre		(p v ~p)
zasada podwójnego przeczenia commencer à apprendre		~(~p) ≡ p
prawo redukcji do absurdu commencer à apprendre		(p -> ~p) -> ~p
sylogizm konstrukcyjny commencer à apprendre		[(p -> q) ^ p] -> q
sylogizm destrukcyjny commencer à apprendre		[(p -> q) ^ ~q] -> ~p
sylogim alternatywny commencer à apprendre		a) [(p v q) ^ ~p] -> q b) [(p v q) ^ ~q] -> p
prawo transpozycji prostej commencer à apprendre		(p -> q) -> (~q -> ~p)
pierwsze prawo de Morgana commencer à apprendre		~(p ^ q) ≡ (~p v ~q)
drugie prawo de Morgana commencer à apprendre		~(p v q) ≡ (~p ^ ~q)
charakterystyka prawdy / prawo symplifikacji commencer à apprendre		q -> (p -> q)
charakterystyka fałszu commencer à apprendre		~p -> (p -> q)
prawo Dunsa Szkota commencer à apprendre		(p ^ ~p) -> q
prawo negowania implikacji commencer à apprendre		~(p -> q) ≡ (p ^ ~q)

Prawa logiczne