U3 Logica Simbolica

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 19

UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

LÓGICA SIMBÓLICA UNIDAD


DIDÁCTICA

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

ELEMENTOS DE MATEMÁTICA. Página 1


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

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.

ELEMENTOS DE MATEMÁTICA. Página 2


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

1ra SESIÓN DE ESTUDIO

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.

Ejemplos. Enunciados que son proposiciones


a) "Marte es un planeta del sistema solar".
b) "La representación binaria de 71(8 es 111001( 2 ".
c) “Chile es un país europeo”.
d) “Todo argentino es americano”.
e) “El primer hombre que pisó la luna fue Cristóbal Colon”.
f) “En otras galaxias existen seres inteligentes”.
Los enunciados a); b) y d) son proposiciones verdaderas. Los enunciados c) y e) son proposiciones
falsas. El valor de verdad de la proposición f) no se conoce, pero, aun así, f) es una proposición,
pues es posible atribuirle un valor de verdad, y sólo uno.

Ejemplos. Expresiones que no son proposiciones


"¿Qué hora es?".
“Guarde el archivo en el disco rígido”
“Tramitar el expediente”
“Le ruego que me escuche”
“¡Detengan al ladrón!”
No son proposiciones, ya que no expresan nada de lo que se pueda decir que es verdadero o que
es falso. En otras palabras, no es posible atribuirles un valor de verdad.

Las proposiciones se simbolizan con letras minúsculas que suelen ser p, q, r, s,


Teniendo en cuenta su estructura, se consideran dos tipos de proposiciones:

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.

Ejemplos de proposiciones compuestas son:


"Pedro estudia Veterinaria y Juan estudia Medicina";

ELEMENTOS DE MATEMÁTICA. Página 3


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

“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.

Proposiciones compuestas elementales


Negación
La negación de una proposición p es otra proposición que se representa por p y se lee "no p".
Los valores de verdad de p dependen de los valores de verdad de p : si p es verdadera, p es

falsa; si p es falsa, p es verdadera.


La tabla siguiente, llamada tabla de verdad de la negación, muestra los valores de verdad que asume
p para cada valor de verdad que asume p

Tabla de Verdad de la Negación


p p

V F

F V

Ejemplo. Negación

La negación de p : "Valeria es rubial" es p : " Valeria no es rubia".

Observa que "Valeria es morocha" no es p , es decir, no es la negación de la primera proposición, pues la

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".

ELEMENTOS DE MATEMÁTICA. Página 4


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

Tabla de verdad de la conjunción

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.

Tabla de Verdad de la Disyunción Inclusiva


p q p∨q

V V V

V F V

F V V

F F F

Ejemplo. Disyunción inclusiva


p ∨ q : "Juan se inscribirá en Ingeniería o en Arquitectura”. Es la disyunción de p : "Juan se
inscribirá en Ingeniería" y q : "Juan se inscribirá en Arquitectura".

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.

ELEMENTOS DE MATEMÁTICA. Página 5


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

Dadas dos proposiciones p y q , la disyunción exclusiva de ellas es otra proposición que se


representa por p ∨ q y se interpreta "o bien p, o bien q, pero no ambas".

Tabla de Verdad de la Disyunción Exclusiva

p q p∨q

V V F

V F V

F V V

F F F

Ejemplo. Disyunción exclusiva


"El día 5 de enero a las 20 horas viajaré a Mar del Plata o a Bariloche".
Disyunción de "el día 5 de mayo a las 20 horas viajaré a Mar del Plata " y de "el día 5 de mayo a las
20 horas viajaré a Bariloche". La disyunción es exclusiva ya que las proposiciones no pueden ser
simultáneamente verdaderas.

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.

Tabla de Verdad del Condicional


p q p→q

V V V

V F F

F V V

F F V

Ejemplo. Proposición condicional


p → q : "si realizo una compra importante, entonces me quedaré sin dinero".
p (antecedente): " realizo una compra importante " ; q (consecuente) : "me quedaré sin dinero"

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.

ELEMENTOS DE MATEMÁTICA. Página 6


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

Tabla de verdad del Bicondicional


p q p↔q

V V V

V F F

F V F

F F V

Ejemplo. Proposición bicondicional


"La Selección gana el campeonato si y sólo si gana el partido final”.

2da SESIÓN DE ESTUDIO


Conectivos y Fórmulas
Los símbolos , ∧ , ∨ , ∨ , → , ↔ que se utilizan para representar formalmente las
proposiciones compuestas anteriores, se llaman conectivos lógicos.
Las combinaciones de conectivos y proposiciones expresadas en lenguaje simbólico se denominan
fórmulas lógicas.

Ejemplo. Algunas fórmulas lógicas


