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

question		réponse
Zasada tożsamości commencer à apprendre		p=p
Zasada niesprzeczności commencer à apprendre		~(p/\~p)
Zasada wyłączonego środka commencer à apprendre		(pv~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 1 commencer à apprendre		[(pvq)/\~p] -> q
Prawo transpozycji prostej commencer à apprendre		(p->q) -> (~q->~p)
I prawo de Morgana commencer à apprendre		~(p /\ q) = (~p v ~q)
II prawo de Morgana commencer à apprendre		~(p v q)≡(~p∧~q)
Charakterystyka prawdy 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)
Prawo sylogizmu hipotetycznego koniunkcyjnego commencer à apprendre		[(p -> q) /\ (q -> r)] -> (p -> r)

Prawa logiczne