U3 Logica Simbolica
U3 Logica Simbolica
U3 Logica Simbolica
6
ÍNDICE
PRESENTACIÓN ....................................................................................................................
OBJETIVOS ............................................................................................................................
1ra SESIÓN DE ESTUDIO .......................................................................................................
Proposiciones ........................................................................................................................................
Proposiciones compuestas elementales ...............................................................................................
Actividades .............................................................................................................................................
2da SESIÓN DE ESTUDIO .......................................................................................................
Conectivos y Fórmulas .........................................................................................................................
Actividades .............................................................................................................................................
Soluciones de la segunda sesión de estudio ........................................................................................
3ra SESIÓN DE ESTUDIO ........................................................................................................
Tautologías, Contradicciones y Contingencias .....................................................................................
Fórmulas Equivalentes ..........................................................................................................................
Actividades .............................................................................................................................................
Soluciones de la tercera sesión de estudio ...........................................................................................
4ta SESIÓN DE ESTUDIO........................................................................................................
Razonamientos ......................................................................................................................................
Validez de razonamientos .....................................................................................................................
Actividades .............................................................................................................................................
Soluciones de la cuarta sesión de estudio
PRESENTACIÓN
En el desarrollo de cualquier actividad humana es importante conocer la corrección de las argumentaciones.
En particular, todas las disciplinas relacionadas con la computación utilizan los instrumentos conceptuales y
metodológicos provistos por la Lógica.
Con el objeto de eliminar las ambigüedades del lenguaje ordinario, la Lógica Simbólica estudia la forma de
determinar la corrección de los argumentos y la veracidad de los enunciados utilizando símbolos especiales.
Esta Unidad contiene el material de estudio que te permitirá abordar una introducción a este tema.
OBJETIVOS
• Reconocer proposiciones.
• Diferenciar proposiciones simples y compuestas.
• Asociar tablas de verdad a proposiciones.
• Expresar en lenguaje simbólico enunciados dados en lenguaje coloquial y viceversa.
• Construir tablas de verdad de fórmulas.
• Clasificar proposiciones.
• Determinar la equivalencia de fórmulas.
• Distinguir componentes de un razonamiento.
• Formalizar razonamientos dados en lenguaje coloquial.
• Analizar la validez de razonamientos.
Proposiciones
Definición
Una proposición se define como un enunciado que expresa algo sobre lo que se pueda decir si
es verdadero o si es falso.
Así, las proposiciones son enunciados declarativos a los que es posible asignar uno y sólo uno de
estos dos valores: verdadero o falso.
El valor verdadero o falso que puede tener una proposición se llama valor de verdad de esa
proposición.
Proposiciones simples
Son aquellas que no contienen a ninguna otra proposición como parte constituyente de sí
mismas. Por ejemplo: "2 es un número par”; “Juan estudia Medicina” son proposiciones
simples.
Proposiciones compuestas
Contienen a otras proposiciones como parte constituyente de sí mismas.
“2 no es un número par”;
"Si 2 es un número par, entonces 3 es un número impar".
Como se ve, se obtienen a partir de otras proposiciones, combinándolas o modificándolas. Las partes
constituyentes de una proposición compuesta pueden ser ellas mismas proposiciones compuestas.
El valor de verdad de las proposiciones compuestas puede obtenerse a partir del valor de verdad de
las proposiciones simples que la constituyen.
En lo que sigue, podrás ver cómo se construyen proposiciones compuestas y la forma de conocer sus valores
de verdad, que se presentan en tablas llamadas tablas de verdad.
Comenzaremos con las llamadas proposiciones compuestas elementales.
V F
F V
Ejemplo. Negación
proposición verdadera podría ser "Valeria es pelirroja", en cuyo caso tanto p como la supuesta p serían
falsas, cosa que no puede ser posible, ya que si una de ellas es falsa, la otra debe ser verdadera.
Conjunción
La conjunción de dos proposiciones es una proposición compuesta que resulta verdadera sólo
cuando son verdaderas las dos proposiciones simples que la componen, y falsa en todos los otros
casos.
Se representa por (p ∧ q) y se lee "p y q".
p q p∧q
V V V
V F F
F V F
F F F
Ejemplo. Conjunción
La conjunción de las dos proposiciones simples:
p : "Saturno es un planeta" y q : "El Sol es una estrella" es
p ∧ q : "Saturno es un planeta y el Sol es una estrella"
Disyunción Inclusiva
Dadas dos proposiciones p y q , la disyunción inclusiva de ambas es otra proposición que se
representa por p ∨ q y se lee "p o q".
Es verdadera cuando lo es al menos una de las dos proposiciones que la constituyen, y sólo es falsa
cuando las dos son falsas.
V V V
V F V
F V V
F F F
Observa en el ejemplo que p∨q también es verdadera si Juan se inscribe en ambas carreras.
Disyunción Exclusiva
Cuando en una disyunción “ p o q ” se quiere expresar que sólo se puede cumplir una de las
proposiciones, ya sea p , ya sea q , pero no ambas a la vez, se está en presencia de una disyunción
exclusiva.
p q p∨q
V V F
V F V
F V V
F F F
Condicional
Dadas dos proposiciones p y q , el condicional es otra proposición que se representa por ( p → q )
y se lee "si p , entonces q ". A la proposición p se la llama antecedente, y a q , consecuente.
La tabla de verdad del condicional define sus valores de verdad.
V V V
V F F
F V V
F F V
Bicondicional
Dadas dos proposiciones p y q , el bicondicional es otra proposición que se representa por
( p ↔ q ) y se lee "si p si y sólo si q ".
La proposición p ↔ q es verdadera cuando las dos proposiciones que la componen tienen el
mismo valor de verdad; caso contrario es falsa.
V V V
V F F
F V F
F F V
− −
c) r→ p
d) q → (s ∧ t )
En los ejemplos precedentes, que ilustran la forma en que se puede traducir una forma de lenguaje a otra,
intervienen fórmulas que involucran dos o más conectivos. Además de saber expresarlas, es importante
conocer sus valores de verdad.
Para determinar los valores de verdad de una proposición compuesta en la que intervienen dos o más
conectivos, se construye la tabla de verdad de la proposición.
A través de un ejemplo, se mostrará el modo de hacerlo.
p q r
V V V
V V F
Es claro que las posibles combinaciones de valores de verdad de tres proposiciones son más de 2:
por ejemplo, pueden ser las tres falsas, o bien la primera falsa y las otras dos verdaderas, etc.
n
El número de casos o filas que tiene la tabla de verdad de una fórmula dada es siempre 2 , siendo n
el número de proposiciones simples de que consta. En el ejemplo, si intervienen 3 proposiciones
3
simples habrá: 2 = 8 casos. Las tres primeras columnas de la tabla, serán entonces:
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Solución
La tabla de verdad de la proposición dada deberá constar de 4 renglones ya que las proposiciones
simples son 2.
Actividades
Ejercicio 1
Realizar las tablas de verdad de las proposiciones:
a) p∨ r→q∧r
b) [ (p → q) ∧ p ] → q
c) [ (p → q ) ∧ q ] → p
d) ( p ∧ q) → (r ∧ r )
Ejercicio 2
Determinar el valor de verdad de las fórmulas siguientes, sabiendo que p es falsa
a) p ∨ q
b) p → (q ∧ r )
c) q∨ p∧r
Ejercicio 3
En cada caso, encontrar el valor de verdad de p , para que los siguientes condicionales sean falsos
a) q → p con q verdadero
b) ( p ∧ q ) → r con q verdadero y r falso
c) r → ( p ∧ q ) ; r y q verdaderos
F V F V F V V
F F V F V F F
F F F V F F V
Solución Ejercicio 1 b)
p q p→q ( p → q ) ∧ p [( p → q ) ∧ p ] → q
V V V V V
V F F F V
F V V F V
F F V F V
V F F V V V F F
F V V F F F F V
F V F F V F F V
F F V V F F F V
F F F V V F F V
V F F F
F V V V
F F V V
Los dos últimos renglones de la tabla son los que corresponden a p falsa y se puede ver que en
ambos casos p ∨ q es verdadera, tanto para q verdadera como para q falsa.
V F F V
F V V V
F F V V
Los dos renglones resaltados son los que corresponden al dato q verdadera; de ellos, en uno sólo (el
primero), el condicional es falso. Este renglón corresponde a la situación en que p es verdadera.
Ejemplo
Verificar que ( p → q ) ↔ ( q → p ) es una tautología
Solución
p q p q p→q q→ p ( p → q) ↔ ( q → p )
V V F F F F V
V F F V V V V
F V V F V V V
F F V V V V V
Como se puede apreciar en la última columna de la tabla, la proposición dada es una tautología.
Ejemplo
Clasificar la proposición p∧q
Solución
p q q p∧q
V V F F
V F V V
F V F F
F F V F
La proposición es una contingencia ya que es al menos una vez verdadera (segundo renglón) y al
menos una vez falsa (por ejemplo, en el cuarto renglón). En otras palabras, sus valores de verdad
dependen de los valores de verdad de las proposiciones simples que la componen.
Fórmulas Equivalentes
Dos fórmulas son equivalentes cuando el bicondicional compuesto por ellas es una tautología.
p q p→q p∨q
_
p ( p → q) ↔ ( p∨ q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
Dado que el bicondicional compuesto por las dos fórmulas p → q y p ∨ q dadas es una tautología,
se concluye que dichas fórmulas son equivalentes.
Puedes observar en el ejemplo que el bicondicional resulta ser una tautología porque las dos fórmulas tienen
idénticos valores de verdad para cada asignación de valores de las proposiciones simples que las componen
(mira las columnas 4 y 5 ). De allí que se llaman fórmulas equivalentes.
Actividades
Ejercicio 1
Determinar si las siguientes proposiciones son tautologías, contradicciones o contingencias
a) p ∧ [ p ↔ q ]
b) (p → r) ↔ (r → p)
V F F F
F V F F
F F V F
V F F V F V V V
F V F V V F V V
F F F V V V V V
V F F V F F V
F V V F V V V
F F V V V V V
p2
p3
∴ c
Validez de razonamientos
Un razonamiento se dice válido si no puede darse el caso en que las premisas son verdaderas y la
conclusión es falsa.
Un razonamiento que no es válido se denomina inválido.
Existen varios métodos que permiten la validez o invalidez de un razonamiento; uno de ellos, que se
describe a continuación, se concreta con el uso de las tablas de verdad.
V F F V F F V
F V V F V F V
F F V V V V V
Si Fernanda estudia con ahínco, se graduará con honores. Si se gradúa con honores, conseguirá
trabajo rápidamente. Fernanda consiguió trabajo rápidamente. Luego, estudió con ahínco.
Solución.
En primer término, se distinguen las proposiciones simples que intervienen en el razonamiento:
Actividades
Ejercicio 1
Determinar si los siguientes son razonamientos válidos.
a) Si Gastón actúa en el recital, será reconocido como un gran músico. Gastón actuará en el recital.
Luego, será reconocido como un gran músico.
b) O bien Victoria aprueba el examen, o no sale este fin de semana. Si sale este fin de semana,
saldrá el sábado. Victoria saldrá el sábado. Por tanto, aprobó el examen.
c) Si Elina sale de vacaciones, viajará a España. Si viaja a España, deberá trasladarse en avión y el
costo será elevado. El costo del viaje es elevado. Luego, Elina no saldrá de vacaciones.
Ejercicio 2
Estudiar la validez de los razonamientos cuyas formas lógicas son las siguientes
( p ∧ q) → r p → (q ∨ r )
a) r r→s
b)
∴ p∨q s
∴p
p q p→q ( p → q) ∧ p (( p → q ) ∧ p ) → q
V V V V V
V F F F V
F V V F V
F F V F V
El razonamiento es válido: su fórmula es una tautología.
El razonamiento es inválido. Observar que en el penúltimo renglón se presenta el caso en que todas
las premisas son verdaderas y la conclusión es falsa.
Solución Sesión 4 Ejercicio 1c)
p: Elina sale de vacaciones
q: Viaja a España
r : Debe trasladarse en avión
s : El costo del viaje es elevado
p→q
q → (r ∧ s)
La forma del razonamiento es:
s
∴p
p q r s p → q r ∧ s q → ( r ∧ s ) p ( p → q ) ∧ ( q → r ∧ s ) ∧ s [( p ∨ q ) ∧ (q → r ) ∧ r ] → p
V V V V V V V F V F
V V V F V F F F F V
V V F V V F F F F V
V V F F V F F F F V
V F V V F V V F F V
V F V F F F V F F V
V F F V F F V F F V
V F F F F F V F F V
F V V V V V V V V V
F V V F V F F V F V
F V F V V F F V F V
F V F F V F F V F V
F F V V V V V V V V
F F V F V F V V F V
F F F V V F V V V V
F F F F V F V V F V
El razonamiento es inválido.