ELEMENTOS DE MATEMTICA

LGICA SIMBLICA

UNIDAD
DIDCTICA

3
TECNICATURA
EN INFORMTICA DE GESTIN
MARA ELINA DAZ LOZANO
AO 2008

UNIDAD DIDCTICA 3

LGICA SIMBLICA

LOGICA SIMBLICA

UNIDAD
DIDCTICA

3
NDICE
PRESENTACIN .................................................................................................................... 2
OBJETIVOS............................................................................................................................. 2
1ra SESIN DE ESTUDIO ....................................................................................................... 3
Proposiciones ...................................................................................................................................... 3
Proposiciones compuestas elementales ............................................................................................. 4
Actividades........................................................................................................................................... 7

2da SESIN DE ESTUDIO....................................................................................................... 8

Conectivos y Frmulas ....................................................................................................................... 8
Actividades......................................................................................................................................... 11
Soluciones de la segunda sesin de estudio .................................................................................... 12

3ra SESIN DE ESTUDIO ..................................................................................................... 15

Tautologas, Contradicciones y Contingencias ................................................................................. 15
Frmulas Equivalentes ...................................................................................................................... 16
Actividades......................................................................................................................................... 16
Soluciones de la tercera sesin de estudio ....................................................................................... 17

4ta SESIN DE ESTUDIO ..................................................................................................... 18

Razonamientos .................................................................................................................................. 18
Validez de razonamientos ................................................................................................................. 18
Actividades......................................................................................................................................... 20
Soluciones de la cuarta sesin de estudio ........................................................................................ 21

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 1

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

PRESENTACIN
En el desarrollo de cualquier actividad humana es importante conocer la correccin de las
argumentaciones. En particular, todas las disciplinas relacionadas con la computacin utilizan los
instrumentos conceptuales y metodolgicos provistos por la Lgica.
Con el objeto de eliminar las ambigedades del lenguaje ordinario, la Lgica Simblica estudia la forma
de determinar la correccin de los argumentos y la veracidad de los enunciados utilizando smbolos
especiales.
Esta Unidad contiene el material de estudio que te permitir abordar una introduccin a este tema.

OBJETIVOS

Reconocer proposiciones.
Diferenciar proposiciones simples y compuestas.
Asociar tablas de verdad a proposiciones.
Expresar en lenguaje simblico enunciados dados en lenguaje coloquial y viceversa.
Construir tablas de verdad de frmulas.
Clasificar proposiciones.
Determinar la equivalencia de frmulas.
Distinguir componentes de un razonamiento.
Formalizar razonamientos dados en lenguaje coloquial.
Analizar la validez de razonamientos.

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 2

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

1ra SESIN DE ESTUDIO

En la primera sesin de estudio de esta la unidad temtica, aprenders a distinguir proposiciones simples
y compuestas, conocers las proposiciones compuestas bsicas y las tablas que las definen.

Proposiciones
Definicin
Una proposicin 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 slo uno de
estos dos valores: verdadero o falso.
El valor verdadero o falso que puede tener una proposicin se llama valor de verdad de esa
proposicin.

Ejemplos. Enunciados que son proposiciones

a) "Marte es un planeta del sistema solar".
b) "La representacin binaria de 71(8 es 111001( 2 ".
c) Chile es un pas europeo.
d) Todo argentino es americano.
e) El primer hombre que pis la luna fue Cristbal 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 proposicin f) no se conoce, pero, aun as, f) es una proposicin,
pues es posible atribuirle un valor de verdad, y slo uno.

Ejemplos. Expresiones que no son proposiciones

"Qu hora es?".
Guarde el archivo en el disco rgido
Tramitar el expediente
Le ruego que me escuche
Detengan al ladrn!
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.

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 3

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Las proposiciones se simbolizan con letras minsculas 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 proposicin como parte constituyente de s
mismas. Por ejemplo: "2 es un nmero 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";
2 no es un nmero par;
"Si 2 es un nmero par, entonces 3 es un nmero impar".
Como se ve, se obtienen a partir de otras proposiciones, combinndolas o modificndolas. Las partes
constituyentes de una proposicin 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, podrs ver cmo 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

