Truth Logic and Provability
Truth Logic and Provability
and
Reasoning
Deepak Khemani
Plaksha University
The Machinery of Deductive Reasoning
We begin our study with logic and the algorithms for reasoning,
before shifting our focus to representation
All men are mortal All cities are congested All politicians are honest
Socrates is a man Chennai is a city Sambit is a politician
Socrates is mortal Chennai is congested Sambit is honest
In a valid argument
The Socratic argument IF the premises are true
THEN the conclusions
are necessarily true
Description Logics
Fuzzy logics Constraint logic programming
KB ⊨ α
We also say that α is true (given the KB)
KB
KB
Proof: which other sentences in the language can one produce by the
reasoning algorithm?
Soundness (of the reasoning algorithm):
α ¬α α β (α ∧ β)
true false true true true
false true false true false
true false false
false false false
α β 𝛅 (α ⊃ β) ¬𝛅 ((α ⊃ β) ∨ ¬𝛅)
true true true true false true
false true true true false true
true false true false false false
false false true true false true
true true false true true true
false true false true true true
true false false false true true
false false false true true true
From (α ⊃ β) From (α ⊃ β)
and α and β
Infer β Infer α
Sound rule of inference Not sound
Valid argument Invalid argument
{(α ⊃ β), α} ⊢ β {(α ⊃ β), β} ⊢ α
{(α ⊃ β), α} ⊨ β {(α ⊃ β), β} ⊭ α
Question:
If we can establish a valid conclusion (entailment) by constructing a truth
table, why should we bother with derivation and proof?
• Because the number of rows in the truth table grows exponentially with
the number of ”variables”.
• And the number of columns grows linearly with the number of
connectives.
• Most importantly the truth table method does not apply to more
expressive logics.
A rule {α, β} ⊢ 𝛅 is sound iff ((α ∧ β) ⊃ 𝛅) is true for all values of α, β, and 𝛅.
Hence either of the two could be replaced by the other without any loss.
We should, but no hand waving like “you know what I mean” is allowed …
https://en.wikipedia.org/wiki/Frege_propositional_calculus
Knowledge Representation and Reasoning Deepak Khemani, Plaksha University
Next
PROPOSITIONAL LOGIC