Természetes levezetés

Gyakorlat

Logika

2021/2022 1. félév

Logika Természetes levezetés 2021/2022 1. félév 1 / 18

Természetes levezetés alapjai
Levezetési szabály két része:
felső - premisszák, alsó -
konklúzió (Ha a felső levezetés
megkonstruálható, akkor az alsó
is.)
Levezetési szabályokat lentről
felfele fogjuk alkalmazni
Három szabály, amelynek a
használata nem egyértelmű:
(⊃ a), (¬b) és vágás szabálya

Logika Természetes levezetés 2021/2022 1. félév 2 / 18

Egyszerű levezetések

B1: `0 A ⊃ A

X
A `0 A B3: A `0 ¬¬A
(⊃ b)
`0 A ⊃ A
X X
B4: ¬¬A `0 A A, ¬A `0 A A, ¬A `0 ¬A
(¬b)
A `0 ¬¬A
X
¬¬A `0 ¬¬A
(¬a)
¬¬A `0 A

Logika Természetes levezetés 2021/2022 1. félév 3 / 18

Összetettebb levezetés

B2: {A ⊃ B, B ⊃ C } `0 A ⊃ C

X X
{A ⊃ B, B ⊃ C , A} `0 A {A ⊃ B, B ⊃ C , A} `0 A ⊃ B X
(⊃ b)
{A ⊃ B, B ⊃ C , A} `0 B {A ⊃ B, B ⊃ C , A} `0 B ⊃ C
(⊃ a)
{A ⊃ B, B ⊃ C , A} `0 C
(⊃ b)
{A ⊃ B, B ⊃ C } `0 A ⊃ C

Logika Természetes levezetés 2021/2022 1. félév 4 / 18

Összetettebb levezetés

B5: {A ⊃ B} `0 ¬¬A ⊃ ¬¬B

X
A ⊃ B, ¬¬A, ¬B `0 ¬¬A X
(¬a)
A ⊃ B, ¬¬A, ¬B `0 A A ⊃ B, ¬¬A, ¬B `0 A ⊃ B X
(⊃ a)
A ⊃ B, ¬¬A, ¬B `0 B A ⊃ B, ¬¬A, ¬B `0 ¬B
(¬b)
A ⊃ B, ¬¬A `0 ¬¬B
(⊃ b)
A ⊃ B `0 ¬¬A ⊃ ¬¬B

Logika Természetes levezetés 2021/2022 1. félév 5 / 18

1. Feladat

Bizonyı́tsuk, hogy a következő levezetés helyes:

{(A ∨ B) ⊃ C } `0 (A ⊃ C ) ∧ (B ⊃ C )
X
(A ∨ B) ⊃ C , A `0 A X
(∨b)
(A ∨ B) ⊃ C , A `0 A ∨ B (A ∨ B) ⊃ C , A `0 (A ∨ B) ⊃ C
(⊃ a)
(A ∨ B) ⊃ C , A `0 C ...
(⊃ b)
(A ∨ B) ⊃ C `0 A ⊃ C (A ∨ B) ⊃ C `0 B ⊃ C
(∧b)
(A ∨ B) ⊃ C `0 (A ⊃ C ) ∧ (B ⊃ C )

Logika Természetes levezetés 2021/2022 1. félév 6 / 18

1. Feladat

Bizonyı́tsuk, hogy a következő levezetés helyes:

{(A ∨ B) ⊃ C } `0 (A ⊃ C ) ∧ (B ⊃ C )

X
(A ∨ B) ⊃ C , B `0 B X
(∨b)
(A ∨ B) ⊃ C , B `0 A ∨ B (A ∨ B) ⊃ C , B `0 (A ∨ B) ⊃ C
(⊃ a)
... (A ∨ B) ⊃ C , B `0 C
(⊃ b)
(A ∨ B) ⊃ C `0 A ⊃ C (A ∨ B) ⊃ C `0 B ⊃ C
(∧b)
(A ∨ B) ⊃ C `0 (A ⊃ C ) ∧ (B ⊃ C )

Logika Természetes levezetés 2021/2022 1. félév 7 / 18

2. Feladat

Bizonyı́tsuk, hogy a következő formula bizonyı́tható: A ⊃ (¬A ⊃ B)

X X
A, ¬A, ¬B `0 A A, ¬A, ¬B `0 ¬A
(¬b)
A, ¬A `0 ¬¬B
(¬a)
A, ¬A `0 B
(⊃ b)
A `0 ¬A ⊃ B
(⊃ b)
`0 A ⊃ (¬A ⊃ B)

Logika Természetes levezetés 2021/2022 1. félév 8 / 18

3. Feladat

Vizsgáljuk meg a szokásos ”nyomozós” feladatot:

{F ⊃ K , K ⊃ A, ¬A} |=0 ¬F
... X
F ⊃ K , K ⊃ A, ¬A, F `0 A F ⊃ K , K ⊃ A, ¬A, F `0 ¬A
(¬b)
F ⊃ K , K ⊃ A, ¬A `0 ¬F

