Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Alfabeto:
un'infinit numerabile di lettere enunciative: p, q, r,
due connettivi logici: e
abbreviazioni per gli altri connettivi: , ,
parentesi: (, )
Regole sintattiche
FBF => FBF
, FBF => FBF
Altri connettivi
= ( )
=
= ( ) ( )
Alberi di refutazione (metodo di decisione), partendo dalla negazione della tesi e seguendo
le regole:
Alfabeto:
un'infinit numerabile di costanti individuali: a1, a2, a3,
un'infinit numerabile di variabili individuali1: x, y, z ...
un'infinit numerabile di costanti predicative (di arbitraria ariet): P, Q, R,
due connettivi logici: e
abbreviazioni per gli altri connettivi: , ,
quantificatori: ,
parentesi: (, )
Regole sintattiche
FBF => FBF
, FBF => FBF
FBF => x FBF
FBF => FBF
Base: formule atomiche, ovvero lettere predicative seguite da tanti termini (costanti o
variabili individuali) quanta la loro ariet sono FBF
Passo: si applicano le regole sintattiche alle formule atomiche
Clausola: le FBF saranno tutte e sole le formule risultato di queste operazioni
[ x ]
x
x Px
Pa
x Px
Pa
Si attribuir significato solo con formule chiuse (ovvero senza variabili libere, cio non sottoposte a quantificatori).
Tre regole:
modus ponens
|-
|- ( )
|-
Un termine detto libero se una costante oppure una variabile che non risulti vincolata ad un quantificatore
dopo essere stata sostituita alla x. Ad esempio se (x) = y Ryx non potr sostituire a x la variabile y, perch
risulterebbe quantificata.