Please enable JavaScript.
Coggle requires JavaScript to display documents.
Logica classica (logica proposizionale (sintassi (connettivi logici (and,…
Logica classica
logica proposizionale
sintassi
proposizioni atomiche
connettivi logici
and
or
not
altri
semantica
quali formule sono vere o false
soddisfacibile
valide
decidibile
fiita
utile
rappresentare la conoscenza
agente
specificare il comportamento
strumenti formali
rappresentare realtà
perchè comporta problemi
con gli agenti?
nella logica classica
i termini di un predicato
non possono essere
formule a loro volta
soluzione
logica modale
logica del primo ordine