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

question		réponse
zasada tożsamości commencer à apprendre		p -> p
prawo zwrotności równoważności commencer à apprendre		p<->p
zasada niesprzeczności commencer à apprendre		~(p ^ ~p)
prawo wyłączonego środka commencer à apprendre		p v ~p
prawo podwójnej negacji commencer à apprendre		p<->~(~p)
prawa pochłaniania dla koniunkcji commencer à apprendre		(p^q)->p; (p^q)->q
prawo pochłaniania dla alternatywy commencer à apprendre		p->(p v q); q->(p v q)
prawo transpozycji commencer à apprendre		(p->q) -> (~q->~p)
prawo Dunsa Szkota commencer à apprendre		(p ^ ~p) ->q
I Prawo De Morgana commencer à apprendre		~(p ^ q) <-> (~p v ~q)
II Prawo De Morgana commencer à apprendre		~(p v q) <-> (~p ^ ~q)
prawo negacji implikacji commencer à apprendre		~(p->q) <-> (p^ ~q)
prawo sylogizmu hipotetycznego koniunkcyjnego commencer à apprendre		[(p->q) ^ (q->r)] -> (p->r)
prawo sylogizmu hipotetycznego bezkoniunkcyjnego commencer à apprendre		(p->q) -> [(q->r) -> (p->r)]
prawo eksportacji commencer à apprendre		[(p ^ q)-> r] -> [p->(q->r)]
prawo importacji commencer à apprendre		[p->(q->r)] -> [(p ^q) -> r]
prawo eksportacji i importacji commencer à apprendre		[(p ^q)->r)] <-> [p-> (q->r)]
prawa bez nazwy commencer à apprendre		1. ~(p <-> q) <-> (p <-> ~q) 2.~(p <->q) <-> (~p <-> q)

Prawa Logiczne