Wejściówka Systemy Dowodzenia Flashcards
1
Q
Dowód formalny
A
Ciąg formuł kończący się tą formułą, zawierający jedynie:
aksjomaty
tezy
formuły otrzymane za pomocą reguł dowodzenia
2
Q
Twierdzenie
A
Formuły dla których istnienie dowód w danym systemie aksjomatycznym
3
Q
System trafny
A
System którego wszystkie twierdzenia są tautologiami
4
Q
Reguła odrywania
A
Implikacja i jej poprzednik w dowodzie, możemy dopisać jej następnik
5
Q
Reguła odrywania schemat
A
A->B
A
——
B
6
Q
Reguła podstawiania
A
Zastąpienie wszystkich wystąpień danej zmiennej zdaniowej przez ustaloną formułę
7
Q
Reguła Podstawiania schemat
A
A
——
A[P1/B]
8
Q
Reguła zastępowania
A
Zastępujemy pewną podformułę zdaniem jej logicznie równoważnym
AΞA[B\C]
9
Q
Reguła zastępowania schemat
A
A
——
A[B\C]