− −
p → (q ∨ r ) ; p ∧ (q ↔ r ) ; p∨ q ; ( p → q ) ∧ (r ∨ s )
son fórmulas lógicas que representan distintas proposiciones compuestas.
Para estudiar los valores de verdad de las diversas proposiciones compuestas, resulta necesario
expresarlas en lenguaje simbólico, es decir obtener las fórmulas lógicas que las representan, tal como
se muestra en el ejemplo siguiente.

Ejemplo. Del lenguaje coloquial al lenguaje simbólico


Dadas las proposiciones:
p: el motivo del crimen fue el robo.
q: la víctima tenía enemigos.
r: la víctima tenía dinero en su cartera.
s: el motivo del crimen fue la venganza.
t: el crimen se esclarecerá rápidamente.
Escribir en forma simbólica:
a) El motivo del crimen fue el robo o la víctima tenía enemigos.
b) La víctima no tenía enemigos y no tenía dinero en su cartera.
c) Si la víctima no tenía dinero en su cartera, el móvil del crimen no fue el robo.
d) Si la víctima tenía enemigos, el motivo del crimen fue la venganza y el crimen se esclarecerá
rápidamente.
Solución
a) p∨q
− −
b) q∧ r

ELEMENTOS DE MATEMÁTICA. Página 7


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

− −
c) r→ p
d) q → (s ∧ t )

Ejemplo. Del lenguaje simbólico al coloquial


Utilizando p, q, r, s y t del ejemplo anterior, expresar en el lenguaje usual las siguientes fórmulas:
− − −
a) (q ∧ r ) → t

b) p→s
Solución
a) Si la víctima no tenía enemigos y tampoco tenía dinero en su cartera, el crimen no se esclarecerá
rápidamente.
b) Si el móvil del crimen no fue el robo, fue la venganza.

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.

Ejemplo. Construyendo una tabla de verdad



Construir la tabla de verdad de ( p ∧ q) → q ∨ r
Para conocer los valores de verdad que puede tomar una proposición compuesta para cada una de
las alternativas que presentan los valores de verdad de las proposiciones simples que la componen,
se construye una tabla de verdad con sus primeras columnas encabezadas por cada una de las
proposiciones simples que intervienen y en la cual cada fila representará una de tales alternativas.
Por ejemplo, en el caso de una proposición que involucre tres proposiciones simples, una situación
posible es que las tres sean verdaderas; otra es aquella en que la primera y la segunda son
verdaderas, mientras que la tercera es falsa, etc.
En este caso, la tabla comienza a construirse como sigue:

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:

ELEMENTOS DE MATEMÁTICA. Página 8


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

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

Observación. Para no obviar ninguna de las 8 alternativas posibles, se ha seguido un orden en la


configuración de cada uno de los renglones. Este procedimiento, que se describe a continuación, es
válido cualquiera sea el número de proposiciones simples que intervengan en una fórmula dada.
- En la columna correspondiente a la primera proposición simple de la tabla, se asigna V a la
primera mitad de los renglones y se asigna F a la otra mitad. En el caso del ejemplo, puesto
que se tienen en total 8 renglones, se asigna V a los primeros 4 y se asigna F a los otros 4.
- En la columna que corresponde a la segunda proposición simple, se asignan
alternativamente V y F, en grupos cuya longitud es la cuarta parte del total. En el ejemplo, se
tiene: 2 V, 2 F, 2 V, 2F.
- Se continúa el procedimiento, hasta finalizar con todas las proposiciones simples que
aparecen en la fórmula. En nuestro ejemplo, r es la última proposición simple.
Una vez asignados los valores de verdad a las proposiciones simples, en las siguientes columnas se
irá construyendo parte por parte la fórmula final; así, las siguientes columnas están encabezadas, en
orden de complejidad creciente, por las distintas proposiciones compuestas que forman parte de la
fórmula final proposición cuyos valores de verdad se buscan.
Los valores de verdad de cada nueva columna estarán determinados por los de las columnas anteriores.
Por ejemplo, los valores de verdad de la cuarta columna (encabezada por q ), están determinados por
los de la segunda (encabezada por q ); los valores de verdad de la quinta, dependen de los de la
primera y la segunda, etc.
p q r q p∧q q∨r ( p ∧ q) → (q ∨ r )
V V V F V V V
V V F F V F F
V F V V F V V
V F F V F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V

Puede observarse en la tabla que la proposición compuesta ( p ∧ q) → (q ∨ r ) es siempre


verdadera, salvo en el caso en que p y q representen proposiciones verdaderas y r simbolice una
proposición falsa, situación que se presenta en el segundo renglón.

Ejemplo. Una fórmula que es siempre verdadera


Comprobar, realizando su tabla de verdad, que la fórmula p ∨ q ↔ ( p ∧ q ) es siempre verdadera.

