Reguły wnioskowania

rachunku
kwantyfikatorów
1. Reguły wnioskowania rachunku kwantyfikatorów.

Aby zbudować sformalizowany rachunek kwantyfikatorów w oparciu o przyjęte aksjomaty i tezy

rachunku zdań, należy przyjąć podane niżej reguły przekształcania wyrażeń sensownych
rachunku w nowe wyrażenia sensowne.

• Reguła odrywania – jeśli formuła implikacyjna i jej poprzednik są tezami systemu, to również
następnik tej formuły jest tezą systemu. Symbolicznie:

F1  F2 ; F1
F2

• Reguła podstawiania dla zmiennych indywiduowych - Podstawiając w dowolnej formule,

która jest tezą systemu, ze zmienną indywiduową a (wszedzie tam, gdize występuje ona jako
zmienna wolna) zmienną indywiduową b, otrzymuje się tezę systemu. Symbolicznie:

F
F (a / b)

Regułę tę wolno stosować jedynie pod warunkiem, że zmienna b nie stanie się w F (a/b)
związana tam, gdzie a w F była wolna.
• Reguła opuszczania kwantyfikatora ogólnego w następniku – jeśli formuła w postaci F1
→ΛaF2 jest tezą systemu, to tezą jest również formuła F 1→ F2. Symbolicznie:

F1  aF2
F1  F2

• Reguła opuszczania kwantyfikatora szczegółowego w poprzedniku – jeśli formuła w postaci

VaF1→ F2 jest tezą systemu, to tezą jest również formuła F 1→ F2. Symbolicznie:

VaF1  F2
F1  F2

• Reguła dołączania kwantyfikatora ogólnego w następniku – jeśli formuła w postaci F1→ F2

jest tezą systemu, to tezą jest również formuła F 1 →ΛaF2. Symbolicznie

F1  F2
F1  aF2

Regułę tę wolno stosować jedynie wtedy, gdy zmienna a nie jest wolna w F1.

• Reguła dołączania kwantyfikatora szczegółowego w poprzedniku – jeżeli formuła w postaci

F1  F2 formuła VaF → F Symbolicznie:
F1→ F2 jest tezą systemu, to tezą jest również 1 2.
VaF1  F2
 Wykres
4
Kolumna 8
Kolumna 7
3 Kolumna 6
Kolumna 5
Kolumna 4
2 Kolumna 3
Kolumna 2

1 Kolumna 1

0 5 10 15 20 25 30 35

15 13 11 9 7 5 3 1

17 19 21 23 25 27 29 31

16 18 20 22 24 26 28 30

14 12 10 8 6 4 2 0
Przedmioty kształcenia ogólnego

Nazwa przedmiotu Liczba godzin

języki obce 50

filozofia z elementami logiki 75

podstawy informatyki 20

biologiczne podstawy 60
zachowania
 Wydatki i finanse

500

400

300
Dom
Szkoła
200
Rozrywka
100

0
Wydatki
 Psychologia
Społeczności

Psychologia Kliniczna Psychologia Społeczna

Wydziały Psychologii

Psychologia
Przedsiębiorczości Psychologia Mediów
i Zarządzania

Psychologia Kliniczna