Está en la página 1de 8

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