Hilberto tipo teiginių skaičiavimo aksiomos ir MP Flashcards
(9 cards)
1
Q
Modus ponens:
A
A A->B
\\\\\\\\
B
2
Q
1.1 aks
A
A -> (B->A)
3
Q
2.1
A
(A&B) -> A
4
Q
2.2
A
(A&B) -> B
5
Q
3.1
A
A -> (AVB)
6
Q
3.2
A
B -> (AVB)
7
Q
4.1
A
(A->B) -> (!B->!A)
8
Q
4.2
A
A -> !!A
9
Q
4.3
A
!!A -> A
