logika

 0    15 flashcards    guest3272239
download mp3 print play test yourself
 
Question język polski Answer język polski
zasada tożsamości
start learning
p=p
zasada podwójnego zaprzeczenia
start learning
p=~~p
zasada sprzeczności
start learning
~(p^~p)
zasada wyłączonego środka
start learning
p v~p
prawo redukcji do absurdu
start learning
(p->~p) ->~p
prawo symplikacji
start learning
(p^q) ->p
prawo przemienności koniunkcji
start learning
(p^q)=(q^p)
prawo addycji
start learning
p -> (p v q)
prawo przemienności alternatywy
start learning
(p v q) = (q v p)
pierwsze prawo de Morgana
start learning
~(p^q) = (~p v ~q)
drugie prawo de Morgana
start learning
~(p v q) = (~p^~q)
Modus ponendo ponens
start learning
[(p -> q)^p] ->q
Modus tollendo tollens
start learning
[(p -> q)^~q] ->~p
prawo dunsa szkota
start learning
~p->(p->q)
prawo transpozycji
start learning
(p->q)->(~q->~p)

You must sign in to write a comment