FMI, Info, Anul II, 2017-2018

Programare logică

Seminar 2
Deducţia naturală pentru calculul propoziţional

Sistemul de reguli al deducţiei naturale

ϕ ψ ϕ∧ψ ϕ∧ψ
(∧i) (∧e1 ) (∧e2 )
ϕ∧ψ ϕ ψ

ϕ
..
.
ψ ϕ ϕ→ψ
(→i) (→e)
ϕ→ψ ψ

ϕ ψ
.. ..
. .
ϕ ψ ϕ∨ψ χ χ
(∨i1 ) (∨i2 ) (∨e)
ϕ∨ψ ϕ∨ψ χ

ϕ
..
.
⊥ ϕ ¬ϕ
(¬i) (¬e)
¬ϕ ⊥
ϕ ¬¬ϕ
(¬¬i) (¬¬e)
¬¬ϕ ϕ

⊥
TND (⊥e)
ϕ ∨ ¬ϕ ϕ

TND (tertium non datur) este regulă derivată.

Atenţie! La acest sistem se adaugă regula de copiere.

1
(S2.1) Demonstraţi că următorii secvenţi sunt valizi:

(1) (p ∧ q) ∧ r, s ∧ t ` q ∧ s

(2) p, ¬¬(q ∧ r) ` ¬¬p ∧ r

(3) p ∧ q → r ` p → (q → r)

(4) p ∧ (q ∨ r) ` (p ∧ q) ∨ (p ∧ r)

(5) p → q, p → ¬q ` ¬p

(S2.2) Demonstraţi că următoarele reguli pot fi derivate din regulile deducţiei naturale:

¬ϕ
..
.
ϕ → ψ ¬ψ ⊥
MT RAA
¬ϕ ϕ

MT =modus tollens RAA =reductio ad absurdum

(S2.3) Fie n ≥ 1 şi ϕ1 , . . . , ϕn , ϕ formule. Demonstraţi că

dacă ` ϕ1 → (ϕ2 → (· · · → (ϕn → ϕ) · · · )) este valid, atunci ϕ1 , . . . , ϕn ` ϕ este valid.

(S2.4) Ştim că echivalenţa logică este definită astfel: ϕ ↔ ψ = (ϕ → ψ) ∧ (ψ → ϕ). Găsiţi
reguli de introducere şi eliminare pentru ↔.

2
Teorie pentru S2.5 şi S2.6:
Fie Γ ∪ {ϕ} ⊆ F orm. O formulă ϕ este Γ−tautologie (consecinţă semantică a lui Γ) dacă
orice model al lui Γ este şi model pentru ϕ, i.e. e+ (Γ) = {1} implică e+ (ϕ) = 1 pentru orice
evaluare e : V ar → {0, 1}. Notăm prin Γ  ϕ faptul că ϕ este o Γ-tautologie.

(S2.5) Fie n ≥ 1 şi ϕ1 , . . . , ϕn , ϕ formule. Demonstraţi că

dacă ϕ1 , . . . , ϕn  ϕ atunci  ϕ1 → (ϕ2 → (· · · → (ϕn → ϕ) · · · )).

(S2.6)

(1) Arătaţi că regula (∨i1 ) este corectă, adică

Γ  ϕ implică Γ  ϕ ∨ ψ pentru orice Γ ⊆ F orm.

(2) Arătaţi că regula (¬i) este corectă, adică

Γ  ϕ → ⊥ implică Γ  ¬ϕ pentru orice Γ ⊆ F orm.