ELEMENTOS DE MATEMÁTICA. Página 9


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

Solución
La tabla de verdad de la proposición dada deberá constar de 4 renglones ya que las proposiciones
simples son 2.

p q p∨q p∨q p q p∧q p∨q ↔ p∧q


V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V

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

Soluciones de la segunda sesión de estudio


Solución Sesión 2 Ejercicio 1 a)
p q r r p∨r q∧r ( p ∨ r ) → (q ∧ r )
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F V F F

ELEMENTOS DE MATEMÁTICA. Página 10


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

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

Solución Sesión 2 Ejercicio 1 c)


p q
p q p→q ( p → q) ∧ q [( p → q ) ∧ q] → p
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V

Solución Sesión 2 Ejercicio 1 d)


p q r q r p∧q r∧r ( p ∧ q) → ( r ∧ r )
V V V F F F F V
V V F F V F F V
V F V V F V F F

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

Solución Sesión 2 Ejercicio 2 a)

Si p es falsa, p es verdadera, y entonces la disyunción p ∨ q es verdadera, cualquiera sea el


valor de verdad de q .

Esta conclusión también puede lograrse con la tabla de verdad de p ∨ q:


p q
p p∨q
V V F V

V F F F

F V V V

F F V V

ELEMENTOS DE MATEMÁTICA. Página 11


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

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.

Solución Sesión 2 Ejercicio 2 b)


Según su definición, un condicional que tiene antecedente falso, es verdadero. Luego, la proposición
p → ( q ∧ r ) es verdadera. Construyendo su tabla de verdad y observando en ella los renglones
que corresponden a p falsa, se puede llegar a la misma conclusión.

Solución Sesión 2 Ejercicio 2 c)


Si p es falsa, la conjunción p ∧ r es falsa (pues uno de sus términos lo es); luego, su negación
p ∧ r es verdadera y entonces la disyunción q ∨ p ∧ r resulta verdadera. Puede comprobarse
esto con la tabla de verdad, igual que en los casos anteriores.

Solución Sesión 2 Ejercicio 3 a)


Un condicional es falso en un solo caso: cuando el antecedente es verdadero y el consecuente es
falso. Luego, para que q → p sea falso, debe ser p una proposición falsa, y entonces, p
verdadera.
Por tablas de verdad se llega al mismo resultado:
p q
p q→ p
V V F F

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.

Solución Sesión 2 Ejercicio 3 b)


Puesto que q es verdadera, la conjunción p ∧ q será verdadera sólo si p también es verdadera.
Puede comprobarse también por tablas de verdad.

Solución Sesión 2 Ejercicio 3 c)


p ∧ q debe ser falsa, por lo cual p debe ser falsa, ya que q es verdadera. Realizar el mismo
análisis con la tabla de verdad.

ELEMENTOS DE MATEMÁTICA. Página 12


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

3ra SESIÓN DE ESTUDIO


Tautologías, Contradicciones y Contingencias
Tautología: Se llama así a una proposición que es verdadera cualesquiera sean los valores de
verdad de las proposiciones simples que la componen.
Contradicción: Es una proposición siempre falsa, independientemente de los valores de verdad o
falsedad de sus proposiciones simples.
Contingencia: Es una proposición que es al menos una vez verdadera y al menos una vez falsa.

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.

Ejemplo. Dos fórmulas equivalentes



Mostrar que las fórmulas p → q y p ∨ q son equivalentes.
Solución
Para mostrar que las fórmulas dadas son equivalentes, realizamos la tabla de verdad de su

bicondicional ( p → q) ↔ ( p ∨ q)

ELEMENTOS DE MATEMÁTICA. Página 13


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

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)

Verificar que los siguientes son pares de fórmulas equivalentes.


a) p∧q ; p∨q
b) p→q ; q→ p

Soluciones de la tercera sesión de estudio


Solución Sesión 3 Ejercicio 1 a)
p q p↔q p ∧ [ p ↔ q]
V V V V

V F F F

F V F F

F F V F

Como se puede ver en la tabla, se trata de una contingencia.

Solución Sesión 3 Ejercicio 1 b)


La fórmula es una tautología, como puede comprobarse realizando su tabla de verdad.

ELEMENTOS DE MATEMÁTICA. Página 14


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

Solución Sesión 3 Ejercicio 2 a)


p q p∧q p∧q p q p∨q p ∧ q ↔( p ∨ q)
V V V F F F F V

V F F V F V V V

F V F V V F V V

F F F V V V V V

Dado que el bicondicional es tautológico, se trata de una equivalencia lógica.

Solución Sesión 3 Ejercicio 2 b)


p q p q p→q q→ p ( p → q) ↔ (q → p )
V V F F V V V

