Lógica Proposicional

Presentado Por:

Liliana Patricia Tuberquia López

CC. 1063289962
Ricardo Andrés Restrepo
CC. 71786786
Sebastián Bedoya
CC. 1128406321
Julio cesar Uribe
CC: 1035833351
Ricardo Andrés Roa
CC. 1074188263

Grupo: 200611_103
Julio 2016.

Presentado a:

Lady Johanna Rosero

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

MEDELLIN.
 INTRODUCCIÓN ii

En esta segunda unidad trabajaremos los temas: lógica proposicional, tablas de verdad en

proposiciones compuestas, tautologías y contradicciones y proposiciones categóricas.

Con este trabajo se pretende conceptualizar, analizar y argumentar procedimientos desde la

lógica proposicional mediante la solución de varias situaciones de la vida real, también aprender

a realizar tablas de verdad determinando si esta es una tautología, contradicción o contingencia.

 Objetivo General iii

Conceptualizar y analizar los temas de lógica proposicional, tablas de verdad en proposiciones

compuestas, tautologías y contradicciones y proposiciones categóricas

Objetivos Específicos

• Conocer las terminologías de la lógica proposicional

• Aprender a abordar problemas de la lógica proposicional

• Aprender a hacer y a interpretar tablas de verdad

• Conocer el simulador de las tablas de verdad

Tabla de Contenidos iv

Capítulo 1 Concepto de proposición lógica. Proposiciones simples y compuestas ............ 1

Capítulo 2 Tablas de verdad: conjunción, disyunción, implicación y bicondicional ......... 2
Capítulo 3 Tautologías, contradicciones y contingencias ................................................... 6
Capítulo 4 Cuantificadores y proposiciones categóricas .................................................... 8
Capítulo 5 Silogismos categóricos .................................................................................... 10
Capítulo 6 Solución problemas individuales .................................................................... 13
Capítulo 7 Solución problema grupal ............................................................................... 20
Conclusiones ..................................................................................................................... 22
Bibliografia ....................................................................................................................... 23
 1

Proposición lógica. Proposiciones simples y compuestas

Una proposición es una oración con valor referencial o informativo, de la cual se

puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no
ambas a la vez.

La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser

verdadera o falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones
aseverativas, las leyes científicas, las fórmulas matemáticas, las fórmulas y/o esquemas
lógicos, los enunciados cerrados o claramente definidos. No son proposiciones las
opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos
no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y
dubitativas; las interjecciones en general; ni las operaciones aritméticas.
Qué es una proposición

Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede
concluir que es verdadero o falso no es proposición. Es cualquier agrupación de palabras
o símbolos que tengan sentido y de la que en un momento determinado se pueda asegurar
si es verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su
valor lógico o valor de verdad. Las proposiciones se denotan con letras minúsculas.
Ejemplo: p, q, r, a, b.

Ejemplo:
• Hoy es viernes. (Si es proposición ya que se puede verificar).
• Hablo y no hablo.
• Viene o no viene.
• Carlos es un escritor. (Simple)
• Sen(x) no es un número mayor que 1. (Compuesta)
• El 14 y el 7 son factores del 42. (Simple)
• El 14 es factor del 42 y el 7 también es factor del 42. (Compuesta)
• El 2 o el 3 son divisores de 48. (Simple)
• El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
• Si x es número primo, entonces x impar. (Compuesta)
• Si x > 10, entonces 2x - 3 > 16. (Compuesta)
• No todos los números primos son impares. (Compuesta)
 2

Clases de Proposiciones:

Existen dos clases de proposiciones:

Proposiciones simples: también denominadas proposiciones atómicas. Son aquellas

proposiciones que no se pueden dividir.

Ejemplos:

• El cielo es azul.

Proposiciones compuestas: también denominadas moleculares. Son aquellas que están

formadas por dos o más proposiciones simples unidas por los operadores lógicos.

Ejemplos:

• Fui al banco, pero el banco estaba cerrado.

• Los lectores de este libro son jóvenes o universitarios.
• Si el miércoles próximo me saco la lotería entonces te regalare un auto

Tablas de Verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el
valor de verdad de una proposición compuesta, para cada combinación de verdad que se
pueda asignar.

Conjunción:

La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera
cuando ambas son verdaderas.

La tabla de verdad de la conjunción es la siguiente:

 3

Que se corresponde con la columna 8 del algoritmo fundamental.

En simbología "^" hace referencia a el conector "y"

Ejemplos:

 P= “El número 4 es par”

Q= “Siempre el residuo de los números pares es 2”
Entonces
p^q= “El número 4 es par y siempre el residuo de los números pares es 2”

 P= “ El número más grande es el 34”

Q= “El triángulo tiene 3 lados”
Entonces
p^q= “El número más grande es el 34 y El triángulo tiene 3 lados”

Disyunción:

La disyunción es un operador que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son
falsas.

La tabla de verdad de la disyunción es la siguiente:

 4

Que se corresponde con la columna 2 del algoritmo fundamental.

Ejemplos

 P= “El número 2 es par”

Q= “La suma de 2+2 es 4”
Entonces
PvQ= “El número 2 es par o la suma de 2+2 es 4”

 P= “La raíz cuadrada de 4 es el 2”

Q= “El número 3 es par”
Entonces
PvQ= “La raíz cuadrada de 4 es el 2 o El número 3 es par”

Implicación o condicional:

El condicional material es un operador que actúa sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso
sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en
cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental

Ejemplos:

 P= “Llueve”
Q= “Hay nubes”
P→Q= “Si llueves entonces hay nubes”
 5

 P= “ Hoy es miércoles”
Q= “Mañana será jueves”
P→Q= “Si hoy es miércoles entonces mañana será jueves”

Bicondicional:

El bicondicional o doble implicación es un operador que funciona sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso
cuando sus valores de verdad son diferentes.

La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.

Ejemplos:

 P= “ 10 es un número impar”
Q= “6 es un numero primo”
P↔Q= “10 es un número impar si y solo si 6 es un numero primo”

 P= “ 3+2 = 7”
Q= “4+4 = 8”
P↔Q= “3 + 2 = 7 si y solo si 4+4 = 8”
 6

Tautologías, contradicciones y contingencias

Tautología:

Las tautologías son identidades lógicas que siempre serán verdaderas, no son solo un útil
objeto en la lógica son usadas primordialmente para pruebas senténciales, desempeñan un
papel fundamental en los procesos de la deducción dentro de esta lógica (sentencial).
(Susana, 2011)

Para verificar la validez de esta proposición es necesario realizar la tabla de verdad y

comprobar que en la última columna solamente aparecen valores verdaderos.

Ejemplos:

 La expresión ¬ ((p v q) ↔ ¬ (p v q)) es una tautología.

P q (pvq) ¬( p v q ) ( p v q ) ↔ ¬( p v q ) ¬(( p v q ) ↔ ¬( p v q ))
V V V F F V
V F V F F V
F V V F F V
F F F V F V

 La expresión ‘(p ^ q) → (p v r)’ es una tautología.

P q r ¬r Pᴧq p v ¬r (p ᴧ q) → (p v ¬r)
V V V F V V V
V V F V V V V
V F V F F V V
V F F V F V V
F V V F F F V
F V F V F V V
F F V F F F V
F F F V F V V
 7

Contradicción:

Se entiende por proposición contradictoria aquella proposición que en todos los casos
posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma su valor F no
depende de los valores de verdad de las proposiciones que la forman, sino de la forma en
que están establecidas las relaciones de unas con otras.

Ejemplos:

 (p v q) ↔ ¬ (p v q)

p q (p v q) ¬ (p v q) (p v q) ↔ ¬ (p v q)
V V V F F
V F V F F
F V V F F
F F F V F

 [(p ᴧ q) ᴧ¬ (p v q)] ᴧr

