Czy wszystkie poprawne rozumowania staną się formalnie poprawne,

jeśli wystarczająco szczegółowo zanalizuję występujące w nich

wyrażenia?

Na przełomie XIX i XX wieku była taka nadzieja.

Ten program udało się częściowo zrealizować w matematyce, a

zostało zarzucone w odniesieniu do innych zagadnień.

Twierdzenie o zwartości:

Jeśli Γ zbiór formuł zdaniowych, φ formuła zdaniowa, to:

Jeśli Γ |= φ

To istnieje skończenie wiele formuł γ1 … γn takich że γ1 … γn |= φ

Opiszemy kilka reguł. Będziemy badać wnioskowania dokonane tylko

przy użyciu tych reguł.

Wynikanie syntaktyczne zapisujemy tak :

Ψ1 … ψn ͱ φ

Twierdzenie o pełności dla logiki zdaniowej

Dla dowolnego zbioru przesłanek Γ i dowolnego zdania φ w logice

zdaniowej

Γ |=φ wtedy i tylko wtedy gdy Γ ͱ φ

Notacja Fitcha

Reguły wolno stosować na dół i na prawo.

Przykład.

q ^ (p ν r) ͱ q ν r

1. q ^ (p ν r)

2.q :1-Elim:1

3. q ν r : V-Intro:2

Reguła reiteracji:

Reguła wprowadzania koniunkcji:

Reguła wprowadzania alternatywy I:

Reguła wprowadzania alternatywy II:

Reguła wprowadzania implikacji:

Reguła eliminacji implikacji:

Regułą wprowadzenia negacji:

Reguła eliminacji negacji:

Reguła wprowadzenia sprzeczności:

Reguła eliminacji sprzeczności:

Reguła eliminacji sprzeczności:
Przykład. (p ^ q) r,p qͱp r

1. (p ^ q) r
2. p q

3.p

4.q - Elim: 2,3

5.p^q ^ - Intro: 3,4
6.r _- Elim: 1,5

7. p r Intro: 3-6