→ Logika → Start Learning / Flashcards Téléchargement MP3

question		réponse
zasada tożsamości commencer à apprendre		p=p
zasada podwójnego zaprzeczenia commencer à apprendre		p=~~p
zasada sprzeczności commencer à apprendre		~(p^~p)
zasada wyłączonego środka commencer à apprendre		p v~p
prawo redukcji do absurdu commencer à apprendre		(p->~p) ->~p
prawo symplikacji commencer à apprendre		(p^q) ->p
prawo przemienności koniunkcji commencer à apprendre		(p^q)=(q^p)
prawo addycji commencer à apprendre		p -> (p v q)
prawo przemienności alternatywy commencer à apprendre		(p v q) = (q v p)
pierwsze prawo de Morgana commencer à apprendre		~(p^q) = (~p v ~q)
drugie prawo de Morgana commencer à apprendre		~(p v q) = (~p^~q)
Modus ponendo ponens commencer à apprendre		[(p -> q)^p] ->q
Modus tollendo tollens commencer à apprendre		[(p -> q)^~q] ->~p
prawo dunsa szkota commencer à apprendre		~p->(p->q)
prawo transpozycji commencer à apprendre		(p->q)->(~q->~p)

logika