Escolar Documentos
Profissional Documentos
Cultura Documentos
CCET
Ciência da Computação
Agentes Lógicos
Sumário
• Ex: Aritmética
• X + Y = 4. Uma sentença em acordo com a sintaxe
• XY4+=. Uma sentença que não está em acordo com a sintaxe.
Lógica
• A lógica também deve ter um significado para as sentenças, ou semântica.
• A semântica define verdade para um mundo possível.
• Ex:
• X + Y = 4 é verdadeiro?
Lógica
Lógica
• A sintaxe da lógica proposicional define as sentenças permitidas.
• Cada símbolo representa uma proposição que pode ser verdadeira ou falsa.