p q r (p ᴧ q) (p v q) ¬ (p v q) (p ᴧ q) ᴧ¬ (p v q) [(p ᴧ q) ᴧ¬ (p v q)] ᴧr
V V V V V F F F
V V F V V F F F
V F V F V F F F
V F F F V F F F
F V V F V F F F
F V F F V F F F
F F V F F V F F
F F F F F V F F
 8

Contingencia:

Una proposición es una contingencia si no es ni verdadera ni falsa independientemente

de los valores de verdad de las proposiciones simples que la componen ósea los valores
pueden ser verdaderos en algunos casos y en otros falsos.

Ejemplo:

 p ᴧ (q v r)

p q r (q v r) p ᴧ (q v r)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F

Cuantificadores y proposiciones categóricas

Cuantificadores:

Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo de elementos
de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de
cuantificadores, entre los más utilizados están:

• Cuantificador universal (∀)

Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se llama
cuantificador universal y se simboliza por “∀”.
 9

Ejemplo:

(∀x =1) / (X + 4 = 4 + x ) significa que todo "x" verifica la ecuación

Nota: esta expresión se lee de la siguiente manera “ para todo x =1 se verifica que x + 4 =
4 + x".

• Cuantificador existencial (Ǝ)

Los cuantificadores de la forma existe por lo menos uno, se llaman cuantificadores

existenciales y se representan así: “Ǝ”.

Ejemplo:

(Ǝx = 1) / (2x + 3 = 5) significa que para x = 1 verifica la ecuación

Nota: esta expresión se lee de la siguiente manera “existe por lo menos uno x =1 se
verifica que 2x + 3 = 5".

Proposiciones categóricas:

Una Proposiciones categóricas es un enunciado que consta de dos Proposiciones las

cuales actúan una como sujeto y otra como predicado.

Ejemplos:

• Ningún soltero es casado

• Algunos mazdas no Son fabricados en Japón

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de
lógica, conocida como aristotélica, tradicional, o de silogismos categóricos.

Existen cuatro clases de proposiciones categóricas. Usando “S” y “P” como símbolos,
estas son:
 10

Ejemplos:

• Todos los poetas son filósofo

• Ningún poeta es filósofo
• Algunos poetas son filósofos
• Algunos poetas no son filósofos

Silogismos Categóricos

Un silogismo es un argumento deductivo en el que se in ere una conclusión a

partir de dos premisas. El silogismo contiene exactamente tres términos, cada uno de los
cuales solo aparece en dos de las proposiciones que lo constituyen. Se dice que un
silogismo está en forma estándar cuando sus premisas y conclusión están arregladas en
cierto orden especifico.

La conclusión de un silogismo de forma estándar es una proposición que contiene dos de

los tres términos del silogismo. Él termino que aparece como predicado de la conclusión
se llama él término mayor del silogismo, y él término que aparece como sujeto de la
conclusión es él término menor del silogismo. Así́, en el siguiente silogismo:

• Ningún héroe es cobarde

• Algunos soldados son cobardes
• Por lo tanto, algunos soldados no son héroes.

El término “soldados” es él término menor y él término “héroes”, es él término mayor. El

tercer término del silogismo que no aparece en la conclusión, y que aparece en cambio en
ambas premisas se llama él término medio. En nuestro ejemplo, él término “cobardes” es
él término medio.

Los términos mayor y menor de un silogismo en forma estándar aparecen, cada uno, en
una premisa diferente. La premisa que contiene el término menor se llama premisa menor
y la premisa que contiene el término mayor se llama premisa mayor.

Una característica de notoria de un silogismo de forma estándar consiste en que la

premisa mayor se enuncia primero, en seguida la premisa menor y al mal la conclusión.

El modo de un silogismo de forma estándar está determinado por las formas de las
proposiciones categóricas de forma estándar que contiene. Es decir, el silogismo se
representa por tres letras, la primera de las cuales nombra la forma de la premisa mayor
del silogismo, la segunda la de la premisa menor y la tercera la de la conclusión. Por
ejemplo,
 11

en el caso del silogismo precedente, puesto que su premisa mayor es una proposición E,
su premisa menor es una proposición I y su conclusión una proposición O; el modo del
silogismo es EIO.

