Documente Academic
Documente Profesional
Documente Cultură
Sentencia atómica: Es una sentencia simple. Las sentencias atómicas carecen de negación
y de ilativos o conectores gramaticales. Las sentencias atómicas pueden ser de gran
extensión.
Variables sentenciales: Las variables sentenciales son signos que denotan un espacio que
puede ser ocupado por una sentencia atómica.
Las letras usuales para designar una variable son : p,q,r,s,t
Ej:
(1)Sebastián va al trabajo = p
En ambos casos las variables (p, q) reemplazan u ocupan el lugar de las sentencias
atómicas.
Valor de verdad: Son los valores que adoptan las variables sentenciales. Para la lógica
bivalente los valores que pueden tener las variables son 2.
Sebastián va al trabajo.
p
V F
p q p˄q
v v v
v f f
f v f
f f f
Al mirar la tabla, podemos ver que, una conjunción será V sólo cuando ambas
sentencias son V.
En una conjunción, basta que exista una variable F para que toda la afirmación sea
Falsa.
En este caso, bastaría con que una variable fuera F para que toda la conjunción (p ˄q ˄
r) sea F.
Alternación:
p q pvq
v v v
v f v
f v v
f f f
En la alternación basta con que una variable sea v para que la alternación completa lo
sea. El único caso de falsedad es cuando ambas variables son f.
Actividades:
1. Pasar del lenguaje natural al lenguaje formal las siguientes expresiones: