Departamento de Filosofía I.E.S. Hernán Pérez del Pulgar.
Filosofía. 1º de de Bachillerato.
Estudia las propiedades y el razonamiento sobre relaciones (simetría, transitividad,
reflexividad) entre elementos.

Proposición o Enunciado
Enunciado lingüístico que expresa un pensamiento completo o un hecho; afirma o niega
algo y puede ser calificado como verdadero o falso.

Formalización de Enunciados
Proceso de traducir un enunciado del lenguaje natural (por ejemplo, el idioma español) a
un lenguaje formal simbólico.
Ejemplo (Lenguaje natural → Símbolos):
"Si llueve, entonces la calle se moja. Llueve. Por tanto, la calle se moja."
Formalización: p → q

Interpretación de Enunciados
Proceso de asignar un significado (valores de verdad es decir V ó F, o también
referentes en un lenguaje natural, como el castellano) a los símbolos de un enunciado
formalizado.
Ejemplo (Símbolos → Lenguaje natural):
p∧q
Interpretación: p="Hace sol", q="Hace calor". Significado: "Hace sol y hace calor".
Otro ejemplo:
p es falso (0)
p es verdadero (1)

Variable Proposicional
Símbolo (p, q, r...) que representa una proposición cuyo valor de verdad (V/F) no está
fijo. O cuya interpretación en el lenguaje natural está indeterminada.