Académique Documents
Professionnel Documents
Culture Documents
SEMANT
ICA Integrantes:
Profesora:
Johana Bastidas Cárdenas Yusmery
Hernández Nancy
Mansur Thamen
Silva Sarai
Yanes Norerqui
03 de junio de 2009
SEMANT
ICA
Es el estudio del significado
sintácticamente bien formadas.
atribuible a expresiones
Se trata
Semántica Lógica
Semántica Lingüística
Desarrolla
Intenta explicar
Semántica en ciencias
cognitivas
VALOR SEMANTICO DEL DOMINIO
DE INTERPRETACION
v Problema SAT:
v Problema TAUT:
Una valoración V para el lenguaje proposicional
Ejemplo:
• Σ= {p, q, r} V(p)=1, V(q)=0, V(r)=1
Observación:
Problema SAT: