→ Logika → Empezar lección / Descargar tarjetas en MP3

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

logika