El modo solo describe parcialmente la forma de un silogismo, pues silogismos con el

mismo modo pueden diferir en sus formas, dependiendo de las posiciones relativas de los
términos medios.

La forma de un silogismo se puede describir por completo enunciando su modo y su gura,

donde la gura indica la posición del término medio en las premisas.

Es claro que hay cuatro posibles guras distintas que pueden tener los silogismos. El
término medio puede ser el sujeto de la premisa mayor y el predicado de la premisa
menor, o puede ser el predicado de ambas premisas, o puede ser el sujeto de ambas
premisas, o puede ser el predicado de la premisa mayor y el sujeto de la premisa menor.
Estas diferentes posiciones posibles del término medio constituyen las cuatro guras del
silogismo.

Así, el silogismo anterior tendrá́ la forma EIO-2

Haciendo abstracción de la infinita variedad de sus posibles combinaciones obtenemos

muchas formas diferentes de los silogismos categóricos de forma estándar. Si tuviésemos
que listar todos los posibles modos diferentes, comenzando con AAA, AAE, AAI,
AAO,... y así́ sucesivamente hasta llegar a OOO, encontraríamos sesenta y cuatro modos
diferentes. Y puesto que cada modo puede aparecer en cada una de las cuatro guras
diferentes, tendríamos 256 formas distintas que pueden tomar los silogismos de forma
estándar. Sin embargo, de entre ellas solamente unas cuantas son válidas.

SILOGISMOS VÁLIDOS

Un silogismo, es válido cuando la representación de las premisas contiene

necesariamente a la conclusión.

Con diagramas de Venn podemos determinar la validez o invalidez de un silogismo. Si

representas la premisa universal y después la particular, observa el área de la intersección
entre S y P. Si es igual al área representada en la conclusión, el silogismo será́ válido.
 12

Observa que la X ya ha sido colocada en el espacio representado en la conclusión (S-P),

por lo que ya no es necesario volver a colocarla. Con ello se demuestra que el silogismo
es válido.

Un silogismo resulta inválido al no cumplir al menos una de las reglas:

• El silogismo debe tener tres términos: mayor, menor y medio.

• Los términos no deben tener mayor extensión en la conclusión.
• El término medio nunca debe pasar a la conclusión.
• El término medio debe ser universal por lo menos una vez.
• Dos premisas afirmativas, no pueden dar conclusión negativa.
• Dos premisas negativas, no dan conclusión.
• Dos premisas particulares no dan conclusión.
• La conclusión siempre sigue la parte más débil (particular y negativa).

Reglas de guras:

• Primera gura: mayor universal, menor afirmativa.

• Segunda gura: mayor universal, una negativa.
• Tercera gura: menor afirmativa, conclusión particular.
• Cuarta gura: si la mayor es afirmativa, la menor debe ser universal.
• Cuarta gura: si la menor es afirmativa, la conclusión debe ser particular.
 13

Solución Problemas Individuales

1. Rafael siempre quiso ser actor de teatro, pero no logró cumplir su sueño porque
se dedicó a trabajar para buscar su sustento diario. Pero ha llegado una felicidad a Rafael
y es el hecho de que su hija Sofía quiere ser actriz de teatro y pensando en su hija
construye en su mente el siguiente pensamiento: “No es cierto que: si mi hija Sofía
estudia los libretos, obtiene representar el papel protagónico en la obra de Teatro. Si no
estudia, lo pasa divertido en el ensayo. Si no obtiene el papel protagónico, no lo pasa bien
en el ensayo. Así pues, mi hija Sofía obtiene el papel protagónico. De acuerdo al
resultado en la tabla de verdad justifique si el pensamiento de Rafael con relación a su
hija es coherente o incoherente.

Solución:

P= Sofía Estudia los libretos

q= Obtener el papel protagónico.
r= divertirse en el ensayo.

[¬ (p → q) ˄ (¬p → r) ˄ (¬q → ¬r)]↔q