Logika Természetes levezetés 2021/2022 1. félév 9 / 18

3. Feladat

Vizsgáljuk meg a szokásos ”nyomozós” feladatot:

{F ⊃ K , K ⊃ A, ¬A} |=0 ¬F

X X
F ⊃ K , K ⊃ A, ¬A, F `0 F F ⊃ K , K ⊃ A, ¬A, F `0 F ⊃ K X
(⊃ a)
F ⊃ K , K ⊃ A, ¬A, F `0 K F ⊃ K , K ⊃ A, ¬A, F `0 K ⊃ A
(⊃ a)
F ⊃ K , K ⊃ A, ¬A, F `0 A
(¬b)
F ⊃ K , K ⊃ A, ¬A `0 ¬F

Logika Természetes levezetés 2021/2022 1. félév 10 / 18

4. feladat

Bizonyı́tsuk, hogy a következő formula bizonyı́tható:

¬(A ∧ (B ⊃ ¬C )) ⊃ (A ⊃ C )

... X
¬(A ∧ (B ⊃ ¬C )), A, ¬C ` A ∧ (B ⊃ ¬C ) ¬(A ∧ (B ⊃ ¬C )), A, ¬C ` ¬(A ∧ (B ⊃ ¬C ))
(¬b)
¬(A ∧ (B ⊃ ¬C )), A ` ¬¬C
(¬a)
¬(A ∧ (B ⊃ ¬C )), A ` C
(⊃ b)
¬(A ∧ (B ⊃ ¬C )) ` A ⊃ C
(⊃ b)
` ¬(A ∧ (B ⊃ ¬C )) ⊃ (A ⊃ C )

Logika Természetes levezetés 2021/2022 1. félév 11 / 18

4. feladat

Bizonyı́tsuk, hogy a következő formula bizonyı́tható:

¬(A ∧ (B ⊃ ¬C )) ⊃ (A ⊃ C )

X
X ¬(A ∧ (B ⊃ ¬C )), A, ¬C , B ` ¬C
(⊃ b)
¬(A ∧ (B ⊃ ¬C )), A, ¬C ` A ¬(A ∧ (B ⊃ ¬C )), A, ¬C ` B ⊃ ¬C X
(∧b)
¬(A ∧ (B ⊃ ¬C )), A, ¬C ` A ∧ (B ⊃ ¬C ) ¬(A ∧ (B ⊃ ¬C ))... ` ¬(...)
(
¬(A ∧ (B ⊃ ¬C )), A ` ¬¬C
(¬a)
¬(A ∧ (B ⊃ ¬C )), A ` C
(⊃ b)
¬(A ∧ (B ⊃ ¬C )) ` A ⊃ C
(⊃ b)
` ¬(A ∧ (B ⊃ ¬C )) ⊃ (A ⊃ C )

Logika Természetes levezetés 2021/2022 1. félév 12 / 18

5. Feladat

Vizsgáljuk meg, hogy a következő levezetés helyes-e:

{∃x(P(x) ∧ R(x))} `0 ∃xP(x) ∧ ∃xR(x)
Nem valid lépés, mert x ∈ Par (P(x))!
(∃a)
∃x(P(x) ∧ R(x)) `0 P(x) ...
(∃b)
∃x(P(x) ∧ R(x)) `0 ∃xP(x) ∃x(P(x) ∧ R(x)) `0 ∃xR(x)
(∧b)
∃x(P(x) ∧ R(x)) `0 ∃xP(x) ∧ ∃xR(x)

Logika Természetes levezetés 2021/2022 1. félév 13 / 18

5. Feladat

Vizsgáljuk meg, hogy a következő levezetés helyes-e:

{∃x(P(x) ∧ R(x))} `0 ∃xP(x) ∧ ∃xR(x)
Nem jó!
P(x), R(x) `0 P(y )
(∧a)
P(x) ∧ R(x) `0 P(y )
(∃a)
∃x(P(x) ∧ R(x)) `0 P(y ) ...
(∃b)
∃x(P(x) ∧ R(x)) `0 ∃xP(x) ∃x(P(x) ∧ R(x)) `0 ∃xR(x)
(∧b)
∃x(P(x) ∧ R(x)) `0 ∃xP(x) ∧ ∃xR(x)

Logika Természetes levezetés 2021/2022 1. félév 14 / 18

5. Feladat

Vizsgáljuk meg, hogy a következő levezetés helyes-e:

{∃x(P(x) ∧ R(x))} `0 ∃xP(x) ∧ ∃xR(x)
X X
P(x), R(x) `0 P(x) P(x), R(x) `0 R(x)
(∃b) (∃b)
P(x), R(x) `0 ∃xP(x) P(x), R(x) `0 ∃xR(x)
(∧b)
P(x), R(x) `0 ∃xP(x) ∧ ∃xR(x)
(∧a)
P(x) ∧ R(x) `0 ∃xP(x) ∧ ∃xR(x)
(∃a)
∃x(P(x) ∧ R(x)) `0 ∃xP(x) ∧ ∃xR(x)

Logika Természetes levezetés 2021/2022 1. félév 15 / 18

6. Feladat

Vizsgáljuk meg, hogy a következő levezetés helyes-e:

{¬∀x(P(x) ∨ R(x))} `0 ∃x(P(x) ⊃ R(x))

... X
¬∀x(P(x) ∨ R(x)), ¬∃x(P(x) ⊃ R(x)) ` ∀x(P(x) ∨ R(x)) ¬∀x(P(x) ∨ R(x)), ¬∃x(...) ` ¬∀x(P(x) ∨ R(x))
(¬b)
¬∀x(P(x) ∨ R(x)) ` ¬¬∃x(P(x) ⊃ R(x))
(¬a)
¬∀x(P(x) ∨ R(x)) ` ∃x(P(x) ⊃ R(x))

Logika Természetes levezetés 2021/2022 1. félév 16 / 18

6. Feladat

Vizsgáljuk meg, hogy a következő levezetés helyes-e:

{¬∀x(P(x) ∨ R(x))} `0 ∃x(P(x) ⊃ R(x))

... X
¬∃x(P(x) ⊃ R(x)), ¬P(x) ` ∃x(P(x) ⊃ R(x)) ¬∃x(P(x) ⊃ R(x)), ¬P(x) ` ¬∃x(P(x) ⊃ R(x))
(¬b)
¬∃x(P(x) ⊃ R(x)) ` ¬¬P(x)
(¬a)
¬∃x(P(x) ⊃ R(x)) ` P(x)
(∨b) - mi lett volna ha a másikat választjuk?
¬∃x(P(x) ⊃ R(x)) ` P(x) ∨ R(x)
(∀b)
¬∃x(P(x) ⊃ R(x)) ` ∀x(P(x) ∨ R(x))
(bővı́tés) X
¬∀x(P(x) ∨ R(x)), ¬∃x(P(x) ⊃ R(x)) ` ∀x(P(x) ∨ R(x)) ...
(¬b)
¬∀x(P(x) ∨ R(x)) ` ¬¬∃x(P(x) ⊃ R(x))
(¬a)
¬∀x(P(x) ∨ R(x)) ` ∃x(P(x) ⊃ R(x))

Logika Természetes levezetés 2021/2022 1. félév 17 / 18

6. Feladat

Vizsgáljuk meg, hogy a következő levezetés helyes-e:

{¬∀x(P(x) ∨ R(x))} `0 ∃x(P(x) ⊃ R(x))
X X
¬P(x), P(x), ¬R(x) ` P(x) ¬P(x), P(x), ¬R(x) ` ¬P(x)
(¬b)
¬P(x), P(x) ` ¬¬R(x)
(¬a)
¬P(x), P(x) ` R(x)
(⊃ b)
¬P(x) ` P(x) ⊃ R(x)
(∃b)
¬P(x) ` ∃x(P(x) ⊃ R(x))
(bővı́tés) X
¬∃x(P(x) ⊃ R(x)), ¬P(x) ` ∃x(P(x) ⊃ R(x)) ...
(¬b)
¬∃x(P(x) ⊃ R(x)) ` ¬¬P(x)
(¬a)
¬∃x(P(x) ⊃ R(x)) ` P(x)
(∨b)
¬∃x(P(x) ⊃ R(x)) ` P(x) ∨ R(x)
(∀b)
¬∃x(P(x) ⊃ R(x)) ` ∀x(P(x) ∨ R(x))
(bővı́tés) X
¬∀x(P(x) ∨ R(x)), ¬∃x(P(x) ⊃ R(x)) ` ∀x(P(x) ∨ R(x)) ...
(¬b)
¬∀x(P(x) ∨ R(x)) ` ¬¬∃x(P(x) ⊃ R(x))
(¬a)
¬∀x(P(x) ∨ R(x)) ` ∃x(P(x) ⊃ R(x))

Logika Természetes levezetés 2021/2022 1. félév 18 / 18