Samprotavimai Flashcards
1
Q
Prijungimas
A
p ∴ p ∨ q
2
Q
Atskyrimas
A
p ∨ q ∴ p
3
Q
Konjuktyvus sujungimas
A
p, q ∴ p ∧ q
4
Q
Disjunktyvus silogizmas
A
p ∨ q, ¬q ∴ p
5
Q
Modus ponens
A
p → q, p ∴ q
6
Q
Modus tollens
A
p → q, ¬q ∴¬p