p q
V V
V V
V F
V F
F V
F V
F F
F F
r ¬p ¬q ¬r
V F F F
F F F V
V F V F
F F V V
V V F F
F V F V
V V V F
F V V V
 14

2. Francisco es estudiante del curso de Herramientas Digitales para la Gestión del

Conocimiento junto con Luis. Luis en un aporte individual para el Trabajo Colaborativo
Uno escribe en el foro la siguiente idea: “Si Francisco mi compañero de curso, aprende
Cmaptools y realiza los mapas conceptuales, entonces Francisco aprende Cmaptools,
entonces el realiza mapas conceptuales o reconoce una red de conceptos y Francisco no
realiza mapas conceptuales y el no reconoce una red de conceptos”. ¿Qué se puede decir
de esta información?

Solución:

Si Francisco mi compañero de curso, aprende Cmaptools y realiza los mapas

conceptuales, entonces Francisco aprende Cmaptools, entonces el realiza mapas
conceptuales o reconoce una red de conceptos y Francisco no realiza mapas conceptuales
y el no reconoce una red de conceptos”

p= Aprende Cmaptools
q= Realiza los mapas conceptuales
r= Reconoce una red de conceptos

˄ Significa “Y”
˅ Significa “O”
→ Significa “Entonces”
͍ Significa “si y solo si” o “equivale”
Ꞁ Significa “NO”

p˄q→p
q˅r
Ꞁq ˅ Ꞁr

[(p ˄ q → p)] → [(q ˅ r) ˄ (Ꞁq ˅ Ꞁr)]

p q r Ꞁq Ꞁr p˄q q˅r Ꞁq ˅ Ꞁr p˄q→p [(p ˄ q → p)] → [(q ˅ r) ˄ (Ꞁq ˅ Ꞁr)]

V V V F F V V F V F
V V F F V V V V V V
V F V V F F V V V V
V F F V V F F V V F
F V V F F F V F V F
F V F F V F V V V V
F F V V F F V V V V
F F F V V F F V V F
 15

De acuerdo a lo anterior se puede evidenciar que es una contingencia ya que se obtienen

resultados falsos y verdaderos

3. Hilder ha comenzado a revisar los productos de la Fase Individual del Trabajo

Colaborativo Uno del Curso Pensamiento Lógico y Matemático, para lo cual se encuentra
observando los primeros aportes hechos por los integrantes del grupo colaborativo 816,
pero en este grupo sólo han participado tres integrantes. A Hilder se le ha generado una
confusión por la selección de aportes establecida por Pablo, Jaime y Miguel; para aclarar
cual operación entre conjuntos escogió cada uno de ellos, hace el siguiente análisis:
“Pablo selecciona la operación de unión entre conjuntos, si Jaime selecciona la
intersección de conjuntos. Miguel seleccionará la operación de diferencia de conjuntos o
Pablo no seleccionará la unión entre conjuntos. O Jaime no selecciona la operación de
intersección entre conjuntos o Miguel no ha seleccionado la operación de diferencia entre
conjuntos. Por consiguiente, Jaime no seleccionó la intersección entre conjuntos”. ¿Es
correcto este análisis?

Solución:

 Conectores del enunciado:

Si > “implicación o condicional”

O v “Disyunción”

 Identificar las hipótesis y la conclusión:

H1: “Pablo selecciona la operación de unión entre conjuntos, si Jaime selecciona la

intersección de conjuntos”
 16

H2: “Miguel seleccionará la operación de diferencia de conjuntos o Pablo no seleccionará

la unión entre conjuntos”

H3: “O Jaime no selecciona la operación de intersección entre conjuntos o Miguel no ha

seleccionado la operación de diferencia entre conjuntos”

C: “Jaime no seleccionó la intersección entre conjuntos”

 Declarar proposiciones simples

P: Pablo selecciona la operación de unión entre conjuntos,

Q: Jaime selecciona la intersección de conjuntos
R: Miguel seleccionara la operación de diferencia de conjuntos

 Lenguaje formal

H1: (p q)
H2: (r p)
H3: (q r)
C: (q)

 Estructura de la tabla de la verdad

[H1 H2 H3] C

[(p>q) & (r+p)+ (q+r)]& (q)

 Tabla de la verdad
 17

 Determinar si la tabla de verdad es una tautología, contradicción o contingencia

Es una contingencia, ya que no es ni verdadera ni falsa.

4. El organizador del Congreso Nacional de Matemáticas a invitado a un viejo colega

para que sea ponente en la línea de Ecuaciones Diferenciales. Óscar no llegó a tiempo
para su ponencia y en su afán de salvar la situación le comenta lo siguiente a Andrés el
organizador del evento: “Como vivo en un lugar muy retirado, entonces debo
desplazarme en un viaje de 7 horas por tierra para llegar a cumplir con la ponencia en el
evento. Es así que, cuando viajo en avión me mareo. Siempre que me da mareos, me
entra un fuerte dolor de cabeza. Así pues, siempre que me entra un fuerte dolor de
cabeza, viajo”. ¿El organizador del Congreso de Matemáticas pensará que es correcta la
justificación por el retraso o Óscar se contradice o no hay sentido en lo que expresa?

Solución:

P = Oscar viaja en avión

q = le da mareo
r = Le da un fuerte dolor de cabeza

Entonces la proposición quedaría de la siguiente forma:

[(p → q) ˄ (q → r)] ↔(r → p)

Entonces la proposición quedaría:

Si Oscar viaja en avión entonces le da mareo y si le da mareo entonces le da un fuerte

dolor de cabeza si le da un fuerte dolor de cabeza si y solamente si Oscar viaja en avión.

p q r p→q q→r r→p (p → q) ˄ (q → r) [ (p → q) ˄ (q → r) ] ↔(r → p)

V V V V V V V V
V V F V F V F F
V F V F V V F F
V F F F V V F F
F V V V V F V F
F V F V F V F F
F F V V V F V F
F F F V V V V V
 18

Entonces el resultado de la tabla de verdad como conclusión se define que es una

contingencia, puesto que la proposición podría ser verdadera o falsa.

5. En el Fondo de empleados de una empresa desean premiar a los asociados más

antiguos con un viaje para dos personas con todo pago a la isla de San Andrés, los
asociados más antiguos son Alberto, Javier, Camilo y los hermanos Luis y Carlos. En la
Junta para determinará a quien otorgar el premio se hace la siguiente consideración con
relación a los ahorros: “Si Alberto posee mayor cantidad de ingresos que Javier, Javier
posee mayor cantidad de ingresos que Luis. Camilo posee mayor cantidad de ingresos
que Carlos el hermano de Luis, si Javier posee mayor cantidad de ingresos que Luis. Por
lo tanto, Si Alberto posee mayor cantidad de ingresos que Javier, Camilo es quien posee
mayor cantidad de ingresos que Carlos”. ¿Es correcto o contradictorio el análisis?

Solución:

A=Alberto
J=Javier
C=Camilo
L=Luis
K=Carlos

Lo que dicen es:

• Si Alberto posee mayor cantidad de ingresos que Javier, Javier posee mayor cantidad de
ingresos que Luis (A>J) --->(J>L)
• Camilo posee mayor cantidad de ingresos que Carlos el hermano de Luis, si Javier posee
mayor cantidad de ingresos que Luis (J>L) --->(C>K)
 19

Por lo tanto,

• Si Alberto posee mayor cantidad de ingresos que Javier, Camilo es quien posee mayor
cantidad de ingresos que Carlos” (A>J) --->(C>K)

Es correcto ya que:

(A>J) --->(J>L) --->(C>K)

Y para hacerlo por tabla de verdad:

Tenemos tres proposiciones simples:

p = Alberto tiene más ingresos que Javier

q = Javier tiene más ingresos que Camilo
r = Camilo tiene más ingresos que Carlos y tenemos estas compuestas

a) p --> q
b) q --> r

Y la conclusión es

c) p --> r

Y esta es la tabla de la verdad

EL ANALISIS ES CORRECTO
 20

Solución Problema Grupal

Si Andrés estudia Economía, entonces participará en la convocatoria de una beca

para especialización. Pero, no participará en la convocatoria, si reprobó el curso de
Fundamentos de Administración y no aprobó el curso de Finanzas. Si Andrés no reprobó
el curso de Fundamentos de Administración o aprobó el curso de Finanzas, entonces
participará en la convocatoria de una beca para especialización. Por lo tanto, participará
en la convocatoria si y solo si evidencia un promedio de 4,3 en todos sus estudios.

Solución:

P= Andrés estudia Economía

q= participará en la convocatoria de una beca para especialización.
r= reprobar el curso de Fundamentos de Administración
s= aprobar el curso de Finanzas
t= evidencia un promedio de 4,3 en todos sus estudios.

{(p ⟶ q) ∧ [(r ∧∼ s) ⟶∼ q] ∧ [(∼ r ∨ s) ⟶ q]} ⟶ (q ⟷ t)

p q r s t ¬q ¬r ¬s p→q ˄ [(r˄¬s) →¬q] ˄ (¬r˅s) →q → q↔t

1 V V V V V F F F V V V V V V V
2 V V V V F F F F V V V V V F F
3 V V V F V F F V V V V V V V V
4 V V V F F F F V V F F F V V F
5 V V F V V F V F V V V V V V V
6 V V F V F F V F V V V V V F F
7 V V F F V F V V V V V V V V V
8 V V F F F F V V V V V V V F F
9 V F V V V V F F F F F F F V F
10 V F V V F V F F F F F F F V V
11 V F V F V V F V F F V F V V F
12 V F V F F V F V F F V F V V V
13 V F F V V V V F F F F F F V F
14 V F F V F V V F F F F F F V V
15 V F F F V V V V F F F F F V F
16 V F F F F V V V F F F F F V V
17 F V V V V F F F V V V V V V V
18 F V V V F F F F V V V V V F F
19 F V V F V F F V V V V V V V V
20 F V V F F F F V V F F F V V F
21 F V F V V F V F V V V V V V V
22 F V F V F F V F V V V V V F F
 21

23 F V F F V F V V V V V V V V V
24 F V F F F F V V V V V V V F F
25 F F V V V V F F V F F F F V F
26 F F V V F V F F V F F F F V V
27 F F V F V V F V V V V V V F F
28 F F V F F V F V V V V V V V V
29 F F F V V V V F V F F F F V F
30 F F F V F V V F V F F F F V V
31 F F F F V V V V V F F F V V F
32 F F F F F V V V V F F F F V V

El resultado es el que se encuentra resaltado en amarillo

Entonces el resultado de la tabla de verdad como conclusión se define que es una

contingencia, puesto que la proposición podría ser verdadera o falsa.
 22

Conclusiones

• Se pudo conceptualizar y analizar los procedimientos de la lógica proposicional

• Aprendimos a resolver problemas de lógica proposicional
• Aprendimos a utilizar el simulador de tablas de verdad (Truth)
 23

Bibliografía

Costenoble, S. W. (diciembre de 2012). Introdución a la Lógica. Obtenido de 2. Lógica

Equivalente, Tautologia, y Contradición:
http://www.zweigmedia.com/MundoReal/logic/logic2.html

Intriago, G. (31 de mayo de 2015). NIVELACIÓN 2015-1S UTELVT. Obtenido de FORMAS

PROPOSICIONALES Y TABLA DE VERDAD DE LAS FORMAS PROPOSICIONALES:
http://gisselaintriago.blogspot.com.co/2015_05_01_archive.html

Susana, A. J. (13 de Octubre de 2011). Matemáticas Discretas . Obtenido de Tautologías,

contradicción y contingencia:
https://matematicasdiscretasisc.wordpress.com/2011/10/13/tautologias-contradiccion-
y-contingencia/

Tutor Expertos. (14 de agosto de 2014). YouTube. Obtenido de Tablas de Verdad

CONTRADICCIÓN: https://www.youtube.com/watch?v=mZ0OKwySEjY