♟
Predikaatlogica: Semantische Tableaus
Type HOC
Class Logica en formele systemen
Les 9
Zoeken van een tegenvoorbeeld voor φ1 , ..., φn ∘ψ
Er bestaat een model en een bedeling die φ1 , ..., φn waar maakt en ψ onwaar
Welke regels en technieken komen er bij in de predikaatlogica?
Bijkomende reductieregels voor de kwantoren ∃ en ∀
Construeren van een domein D
Bijhouden van de interpretatiefunctie I en de bedeling b
De reductieregels voor de connectieven blijven hetzelfde
Formules worden genoteerd in prefix notatie
Reductieregels voor kwantoren ∃ en ∀
1) ∃L , ∀R D = {...} → D = {..., d}
2) ∃R , ∀L D = {...}
Voor geldige gevolgtrekking:
Universele formules moeten waar zijn voor elk element in het domein, dus ook voor d1
Minstens 1 element in het domein die de bewering onwaar maakt
Reductieregel voor ∀
Predikaatlogica: Semantische Tableaus 1
Predikaatlogica: Semantische Tableaus
Type HOC
Class Logica en formele systemen
Les 9
Zoeken van een tegenvoorbeeld voor φ1 , ..., φn ∘ψ
Er bestaat een model en een bedeling die φ1 , ..., φn waar maakt en ψ onwaar
Welke regels en technieken komen er bij in de predikaatlogica?
Bijkomende reductieregels voor de kwantoren ∃ en ∀
Construeren van een domein D
Bijhouden van de interpretatiefunctie I en de bedeling b
De reductieregels voor de connectieven blijven hetzelfde
Formules worden genoteerd in prefix notatie
Reductieregels voor kwantoren ∃ en ∀
1) ∃L , ∀R D = {...} → D = {..., d}
2) ∃R , ∀L D = {...}
Voor geldige gevolgtrekking:
Universele formules moeten waar zijn voor elk element in het domein, dus ook voor d1
Minstens 1 element in het domein die de bewering onwaar maakt
Reductieregel voor ∀
Predikaatlogica: Semantische Tableaus 1