Negacin
La negacin de una proposicin p es otra proposicin que se representa por p y se lee "no p".
Los valores de verdad de
falsa; si

es falsa,

dependen de los valores de verdad de

p : si p

es verdadera,

es

es verdadera.

La tabla siguiente, llamada tabla de verdad de la negacin, muestra los valores de verdad que asume

para cada valor de verdad que asume

Tabla de Verdad de la Negacin

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 4

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Ejemplo. Negacin
La negacin de

p : "Valeria es rubial" es p

Observa que "Valeria es morocha" no es

: " Valeria no es rubia".

p , es decir, no

es la negacin de la primera proposicin, pues

la proposicin verdadera podra ser "Valeria es pelirroja", en cuyo caso tanto

como la supuesta

seran falsas, cosa que no puede ser posible, ya que si una de ellas es falsa, la otra debe ser verdadera.

Conjuncin
La conjuncin de dos proposiciones es una proposicin compuesta que resulta verdadera slo
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".

Tabla de verdad de la conjuncin

p

pq

Ejemplo. Conjuncin
La conjuncin 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"

Disyuncin Inclusiva
Dadas dos proposiciones p y q , la disyuncin inclusiva de ambas es otra proposicin 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 slo es falsa
cuando las dos son falsas.

Tabla de Verdad de la Disyuncin Inclusiva

p

pq

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 5

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Ejemplo. Disyuncin inclusiva

p q : "Juan se inscribir en Ingeniera o en Arquitectura. Es la disyuncin de p : "Juan se

inscribir en Ingeniera" y q : "Juan se inscribir en Arquitectura".
Observa en el ejemplo que

pq

tambin es verdadera si Juan se inscribe en ambas carreras.

Disyuncin Exclusiva
Cuando en una disyuncin p o q se quiere expresar que slo 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 disyuncin
exclusiva.
Dadas dos proposiciones p y q , la disyuncin exclusiva de ellas es otra proposicin que se
representa por p q y se interpreta "o bien p, o bien q, pero no ambas".

Tabla de Verdad de la Disyuncin Exclusiva

p

pq

Ejemplo. Disyuncin exclusiva

"El da 5 de enero a las 20 horas viajar a Mar del Plata o a Bariloche".
Disyuncin de "el da 5 de mayo a las 20 horas viajar a Mar del Plata " y de "el da 5 de mayo a las
20 horas viajar a Bariloche". La disyuncin es exclusiva ya que las proposiciones no pueden ser
simultneamente verdaderas.

Condicional
Dadas dos proposiciones p y q , el condicional es otra proposicin que se representa por ( p q )
y se lee "si p , entonces q ". A la proposicin 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

pq

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 6

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Ejemplo. Proposicin 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 proposicin que se representa por

q ) y se lee "si p si y slo si q ".

La proposicin p q es verdadera cuando las dos proposiciones que la componen tienen el mismo
(p

valor de verdad; caso contrario es falsa.

Tabla de verdad del Bicondicional

p

pq

Ejemplo. Proposicin bicondicional

"La Seleccin gana el campeonato si y slo si gana el partido final.

Actividades
El Ejercicio se puede resolver de manera interactiva desde tu PC. Para ello DESCARGAR Y DESCOMPRIMIR EL
ARCHIVO: U3_S1_Actividad.htm
Finaliza aqu la Primera Sesin de Estudio. Para las sesiones posteriores, es importante que tengas
presentes las tablas de las proposiciones compuestas bsicas que conociste en esta sesin, por lo cual te
recomiendo que las repases para memorizarlas antes de proseguir.

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 7

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

2da SESIN DE ESTUDIO

En esta Segunda Sesin de Estudio conocers la manera de analizar proposiciones compuestas formadas
por ms de dos proposiciones simples.

Conectivos y Frmulas
, , , , , que se utilizan para representar formalmente las

Los smbolos

proposiciones compuestas anteriores, se llaman conectivos lgicos.

Las combinaciones de conectivos y proposiciones expresadas en lenguaje simblico se denominan
frmulas lgicas.

Ejemplo. Algunas frmulas lgicas

p (q r ) ; p (q r ) ;

p q ;

( p q ) (r s)

son frmulas lgicas que representan distintas proposiciones compuestas.

Para estudiar los valores de verdad de las diversas proposiciones compuestas, resulta necesario
expresarlas en lenguaje simblico, es decir obtener las frmulas lgicas que las representan, tal como
se muestra en el ejemplo siguiente.

Ejemplo. Del lenguaje coloquial al lenguaje simblico

Dadas las proposiciones:
p: el motivo del crimen fue el robo.
q: la vctima tena enemigos.
r: la vctima tena dinero en su cartera.
s: el motivo del crimen fue la venganza.
t: el crimen se esclarecer rpidamente.
Escribir en forma simblica:
a) El motivo del crimen fue el robo o la vctima tena enemigos.
b) La vctima no tena enemigos y no tena dinero en su cartera.
c) Si la vctima no tena dinero en su cartera, el mvil del crimen no fue el robo.
d) Si la vctima tena enemigos, el motivo del crimen fue la venganza y el crimen se esclarecer
rpidamente.
Solucin
a)

pq

b)

q r

c)

r p

d)

q (s t )

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 8

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Ejemplo. Del lenguaje simblico al coloquial

Utilizando p, q, r, s y t del ejemplo anterior, expresar en el lenguaje usual las siguientes frmulas:

a)

(q r ) t

b)

ps

Solucin
a) Si la vctima no tena enemigos y tampoco tena dinero en su cartera, el crimen no se esclarecer
rpidamente.
b) Si el mvil 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 frmulas que involucran dos o ms conectivos. Adems de saber expresarlas, es
importante conocer sus valores de verdad.

Para determinar los valores de verdad de una proposicin compuesta en la que intervienen dos o ms
conectivos, se construye la tabla de verdad de la proposicin.
A travs 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 proposicin 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 proposicin que involucre tres proposiciones simples, una situacin
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

Es claro que las posibles combinaciones de valores de verdad de tres proposiciones son ms de 2:
por ejemplo, pueden ser las tres falsas, o bien la primera falsa y las otras dos verdaderas, etc.
n
El nmero de casos o filas que tiene la tabla de verdad de una frmula dada es siempre 2 , siendo n
el nmero de proposiciones simples de que consta. En el ejemplo, si intervienen 3 proposiciones
simples habr: 23 = 8 casos. Las tres primeras columnas de la tabla, sern entonces:

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 9

UNIDAD DIDCTICA 3

LOGICA SIMBLICA
q

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

configuracin de cada uno de los renglones. Este procedimiento, que se describe a continuacin, es
vlido cualquiera sea el nmero de proposiciones simples que intervengan en una frmula dada.
- En la columna correspondiente a la primera proposicin 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 proposicin 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 contina el procedimiento, hasta finalizar con todas las proposiciones simples que
aparecen en la frmula. En nuestro ejemplo, r es la ltima proposicin simple.
Una vez asignados los valores de verdad a las proposiciones simples, en las siguientes columnas se
ir construyendo parte por parte la frmula final; as, las siguientes columnas estn encabezadas, en
orden de complejidad creciente, por las distintas proposiciones compuestas que forman parte de la
frmula final proposicin cuyos valores de verdad se buscan.
Los valores de verdad de cada nueva columna estarn determinados por los de las columnas anteriores.
Por ejemplo, los valores de verdad de la cuarta columna (encabezada por q ), estn 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.

pq

qr

( p q) (q r )

Puede observarse en la tabla que la proposicin compuesta

( p q) (q r ) es siempre

verdadera, salvo en el caso en que p y q representen proposiciones verdaderas y r simbolice una

proposicin falsa, situacin que se presenta en el segundo rengln.

Ejemplo. Una frmula que es siempre verdadera

Comprobar, realizando su tabla de verdad, que la frmula

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

p q ( p q) es siempre verdadera.

Pgina 10

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Solucin
La tabla de verdad de la proposicin dada deber constar de 4 renglones ya que las proposiciones
simples son 2.

pq

pq

pq

pq pq

V
V
F
F

V
F
V
F

V
V
V
F

F
F
F
V

F
F
V
V

F
V
F
V

F
F
F
V

V
V
V
V

Animacin interactiva. DESCOMPRIMIR EL ARCHIVO: U3_S2_Animacion.rar

Actividades
Ejercicio 1
Realizar las tablas de verdad de las proposiciones:
a)

prqr

b) [ (p q) p ] q
c) [ (p q ) q ] p
d)

( p q ) (r r )

Ejercicio 2
Determinar el valor de verdad de las frmulas siguientes, sabiendo que p es falsa
a)

pq

b)

p (q r )

c)

q pr

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

c)

r ( p q ) ; r y q verdaderos

con q verdadero y

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

r falso

Pgina 11

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Soluciones de la segunda sesin de estudio

Solucin Sesin 2 Ejercicio 1 a)
p

pr

qr

( p r ) (q r )

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
V
F
V
F
V
F
V

V
V
V
V
V
F
V
F

F
V
F
F
F
V
F
F

F
V
F
F
F
V
F
V

Solucin Ejercicio 1 b)
p

pq

( p q) p [( p q ) p] q

Solucin Sesin 2 Ejercicio 1 c)

p

pq

( p q) q

[( p q ) q] p

Solucin Sesin 2 Ejercicio 1 d)

p

pq

rr

( p q) ( r r )

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 12

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Solucin Sesin 2 Ejercicio 2 a)

Si p es falsa, p es verdadera, y entonces la disyuncin p q es verdadera, cualquiera sea el
valor de verdad de q .
Esta conclusin tambin puede lograrse con la tabla de verdad de p q :
p

pq

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.

Solucin Sesin 2 Ejercicio 2 b)

Segn su definicin, un condicional que tiene antecedente falso, es verdadero. Luego, la proposicin

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 conclusin.
Solucin Sesin 2 Ejercicio 2 c)
Si p es falsa, la conjuncin p r es falsa (pues uno de sus trminos lo es); luego, su negacin

p r es verdadera y entonces la disyuncin q p r resulta verdadera. Puede comprobarse

esto con la tabla de verdad, igual que en los casos anteriores.

Solucin Sesin 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 proposicin falsa, y entonces,

verdadera.
Por tablas de verdad se llega al mismo resultado:
p

q p

Los dos renglones resaltados son los que corresponden al dato q verdadera; de ellos, en uno slo (el
primero), el condicional es falso. Este rengln corresponde a la situacin en que p es verdadera.

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 13

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Solucin Sesin 2 Ejercicio 3 b)

Puesto que q es verdadera, la conjuncin p q ser verdadera slo si p tambin es verdadera.
Puede comprobarse tambin por tablas de verdad.

Solucin Sesin 2 Ejercicio 3 c)

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

Final de la Segunda Sesin de Estudio

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 14

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

3ra SESIN DE ESTUDIO

En el ltimo ejemplo de la sesin precedente, antes de la Actividad, pudiste conocer una proposicin que
es siempre verdadera, cualesquiera sean los valores de verdad de las proposiciones simples que la
componen. Tambin existen proposiciones que son siempre falsas, y proposiciones para las que no ocurre
ni una cosa ni la otra.
Ello da lugar a una clasificacin de las proposiciones, que conocers en esta sesin de estudio.

Tautologas, Contradicciones y Contingencias

Tautologa: Se llama as a una proposicin que es verdadera cualesquiera sean los valores de
verdad de las proposiciones simples que la componen.
Contradiccin: Es una proposicin siempre falsa, independientemente de los valores de verdad o
falsedad de sus proposiciones simples.
Contingencia: Es una proposicin que es al menos una vez verdadera y al menos una vez falsa.

Ejemplo
Verificar que ( p q ) ( q p ) es una tautologa
Solucin
p

pq

q p

( p q) ( q p )

Como se puede apreciar en la ltima columna de la tabla, la proposicin dada es una tautologa.

Ejemplo
Clasificar la proposicin

pq

Solucin

pq

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 15

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

La proposicin es una contingencia ya que es al menos una vez verdadera (segundo rengln) y al
menos una vez falsa (por ejemplo, en el cuarto rengln). En otras palabras, sus valores de verdad
dependen de los valores de verdad de las proposiciones simples que la componen.

Frmulas Equivalentes
Dos frmulas son equivalentes cuando el bicondicional compuesto por ellas es una tautologa.

Ejemplo. Dos frmulas equivalentes

Mostrar que las frmulas p q

p q son equivalentes.

Solucin
Para

mostrar que las frmulas dadas son equivalentes,

bicondicional

(pq)

realizamos la tabla de verdad de su

( p q)

pq

pq

( p q) ( p q)

Dado que el bicondicional compuesto por las dos frmulas p q y

p q dadas es una tautologa,

se concluye que dichas frmulas son equivalentes.

Puedes observar en el ejemplo que el bicondicional resulta ser una tautologa porque las dos frmulas
tienen idnticos valores de verdad para cada asignacin de valores de las proposiciones simples que las
componen (mira las columnas 4 y 5 ). De all que se llaman frmulas equivalentes.

Actividades
Ejercicio 1
Determinar si las siguientes proposiciones son tautologas, contradicciones o contingencias
a) p [ p q ]
b) (p r) (r p)
Verificar que los siguientes son pares de frmulas equivalentes.
a)
b)

pq
pq

pq

;
;

q p

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 16

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Soluciones de la tercera sesin de estudio

Solucin Sesin 3 Ejercicio 1 a)
p

pq

p [ p q]

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

Solucin Sesin 3 Ejercicio 1 b)

La frmula es una tautologa, como puede comprobarse realizando su tabla de verdad.

Solucin Sesin 3 Ejercicio 2 a)

p

pq

pq

pq

p q ( p q)

Dado que el bicondicional es tautolgico, se trata de una equivalencia lgica.

Solucin Sesin 3 Ejercicio 2 b)

pq

q p

( p q) ( q p )

F
F

Las frmulas son equivalentes.

Final de la Tercera Sesin de Estudio

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 17

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

4ta SESIN DE ESTUDIO

En esta ltima Sesin de Estudio de la Unidad, aprenders a expresar en lenguaje simblico,
razonamientos dados en lenguaje coloquial, a fin de analizar su validez.

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

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.

c : lvaro comprar una PC.

Conclusin.
Un razonamiento como el dado suele esquematizarse as:
p1
p2
p3

Validez de razonamientos
Un razonamiento se dice vlido si no puede darse el caso en que las premisas son verdaderas y la
conclusin es falsa.
Un razonamiento que no es vlido se denomina invlido.
Existen varios mtodos que permiten la validez o invalidez de un razonamiento; uno de ellos, que se
describe a continuacin, se concreta con el uso de las tablas de verdad.

Mtodo para determinar validez

Dado un razonamiento de n premisas:

p1
p2
M
pn
c

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 18

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Se construye la tabla de verdad de la frmula ( p1 p 2 ... p n ) c ; es decir, del condicional que

tiene: como antecedente, la conjuncin de todas las premisas y como consecuente, la conclusin del
razonamiento.
Dicha frmula se denominar frmula del razonamiento.
Puesto que en un razonamiento vlido no puede darse el caso de que todas las premisas sean
verdaderas y la conclusin falsa (de lo que resultara que la frmula condicional sera falsa), la
frmula deber resultar una tautologa si el razonamiento es vlido.
Si, por el contrario, para alguna asignacin de valores de verdad la frmula resultara falsa, puede
concluirse entonces que el razonamiento es invlido.

Ejemplo. Analizando un razonamiento.

pq
Estudiar la validez del razonamiento:

q
p

Solucin:p
q
pq
q
p
( (pq) q)
La tabla de verdad de la frmula del razonamiento es:

( (pq)

q ) p

primera
premisa

segunda
premisa

conclusin

conjuncin de
las premisas

frmula del
razonamiento

Dado que la formula es una tautologa, se concluye que el razonamiento es vlido

Ejemplo. Analizando un razonamiento dado en forma coloquial

Expresar simblicamente el siguiente razonamiento y determinar su validez
Si Fernanda estudia con ahnco, se graduar con honores. Si se grada con honores, conseguir
trabajo rpidamente. Fernanda consigui trabajo rpidamente. Luego, estudi con ahnco.
Solucin.
En primer trmino, se distinguen las proposiciones simples que intervienen en el razonamiento:

p:

Fernanda estudia con ahnco.

q:

Se grada con honores.

r:

Consigue trabajo rpidamente.

Seguidamente, se construye el esquema del razonamiento:

pq

qr
r

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

p
Pgina 19

UNIDAD DIDCTICA 3

LOGICA SIMBLICA

Por ltimo, se forma la tabla de verdad de la frmula del razonamiento

pq q r

(( p q ) (q r ) r ) (( p q ) (q r ) r ) p

V
V

V
V

V
F

V
V

V
F

V
F

V
V

Puesto que la frmula no es una tautologa, se concluye que el razonamiento es invlido.

Los siguientes ejercicios te servirn de prctica para formalizar razonamientos y analizar su validez.

Actividades
Ejercicio 1
Determinar si los siguientes son razonamientos vlidos.
a) Si Gastn acta en el recital, ser reconocido como un gran msico. Gastn actuar en el recital.
Luego, ser reconocido como un gran msico.
b) O bien Victoria aprueba el examen, o no sale este fin de semana. Si sale este fin de semana,
saldr el sbado. Victoria saldr el sbado. Por tanto, aprob el examen.
c) Si Elina sale de vacaciones, viajar a Espaa. Si viaja a Espaa, deber trasladarse en avin 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 lgicas son las siguientes

( p q) r
a)

r
pq

p (q r )

b)

rs
s
p

ELEMENTOS DE MATEMTICA. Mara Elina Daz Lozano

Pgina 20

Soluciones de la cuarta sesin de estudio

Solucin Sesin 4 Ejercicio 1 a)
Las proposiciones simples que componen el razonamiento son:
p : Gastn acta en el recital.

q:

Gastn ser reconocido como un gran msico.

La forma del razonamiento es:

pq

(( p q ) p) q

y su frmula asociada:

La tabla de verdad de la frmula del razonamiento es:

p

pq

( p q) p

V
V

V
F

V
F

V
F

V
V

(( p q ) p) q

El razonamiento es vlido: su frmula es una tautologa.

Solucin Sesin 4 Ejercicio 1b)

Llamando: p : Victoria aprueba el examen
q : Victoria saldr este fin de semana
r : Victoria saldr el sbado
La forma del razonamiento es:

pq
q r

r
p
p

y su frmula asociada es [( p q ) ( q r ) r ] p

pq

qr

V
F

V
V

V
F

V
F

V
V

V
V

V
V

( p q) (q r ) r [( p q ) ( q r ) r ] p

El razonamiento es invlido. Observar que en el penltimo rengln se presenta el caso en que todas
las premisas son verdaderas y la conclusin es falsa.

Solucin Sesin 4 Ejercicio 1c)

p:

Elina sale de vacaciones

q:

Viaja a Espaa

r : Debe trasladarse en avin

s : El costo del viaje es elevado
pq
q (r s)
La forma del razonamiento es:

s
p

p q r

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 V F V

V
V

F
F

F
F

F
F

F
F

V
V

V V F F

V F V V

V F V F

V F F V

V F F F

F V V V

F V V F

F V F V

F V F F

F F V V

F F V F

F F F V

F F F F

El razonamiento es invlido.

Solucin Sesin 4 Ejercicio 2 a)

Razonamiento vlido.

Solucin Sesin 4 Ejercicio 2 b)

Razonamiento invlido.
Finalizaste la Sesin de Estudio y tambin la Unidad de Lgica Simblica.