reglas de la formación logica
Las clases de sentencias bien formadas se definen por reglas puramente sintácticas, llamadas reglas de formación, y que son:
Una variable proposicional es una sentenciabien formada.
Una sentencia bien formada precedida de la negación es una sentencia bien formada.
Dos sentencias bien formadas unidas por una de las partículas conectivas binarias constituye unasentencia bien formada.
Se pueden omitir los paréntesis que encierran una sentencia completa.
El estilo tipográfico de los paréntesis se puede variar para hacerlos más evidentes usando corchetes y llaves.A las conjunciones y disyunciones se les puede permitir tener más de dos argumentos.
Conectivas
Las conectivas se dividen por su aplicación en:
Singulares: se aplican a una única sentencia.Binarias: se aplican a dos sentencias.
Por su definición, también se pueden dividir en:
Primitivas: las variables proposicionales, los paréntesis y las conectivas NO y O.
Definidas: lasconectivas Y, SI ... ENTONCES, ... SI Y SOLO SI ... y O ... O.
Tablas de verdad
La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de lasvariables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretación.
SEMANTICA
Negación (NO)
Consiste en cambiar el valor de verdad de unavariable proposicional.
p Ø p
_ _ _ _ _ _
V F
F V
Disyunción inclusiva (O)
La sentencia será verdadera cuando una o ambas variables proposicionales sean verdaderas.
p q p Ú q
_ _ _ _ _ __ _ _ _ _ _
V V V
V F V
F V V
F F F
Conjunción (Y)
Es una conectiva definida por:
p Ù q º Ø ( Øp Ú Øq )
La sentencia será verdadera sólo cuando ambas variables proposicionales seanverdaderas.
p q p Ù q
_ _ _ _ _ _ _ _ _ _ _ _
V V V
V F F
F V F
F F F
Condicional (SI ... ENTONCES)
Es una conectiva definida por:
p ® q º ¬ p Ú q
La sentencia será verdadera...
Regístrate para leer el documento completo.