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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Twierdzenie

A

Formuły dla których istnienie dowód w danym systemie aksjomatycznym

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

System trafny

A

System którego wszystkie twierdzenia są tautologiami

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Reguła odrywania

A

Implikacja i jej poprzednik w dowodzie, możemy dopisać jej następnik

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Reguła odrywania schemat

A

A->B
A
——
B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Reguła podstawiania

A

Zastąpienie wszystkich wystąpień danej zmiennej zdaniowej przez ustaloną formułę

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Reguła Podstawiania schemat

A

A
——
A[P1/B]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Reguła zastępowania

A

Zastępujemy pewną podformułę zdaniem jej logicznie równoważnym

AΞA[B\C]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Reguła zastępowania schemat

A

A
——
A[B\C]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly