República Bolivariana de Venezuela

Ministerio del Poder Popular para la Defensa

Universidad Nacional Experimental
Politécnica de la Fuerza Armada
UNEFA-APURE
San Fernando de Apure, Edo. Apure

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

Las reglas Expresiones interpretables

La y semánticamente
sintaxis principios
No permite atribuir
significados
Trata de
La describir
lexicografía El significado de
las palabras
Suele exhibir
La Confección de diccionarios
 SEMANT
ICA
Se puede estudiar desde diferentes perspectivas:

Se trata

Semántica Lógica

Semántica Lingüística

Desarrolla
Intenta explicar

Semántica en ciencias
cognitivas
 VALOR SEMANTICO DEL DOMINIO
DE INTERPRETACION

üEl valor semántico en una interpretación de cada constante y

cada variable individual es su referente o designación en tal
interpretación.

üEl valor semántico en una interpretación de cada letra de

predicado P es su extensión en tal interpretación.

üEl valor semántico de cada oración en una interpretación es

su valor de verdad en tal interpretación, siendo su
comportamiento lógico exactamente el mismo que hemos ya
estudiado en L0.
DOMINIOS DE INTERPRETACION

1.Todo dominio es un conjunto

2.Todo dominio es un conjunto no vacío
3.Todos los nombres de L1 designan algún elemento
del dominio
4.No suponemos que todos los elementos del dominio
estén designados por algún nombre.
5.Todo predicado se interpreta de manera
 Los problemas SAT y TAUT:

v Problema SAT:

v Problema TAUT:
Una valoración V para el lenguaje proposicional

LΣ es una aplicación V: Σ → {0, 1}

• Asigna valor 0 ó 1 a cada símbolo proposicional

• Representa un “estado del mundo”

Ejemplo:
• Σ= {p, q, r} V(p)=1, V(q)=0, V(r)=1

Observación:
 Problema SAT:

Una fórmula ϕ (o conjunto de fórmulas Φ) es satisfacible si puede

encontrarse alguna valoración que la satisfaga

• En otro caso se llama insatisfacible

Ejemplo: conjunto { p → q, p, ¬q }

Ninguna valoración satisface a las 3 fórmulas a la vez ⇒ Conjunto