V F F V F F V

F V V F V V V

F F V V V V V

Las fórmulas son equivalentes.

4ta SESIÓN DE ESTUDIO


Razonamientos
Un razonamiento es un conjunto de n proposiciones; las primeras n-1 son llamadas premisas y la
última se denomina conclusión.

Ejemplo. Un razonamiento con tres premisas


Si Álvaro incrementa sus ingresos, podrá comprar una PC. Si trabaja ocho horas diarias,
incrementará sus ingresos. Álvaro trabaja ocho horas diarias. Luego, comprará una PC.
Primera premisa. p1 : Si Álvaro incrementa sus ingresos, comprará una PC.
Segunda premisa. p 2 : Si trabaja ocho horas diarias, incrementará sus ingresos.
Tercera premisa. p 3 : Álvaro trabaja ocho horas diarias.
Conclusión. c : Álvaro comprará una PC.
Un razonamiento como el dado suele esquematizarse así:
p1

p2

p3

∴ c

ELEMENTOS DE MATEMÁTICA. Página 15


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

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.

Método para determinar validez


Dado un razonamiento de n premisas:
p1
p2
M
pn
∴c
Se construye la tabla de verdad de la fórmula ( p1 ∧ p 2 ∧ ... ∧ p n ) → c ; es decir, del condicional
que tiene: como antecedente, la conjunción de todas las premisas y como consecuente, la conclusión
del razonamiento.
Dicha fórmula se denominará fórmula del razonamiento.
Puesto que en un razonamiento válido no puede darse el caso de que todas las premisas sean
verdaderas y la conclusión falsa (de lo que resultaría que la fórmula condicional sería falsa), la
fórmula deberá resultar una tautología si el razonamiento es válido.
Si, por el contrario, para alguna asignación de valores de verdad la fórmula resultara falsa, puede
concluirse entonces que el razonamiento es inválido.

Ejemplo. Analizando un razonamiento.


p→q
Estudiar la validez del razonamiento: q
∴ p
Solución:p p→q
q q p ( (p→q) ∧q) ( (p→q) ∧ q )→ p
La tabla de verdad de la fórmula del razonamiento es:
V V V F F F V

V F F V F F V

F V V F V F V

F F V V V V V

primera segunda conclusión conjunción de fórmula del


premisa premisa las premisas razonamiento

Dado que la formula es una tautología, se concluye que el razonamiento es válido

Ejemplo. Analizando un razonamiento dado en forma coloquial


Expresar simbólicamente el siguiente razonamiento y determinar su validez

ELEMENTOS DE MATEMÁTICA. Página 16


UNIDAD DIDÁCTICA 3 LOGICA SIMBÓLICA

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:

p: Fernanda estudia con ahínco.


q: Se gradúa con honores.
r: Consigue trabajo rápidamente.

Seguidamente, se construye el esquema del razonamiento:


p→q
q→r
r
∴ p
Por último, se forma la tabla de verdad de la fórmula del razonamiento
p q r p→q q → r (( p → q ) ∧ (q → r ) ∧ r ) (( p → q ) ∧ (q → r ) ∧ r ) → p
V V V V V V V
V V F V F F V
V F V F V F V
V F F F V F V
F V V V V V F
F V F V F F V
F F V V V V F
F F F V V F V

Puesto que la fórmula no es una tautología, se concluye que el razonamiento es inválido.

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

ELEMENTOS DE MATEMÁTICA. Página 17


Soluciones de la cuarta sesión de estudio
Solución Sesión 4 Ejercicio 1 a)
Las proposiciones simples que componen el razonamiento son:
p : Gastón actúa en el recital.
q: Gastón será reconocido como un gran músico.
La forma del razonamiento es:
p→q
p
∴q y su fórmula asociada: (( p → q ) ∧ p ) → q
La tabla de verdad de la fórmula del razonamiento es:

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.

Solución Sesión 4 Ejercicio 1b)


Llamando: p : Victoria aprueba el examen
q : Victoria saldrá este fin de semana
r : Victoria saldrá el sábado
La forma del razonamiento es:
p∨q
q →r
r
∴p y su fórmula asociada es [( p ∨ q) ∧ ( q → r ) ∧ r ] → p
p q r p∨q q→r ( p ∨ q ) ∧ ( q → r ) ∧ r [( p ∨ q) ∧ (q → r ) ∧ r ] → p
V V V F V V V
V V F F F F V
V F V V V F V
V F F V V F V
F V V V V F V
F V F V F F V
F F V F V V F
F F F F V F V

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.

Solución Sesión 4 Ejercicio 2 a)


Razonamiento válido.

Solución Sesión 4 Ejercicio 2 b)


Razonamiento inválido.

También podría gustarte