TRABAJO COLABORATIVO DOS

DEIVER GUZMN GORDILLO

DORA PATRICIA SNCHEZ
ELISEO SERRATO MARTINEZ
JEIMMY ANDREA DUQUE
QUELIN JOHANA REYES MIRANDA
Grupo 200611_24
Pensamiento Lgico Y Matemtico

Universidad Nacional Abierta Y A Distancia - UNAD

Ingeniera Industrial

Bogot D.C, 25 de Noviembre del 2015

TRABAJO COLABORATIVO DOS

DEIVER GUZMN GORDILLO

DORA PATRICIA SNCHEZ
ELISEO SERRATO MARTINEZ
JEIMMY ANDREA DUQUE
QUELIN JOHANA REYES MIRANDA
Grupo 200611_24
Pensamiento Lgico Y Matemtico

Licenciado
JADITH ROVIRA ROMAA
Tutor

Bogot D.C, 25 de Noviembre del 2015

III

Tabla de contenido
Introduccin ..................................................................................................................................... 1
Objetivos .......................................................................................................................................... 3
Objetivos Especficos ................................................................................................................... 3
Lgica Proposicional ........................................................................................................................ 4
Tautologa, Contradicciones Y Contingencia. .............................................................................. 4
Cuantificadores ............................................................................................................................. 7
Proposiciones Categricas ............................................................................................................ 8
Representacin de proposiciones categricas. .......................................................................... 9
Proposicin lgica ...................................................................................................................... 11
Clases de proposiciones .......................................................................................................... 11
Tablas de verdad ......................................................................................................................... 13
Conjuncin.................................................................................................................................. 16
Disyuncin .................................................................................................................................. 18
Implicacin o condicional .......................................................................................................... 20
Biocondicional o doble implicacin ........................................................................................... 22
Silogismos Categricos .............................................................................................................. 23
Figuras del silogismo .............................................................................................................. 24
Problema Grupal ............................................................................................................................ 25
Problemas individuales .................................................................................................................. 28
1.

Deiver Guzmn Gordillo ..................................................................................................... 28

2.

Dora Patricia Snchez ......................................................................................................... 32

3.

Eliseo Serrato Martnez ....................................................................................................... 33

4.

Jeimmy Andrea Duque ........................................................................................................ 38

5.

Quelin Johana Reyes Miranda............................................................................................. 42

Conclusiones .................................................................................................................................. 43
Bibliografa..................................................................................................................................... 44

IV

Tabla de figuras
Diagramas
Diagrama 1 ...................................................................................................................................... 7
Diagrama 2 ...................................................................................................................................... 8
Diagrama 3 ...................................................................................................................................... 9
Diagrama 4 ...................................................................................................................................... 9
Diagrama 5 .................................................................................................................................... 10
Diagrama 6 .................................................................................................................................... 10
Diagrama 7 .................................................................................................................................... 10
Tablas
Tabla 1.............................................................................................................................................. 4
Tabla 2.............................................................................................................................................. 5
Tabla 3.............................................................................................................................................. 5
Tabla 4.............................................................................................................................................. 6
Tabla 5............................................................................................................................................ 13
Tabla 6............................................................................................................................................ 14
Tabla 7............................................................................................................................................ 14
Tabla 8............................................................................................................................................ 16
Tabla 9............................................................................................................................................ 18
Tabla 10.......................................................................................................................................... 20
Tabla 11.......................................................................................................................................... 22
Tabla 12.......................................................................................................................................... 29
Tabla 13.......................................................................................................................................... 30
Tabla 14.......................................................................................................................................... 32
Tabla 15.......................................................................................................................................... 35
Tabla 16.......................................................................................................................................... 37
Tabla 17.......................................................................................................................................... 39
Tabla 18.......................................................................................................................................... 40
Figuras
Figura 1 .......................................................................................................................................... 24

Introduccin
La lgica matemtica, parte de la necesidad del hombre para entender todo lo que lo rodea. En un
primer momento se le dio el nombre de filosofa, se puede definir entonces la lgica como el
proceso para pensar y entender lo que nos rodea.
Es importante decir que la lgica no entra solo en los campos filosficos, si no en el campo
matemtico. Utilizando la lgica matemtica podemos resolver problemas, encontrar leyes y
descubrir proposiciones lingsticas y numricas.
Aristteles considerado el padre de la lgica, creo mtodos sistemticos para analizar argumentos
existentes, para lo cual desarrollo la lgica proposicional estableciendo parmetros para
determinar la verdad o falsedad de proposiciones compuestas.
Si hacemos caso a lo que Geoffrey Hunter dice en la introduccin a su libro Metalogic (1971, 3),
desde el punto de vista de la metalgica, los mtodos sintcticos y semnticos de la lgica formal
son mtodos alternativos para detectar las verdades lgicas de un lenguaje. Ambas parten del
ideal de encontrar un mtodo formal es decir, uno que atienda slo a la forma lgica de los
enunciados, no a su contenido, y sea efectivo de manera mecnica (y, por lo tanto, a-priori) para
reconocer verdades lgicas. Sin embargo, parten de intuiciones distintas. El mtodo de pruebas,
fundado por Frege en su Conceptografa (1879), parte de la intuicin de que el mtodo formal apriori por excelencia es la prueba matemtica y trata de extender la nocin de prueba formal
estricta de las matemticas a la lgica. El mtodo semntico, por su parte, est fundado en el
anlisis lgico-semntico de por tablas de verdad propuesto por Ludwig Wittgenstein (1921) y
Bertrand Russell (1918). Aunque dicho mtodo de anlisis era ya conocido en la tradicin lgicaalgebraica, y que Peirce (en notas no publicadas, anteriores a 1910) y Post (1920) haban
utilizado ya tablas de verdad, fueron Russell y Wittgenstein los que divulgaron este mtodo como
instrumento de anlisis del significado de los enunciados en trminos de condiciones de verdad

(en contraste con Frege, quin identificaba al significado contenido conceptual de los
enunciados con su rol inferencial). Segn Wittgenstein, el mtodo de tablas de verdad sirve para
determinar las condiciones de verdad de un enunciado, es decir, su significado, en funcin de las
condiciones de verdad de sus elementos atmicos. En otras palabras, la tabla de verdad nos dice
en qu situaciones el enunciado es verdadero y en cuales es falso. Las tablas de verdad son, por
una parte, uno de los mtodos ms sencillos y conocidos de la lgica formal, pero al mismo
tiempo tambin uno de los ms poderosos y claros. Entender bien las tablas de verdad es, en gran
medida, entender bien a la lgica formal misma.
Siempre que nosotros hacemos diferentes tipos de afirmaciones o negaciones nos debemos basar
en una serie de anlisis que nos permitan aclarar y rectificar si lo que dijimos anteriormente es
verdadero o falso. En la conceptualizacin que a continuacin realizaremos podremos encontrar
como, cuando y en qu situacin podemos aplicar este tipo de proposiciones. Adicionalmente
veremos cmo aportando proposiciones lingsticas, estas se pueden convertir en un leguaje
numrico y como la lgica matemtica aporta significativamente a dichas situaciones

Objetivos
Conocer y tener claridad de las diferentes operaciones de la Lgica proposicional, as
mismo, lograr un aprendizaje practico en la aplicacin de las tablas de la verdad en situaciones
reales, identificando la estructura de los enunciados y proposiciones para generar una correcta
construccin de argumentos en base a lo aprendido. Este trabajo nos ensea cmo se pueden
aplicar las tablas de la verdad

y las operaciones de la lgica proposicional en problemas

cotidianos y en diversos contextos mediante la explicacin terica de los diferentes trminos y

dando ejemplos claros, para mostrar con claridad el proceso de aplicacin.
Objetivos Especficos
Conceptualizar de forma adecuada los procedimientos desde la lgica proposicional utilizados.
Demostrar la veracidad y validez de situaciones especficas del mundo real, y as verificar si la
tabla de la verdad generada es una tautologa contradiccin o contingencia.
Concretar y examinar las proposiciones simples y compuestas; adems de eso entender el
verdadero significado de cada caso que se presente.
Distinguir las proposiciones simples de las compuestas.
Argumentar los diferentes conceptos de la temtica de lgica proposicional
Realizar procedimientos de planteamientos y resolucin de problemas mediante la tabla de
verdad.
Comprender e identificar las diferentes operaciones de Lgica proposicional
Realizar mediante ejercicios el desarrollo del autoaprendizaje
Explicar los procedimientos de planteamiento y resolucin de problemas
Comprender mediante el anlisis y aplicacin de operaciones el resultado de los ejemplos y/o
ejercicios propuestos.

Lgica Proposicional
Tautologa, Contradicciones Y Contingencia.
1.

Tautologa:
Es una expresin lgica que resulta verdadera para cualquier interpretacin; es decir, para

cualquier asignacin de valores de verdad. La construccin de una tabla de verdad es un mtodo

efectivo para determinar si una expresin cualquiera es una tautologa o no. Al analizar las tablas
de verdad de las conectivas hemos observado que la verdad de una frmula molecular depende
del valor de verdad que se asigne a cada una de las frmulas atmicas que la integran: as, por
ejemplo, la conjuncin es verdadera cuando sus dos trminos son verdaderos y falsa en los dems
casos, el condicional es falso cuando el antecedente es verdadero y el consecuente falso, y es
verdadero en los otros tres supuestos, y el bi-condicional es verdadero si sus dos trminos tienen
el mismo valor de verdad ( V o F ) y falso cuando ellos tiene valor distinto.
Ejemplo 1:
Demostrar que la proposicin (p^q) p es una tautologa, para demostrarlo, debemos
construir la tabla de verdad y verificar que efectivamente la funcin lgica es Verdadera para
todos los casos:
p

q p ^q q ^ pp

V V

V F

F V

Tabla 1

Queda demostrado que (p^q) p es una proposicin que sin importar el valor de sus premisas p
y q, es siempre verdadera.

Ejemplo 2

Tabla 2

Queda demostrado que [(p ^ q)] ^p] q es una proposicin para la cual, sin importar el valor de
sus premisas p y q, siempre ser verdadera.
2.

Contradicciones:
Son los polinomios cuyos valores de verdad en la columna de la respuesta son todos falsos,

se le conoce tambin como antitautologa, contradiccin, falsedad lgica o falacia. Se entiende

por proposicin contradictoria, o contradiccin, aquella proposicin 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 estn
establecidas las relaciones sintcticas de unas con otras. Cuando en la tabla de verdad de una
proposicin aparecen valores (V) y (F) se dice que la proposicin es incierta o indeterminada.
Ejemplo 1:
Comprobar que la proposicin (p ^ p) es una contradiccin. (p v q) ^ (q => p)

Tabla 3

3.

Contingencias:
Contingencia es una proposicin compuesta que en algunos casos es verdadera y en otros es

falsa. Es decir cuando en dos proposiciones, y su equivalencia es verdadera y falsa a la vez.

Ejemplo:
A^ (BVC).

Tabla 4

Cuantificadores

Cuantificadores
Expresiones como: todos, algunos,
siempre, en ocasiones, nunca, que se
anteponen a un enunciado abierto para
convertirlo en proposicin.

Cuantificador universal

Cuantificador exixtencial

Generalizacin de la conjuncin,
por ello es verdadero cuando
todos los valores de x que
pertenecen al dominio de A son
verdaderos.

Generalizacin de la disyuncin
inclusiva. Por ello, es verdadero
cuando al menos un valor de x"
pertenece al dominio de A, es
verdadero

X; p(x)
Para todos,
para cada,
todos (as)
Todo (as)"

"x

x /p(x).

Ejemplo

(X =1) / ( x + 4 = 4 + x )
Para todo x =1 se verifica
que x + 4 = 4 + x".

Existe al
menos un x,
algunos x,
hay x.

Diagrama 1

Ejemplo

(x = 1) / ( 2x + 3 = 5 )
Existe por lo menos
uno x =1 se verifica
que 2x + 3 = 5".

Proposiciones Categricas

Diagrama 2

Representacin de proposiciones categricas.

Presentacin de los cuatro tipos de proposiciones categricas
Caso 1: Todo S es P.

Diagrama 3

Forma Lgica: (x) (SxPx)

La parte del crculo S que esta fuera de P representa todos los S que no son P.
Caso 2: Ningn S es P o ningn P es S.

Diagrama 4

Forma Lgica: (x) (SxPx)

La parte comn de los dos crculos representa la interseccin o producto de las dos clases SP

10

Caso 3: Algn S es P o algn P es S

Diagrama 5

Forma Lgica: (x) (Sx Px)

Caso 4: Algn S no es P

Diagrama 6

Forma Lgica: (x) (Sx Px)

Algn P no es S

Diagrama 7

Forma Lgica: (x) (Px Sx)

11

Proposicin lgica
Es toda oracin o enunciado al que se le puede ser afirmativo o negativo. Si no puede
concluir que es verdadero o falso no es proposicin. Es cualquier agrupacin de palabras o
smbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si es
verdadero o falso.
La verdad o falsedad de una proposicin es lo que se llama su valor lgico o valor de verdad.
Las proposiciones se indican con letras minsculas.
Ejemplo: p, q, r, a, b.
Clases de proposiciones
Existen varias clases de proposiciones pero en esta oportunidad vamos a explicar sobre de las
proposiciones simples y compuestas.
a) Proposiciones simples:
Son aquellas que tienen un enunciado aclarativo el cual puede afirmar que es verdadero o falso,
pero ambos a la vez no
Ejemplos:

El cielo es azul.

La caja de madera.

Est lloviendo.

Esta mojado.

El 8 es un nmero par.

Hoy es lunes.

Eliseo es un estudiante.

12

b) Proposiciones compuestas:
En la proposicin compuesta lleva las interjecciones o conexiones (y- o) y de esta se pueden
separar oraciones como:
En la oracin el frijol es amarillo o negro Se puede comprobar que el frijol es de un color u
otro y la proposicin se divide solo entre amarillo y negro del cual se debe desprender la verdad.
Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms
proposiciones simples unidas por los operadores lgicos.
Ejemplos:

Sen(x) no es un nmero mayor que 1.

El 14 es factor del 42 y el 7 tambin es factor del 42.

(Compuesta)

El 2 es divisor de 48 o el 3 es divisor de 48.

(Compuesta)

Si x es nmero primo, entonces x impar.

Si x > 10, entonces 2x - 3 > 16.

(Compuesta)

No todos los nmeros primos son impares.

(Compuesta)

(Compuesta)

(Compuesta)

13

Tablas de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposicin compuesta, para cada combinacin de verdad que se pueda asignar.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el
que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
Definiciones
Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga posible la
formalizacin de argumentos:
Como razonamientos deductivos lgico-lingsticos
Como construccin de un sistema matemtico puro
Verdadero.
El valor verdadero se representa con la letra V.
Falso.
El valor falso se representa con la letra F.
Variable.
Para una variable lgica A, B, C... que pueden ser verdaderas V, o falsas F, los operadores
fundamentales se definen as:

Tabla 5

14

Negacin.
La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el valor
contradictorio de la proposicin considerada.

Tabla 6

Nmero de combinaciones
Partiendo de un nmero n de variables, cada una de las cuales puede tomar el valor
verdadero: V, o falso: F, por Combinatoria, podemos saber que el nmero total de
combinaciones: Nc, que se pueden presentar es: Nc = 2n
Para componer una tabla de verdad, pondremos las n variables en una lnea horizontal, debajo de
estas variables desarrollamos las distintas combinaciones que se pueden formar con V y F, dando
lugar a la distintas Nc, nmero de combinaciones. Normalmente solo se representa la funcin
para la que se confecciona la tabla de verdad, y en todo caso funciones parciales que ayuden en
su clculo, en la figura, se pueden ver todas las combinaciones posibles Cp, que pueden darse
para el nmero de variables dado.

Tabla 7

15

As podemos ver que para dos variables binarias: A y B, n= 2, que pueden tomar los valores V y
F, se pueden desarrollar cuatro combinaciones: Nc= 4, con estos valores se pueden definir
diecisis resultados distintos, Cp= 16, cada una de las cuales sera una funcin de dos variables
binarias. Para otro nmero de variables se obtendrn los resultados correspondientes, dado el
crecimiento exponencial de Nc, cuando n toma valores mayores de cuatro o cinco, la
representacin en un cuadro resulta compleja, y si se quiere representar las combinaciones
posibles Cp, resulta ya complejo para n= 3.

16

Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente 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. En lgica y matemticas una conjuncin es un enunciado con dos o ms
elementos simultneo. Una lmpara elctrica se enciende si hay corriente elctrica, el interruptor
est conectado, el fusible est bien y la lmpara no est fundida, en cualquier otro caso la lmpara
no se encender. Para dos entradas A y B, la tabla de verdad de la funcin conjuncin es:

Tabla 8

Smbolo: El smbolo matemtico para la conjuncin lgica vara en la literatura. Adems de

utilizar "Y", el smbolo en forma de es comnmente utilizado para la conjuncin. Por ejemplo:
PQ
Se lee como "P y Q. Esta Conjuncin es cierta si ambas P y Q son ciertas a la vez. En todos los
dems casos es falsa. La nocin equivalente en teora de conjuntos es la Interseccin de
conjuntos. Y el smbolo representativo es "y" y .
Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como
y, ni, pero, que, e, mas, etctera o cualquiera que equivalga al sentido que en el
lenguaje natural tiene la conjuncin copulativa y -que viene a significar que pasan las dos cosas
que estamos diciendo-, se escribe el smbolo entre las dos variables proposicionales que une.

17

Ejemplos:

Juan y Pedro van al cine - p q

Quiz sea mejor que vengas los lunes y los mircoles - r s
Estos apuntes ni son los de lgica ni los de metafsica - t w
p = El nmero 4 es par q = Siempre el residuo de los nmeros pares es 2
Entonces: p^q: El nmero 4 es par y Siempre el residuo de los nmeros pares es 2
p = El nmero ms grande es el 34 q = El tringulo tiene 3 lados
Entonces: p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados

18

Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente 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.

Tabla 9

En matemticas, una disyuncin lgica (comnmente conocida como O, ) es un operador

lgico que resulta en verdadero si cualquiera de los operadores es verdadero. En lgica y
matemticas una disyuncin es un "enunciado con dos o ms elementos optativos". Por ejemplo
"Puedes leer este artculo o editarlo", es una disyuncin con dos elementos, mientras que "Puedes
leer este artculo, imprimirlo o editarlo" es una disyuncin con tres elementos. Ntese que en el
lenguaje cotidiano el uso de la palabra "o" significa a veces" alguno, pero slo uno", por ejemplo:
"Vas a ir maana a Mxico o a Espaa?". En lgica, a esto se le llama" disyuncin exclusiva" u
"o exclusivo". Cuando se utiliza formalmente, "o", permite que uno o ms de los elementos de la
disyuncin sean vlidos, por lo cual "o" es tambin llamado "disyuncin inclusiva.
Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como
o, o...o... , bien...bien... , ya...ya...., etctera o cualquiera que equivalga al sentido que en
el lenguaje natural tiene la conjuncin o -que viene a significar que ocurre una de las cosas que
estamos diciendo-, se escribe el smbolo v entre las dos variables proposicionales que une.

19

Ejemplos
Juan o Pedro van al cine - p v q
Quiz sea mejor que vengas los lunes o los mircoles - r v s
O estos apuntes son los de lgica o los de metafsica - t v w
p = El nmero 2 es par

q = la suma de 2 + 2 es 4

Entonces: pvq: El nmero 2 es par o la suma de 2 + 2 es 4

p = La raz cuadrada del 4 es 2 q = El nmero 3 es par
Entonces: pvq: La raz cuadrada del 4 es 2 o el nmero 3 es par

20

Implicacin o condicional
El condicional material es un operador que opera sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la
primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa
por p q

Tabla 10

Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como
si,

si...entonces,

cuando,

porque,

con

tal

que,

...por

tanto...,

...en

consecuencia...., ...se infiere..., ...se deduce..., ...se deriva..., ...se demuestra..., etctera
o cualquiera que equivalga al sentido que en el lenguaje natural tienen las expresiones
condicionales -que viene a significar que de las cosas que estamos diciendo ocurre por culpa, a
causa de la otra-, se escribe el smbolo entre las dos variables proposicionales que une.
Nota: Los condicionales tienen un componente temporal - lgicamente temporal, podramos
decir-, lo que llamamos el antecedente tiene que ocurrir antes, darse previamente, como
condicin para que ocurra el consecuente, aunque en el lenguaje natural lo digamos al contrario;
en el ejemplo segundo, la r se refiere a Tu estars mejor. Los lobos allan cuando hay luna
llena no quieren decir que la luna sale cuando escucha el aullido, sino al revs entiendes? pues
siempre la que va primero es la causa de la segunda.

21

Ejemplos

Si Juan va al cine, entonces Pedro va - p q

Quiz sea mejor que vengas los lunes porque estars mejor - r s

Los apuntes tienen smbolos raros, en consecuencia son los de lgica - t w

p: llueve q: hay nubes

pq: si llueve entonces hay nubes

p: Hoy es mircoles q: Maana ser jueves

pq: Si Hoy es mircoles entonces Maana ser jueves

22

Biocondicional o doble implicacin

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de
verdad, tpicamente 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 difieren.

Tabla 11

Regla de formalizacin del lenguaje natural: Las expresiones del lenguaje natural tales como
...si y solo si..., ...equivale a..., ...es igual a..., ...vale por...., ...es lo mismo que...,
...significa que..., etctera o cualquiera que equivalga al sentido que en el lenguaje natural
tienen las expresiones que signifique equivalencia -que viene a significar que de las cosas que
estamos diciendo que son lo mismo-, se escribe el smbolo entre las dos variables
proposicionales que une.
Ejemplos
p: 10 es un nmero impar q: 6 es un nmero primo
pq: 10 es un nmero impar si y solo si 6 es un nmero primo
p: 3 + 2 = 7 q: 4 + 4 = 8
pq: 3 + 2 = 7 si y solo si 4 + 4 = 8

Juan va al cine si y solo si Pedro va - p q

Que vengas los lunes es lo mismo que vengas los martes - r s
Los apuntes de lgica de Javi son los mismos que los de Miguel - t w

23

Silogismos Categricos
Los silogismos categricos son el razonamiento deductivo empujado por una tcnica de
dos premisas que llevan a una conclusin. En otras palabras es una tcnica deductiva para un
nuevo conocimiento.
premisa es un oracin que se convierte en un juicio
Juicio es una aprobacin o negacin
Se dice que un silogismo categrico est en forma estndar cuando satisface las siguientes
condiciones:
Las premisas y conclusin son proposiciones categricas que conservan el Siguiente orden:
1. la premisa mayor se enuncia primero, luego
2. la premisa menor y
3. al final la conclusin
Ejemplo: dentro de las oraciones vamos hallar el sujeto y el predicado

La expresin que aparece predicada por la expresin por lo tanto: es la conclusin del silogismo,
y se identifica el sujeto y el predicado y se obtiene el trmino menor y mayor.
Entonces: la premisa mayor es la que aporta el predicado de la conclusin y la premisa menor
es la que aporta el sujeto de la conclusin; el trmino medio es el conocimiento que se comparte
en las dos premisas y se elimina.

24

Figuras del silogismo

Figuras son las formas que reviste el silogismo segn la posicin que el trmino medio
ocupe en las premisas. Hay cuatro figuras posibles, puesto que el trmino medio puede ser: 1
sujeto de la mayor y predicado de la menor; 2 predicado de la mayor y de la menor; 3 sujeto de
la mayor y de la menor; 4 predicado de la mayor y sujeto de la menor.

Figura 1

Leyes
La prueba de las leyes se realiza aplicando las reglas del silogismo.
a) Leyes de la primera figura: La premisa menor debe ser afirmativa y la mayor universal.
b) Leyes de la segunda figura: Una premisa debe ser negativa y la mayor debe ser universal.
c) Leyes de la tercera figura: La premisa menor debe ser afirmativa y la conclusin particular.
d) Leyes de la cuarta figura: Cuando la premisa mayor es afirmativa, la menor debe ser universal;
si la menor es afirmativa, la conclusin debe ser particular; si la conclusin es negativa, la mayor
debe ser universal.
En el ejemplo anterior podemos decir que se aplica la tercera figura por que la premisa menor
es afirmativa y la conclusin es particular afirmativa.

25

Problema Grupal
La convivencia social se deteriorar sensiblemente. Las razones son claras: no hay duda de que si
hay alza general de salarios no se podr contener el desempleo, y si hay paro general no se
alcanzarn las metas de produccin. Sin embargo, las ms recientes intervenciones del ministro
de Hacienda y de los sindicalistas indican que habr alza general de salarios, pero insuficiente
para evitar el paro general. Pero se alcanzarn las metas de produccin. Lamentablemente, si no
puede contenerse el desempleo, o si hay alza general de salarios, la convivencia social se
deteriorar sensiblemente.
Solucin.
Primero se le asignan las variables a las preposiciones. Debemos tener en cuenta que una
preposicin es una oracin que posee un nico valor de verdad. En el enunciado encontramos las
proposiciones:
P: La convivencia social se deteriorara sensiblemente
Q: Habr alza general de salarios
R: Se contendr el desempleo
S: Habr paro nacional
T: Se alcanzaran las metas de produccin
No son proposiciones:
- Las razones son claras: no hay duda de que: esto en un conector entre P, Q y R. Esa frase
nos indica que en la oracin La convivencia social se deteriorara sensiblemente. Las razones
son claras: No hay duda de que si hay alza de general de salarios no se podr contener el
desempleo, y si hay paro general no se alcanzaran las metas de produccin.; lo que esta antes
sucede a causa de lo que esta despus de la frase hasta el punto.

26

- Sin embargo: esto es sinnimo de pero por lo tanto es un conector.

- las ms recientes intervenciones del ministro de hacienda y de los sindicalistas: Esto es
una declaracin. Se omite.
Del enunciado podemos deducir que: Si la convivencia social se deteriorara sensiblemente
entonces no habr alza general de salarios. Sin embargo, si se contiene el desempleo entonces no
habr paro nacional. Lo que nos indica que la convivencia social se deteriorara sensiblemente y
se contendr el desempleo pero habr paro nacional. Lamentablemente, si no puede contenerse el
desempleo, o si hay alza general de salarios, la convivencia social se deteriorar sensiblemente.
En base a esto podemos sacar la siguiente ecuacin:
( p q) ( r s) (p r s) [ (q p) t ]

27

Ahora se realiza la tabla de verdad, para determinar si se trata de tautologa, contradiccin o

contingencia.

P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

Q
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

R
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

S
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

T
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

Q
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

S
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
v
v

(P Q)
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

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

(RS)
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V

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

(P R S)
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

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

[(Q P)
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

Ya constituida la tabla de la verdad evidenciamos que el enunciado es una Contingencia.

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

T]
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

28

Problemas individuales
1. Deiver Guzmn Gordillo
Si el asalto ocurri despus de las 4 de la maana, pero antes de las 5, entonces los guardianes se
haban quedado dormidos. Si ocurri a una hora diferente entonces los guardianes son cmplices
necesario; en tal circunstancia, hay personas externas involucradas. Por tanto, si los guardias no
se quedaron dormidos, el asalto involucra a personas externas.
Solucin
a) Encontramos las proposiciones asignamos una variable a cada proposicin as:
Si el asalto ocurri despus de las 4 de la maana, pero antes de las 5, entonces los guardianes se
haban quedado dormidos. Si ocurri a una hora diferente entonces los guardianes son cmplices
necesario; en tal circunstancia, hay personas externas involucradas. Por tanto, si los guardias no
se quedaron dormidos, el asalto involucra a personas externas.
b) Construimos la variable:
p: el asalto ocurri despus de las 4 de la maana.
q: el asalto ocurri antes de las 5.
r: el asalto ocurri en una hora diferente.
s: los guardianes se haban quedado dormidos.
t: los guardianes son cmplices.
u: el asalto involucra a personas externas.
c) Expresamos la formula por extensin:
{[(p q) s] [ r t) u]} [( s) u]
d) Para saber cuntas columnas construimos debemos utilizar la frmula de
(2)^n as:
2^6=2x2x2x2x2x2=64 filas

29
p
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

q
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

r
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F

F
Tabla 12

s
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F

t
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F

u
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

30
p
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

q
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

s
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

r
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f

t
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f

u
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

{[ ( p
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

q)
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

Tabla 13

s ]
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

[ ( r
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

t )
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

u ]}
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

[ ( s)
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

u]
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
F
T
T
T
T

31

e) Luego de la solucin de la tabla se evidencia que esta es una contingencia ya que son
aquellas frmulas cuyo valor de verdad o falsedad depende de la valoracin de los smbolos
proposicionales que contiene.

32

2. Dora Patricia Snchez

Sofa conversaba a travs de Skype con su compaera de grupo colaborativo respecto a la
finalizacin del periodo acadmico. Luisa le comenta, si apruebo el curso de Pensamiento Lgico
y Matemtico ser porque mis actividades cumplieron con la rbrica o ser que mi hermana hizo
bien mis tareas., no es el caso que mi hermana haya hecho mis tareas, luego mis actividades
cumplieron con la rbrica.
Solucin.
P=si apruebo el curso de Pensamiento Lgico y Matemtico
Q=ser porque mis actividades cumplieron con la rbrica
R=o ser que mi hermana hizo bien mis tareas
{[p (q v r)] ~r}q
n3= 23 = 8

Tabla 14

La tabla nos muestra que el problema es una Contingencia.

33

3. Eliseo Serrato Martnez

Si tuvieran que justificarse ciertas acciones por su relevante tradicin entonces, si estas acciones
son inocuas y respetan a todo ser vivo y al medio ambiente, no habra ninguna dificultad. Pero si
las acciones son crueles o no respetuosas con los seres vivientes o el medio ambiente, entonces
habra que dejar de justificarlos o no podramos considerarnos dignos de nuestro tiempo.
Solucin.
a) Clasificacin de los trminos.
Si tuvieran que justificarse ciertas acciones por su relevante tradicin entonces, si estas acciones
son inocuas y respetan a todo ser vivo y al medio ambiente, no habra ninguna dificultad.
p: justificarse ciertas acciones por su relevante tradicin
q: estas acciones son inocuas
r: respetan a todo ser vivo
s: al medio ambiente
t: habra dificultades
Primer parte = {p ((qr) s t)}
Pero si las acciones son crueles o no respetuosas con los seres vivientes o el medio ambiente,
entonces habra que dejar de justificarlos o no podramos considerarnos dignos de nuestro
tiempo.
q: las acciones son crueles= nocivo o cruel es antnimo de inocuo por lo que se niega.
r: no respetuosas con los seres vivientes
s: el medio ambiente
p: habra que dejar de justificarlos
u: no podramos considerarnos dignos de nuestro tiempo.

34

Segunda parte= ((qr)s) (pu)

{p ((qr) s t)} ((qr)s) (pu)
b) Determinacin del problema.
Se construye La tabla en base a la formula 2n, donde n es el nmero de variables, entonces:
26=222222= 64, por lo tanto la tabla debe contener 64 filas. Luego se le asigna a cada
variable las probabilidades de verdad, de la siguiente manera:
p
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

q
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F

r
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F

s
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F

t
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V

u
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

35

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

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

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

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

Tabla 15

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

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

36

c) Anlisis y desarrollo del problema.

Para la solucin de la tabla segn la frmula que se realiz teniendo en cuenta lo anterior
procedemos a construir la tabla con la formula. Para su solucin debemos tener claro que primero
se debe solucionar las frmulas que se encentran entre parntesis y que las operaciones son:
y =: Es verdadero cuando las dos variables son verdaderas.
o =: Es falsa cuando las dos variables son falsas.
No =: Al negar, los valores de verdad de una variable serian opuestos.
Si: Es falso cuando las variables de la formula van de verdadero a falso.
O bien = : Es falso cuando las dos proposiciones tienen el mismo valor.
d) Desarrollo del problema
p
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

q
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F

r
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F

s
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F

t
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V

u
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

{P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

((q r) s
V V V V V V V
V V V V V V V
F V V V F V F
F V V V F V F
V V V V V F V
V V V V V F V
V V V V V F V
V V V V V F V
F V F F F V V
F V F F F V V
F V F F F V F
F V F F F V F
F V F F F F V
F V F F F F V
F V F F F F V
F V F F F F V
F F F V F V V
F F F V F V V
F F F V F V F
F F F V F V F
F F F V F F V
F F F V F F V
F F F V F F V
F F F V F F V
F F F F F V V
F F F F F V V
F F F F F V F
F F F F F V F
F F F F F F V

t)}
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V

((q v r) v s) (p v u)
V V V V V V V F V V
F V V V V V F F F F
F V V V V V V F V V
F V V V V V F F F F
V V V V V F V F V V
F V V V V F F F F F
V V V V V F V F V V
F V V V V F F F F F
F V V F V V V F V V
F V V F V V F F F F
F V V F V V V F V V
F V V F V V F F F F
F V V F V F V F V V
F V V F V F F F F F
F V V F V F V F V V
F V V F V F F F F F
F F V V V V V F V V
F F V V V V F F F F
F F V V V V V F V V
F F V V V V F F F F
F F V V V F V F V V
F F V V V F F F F F
F F V V V F V F V V
F F V V V F F F F F
F F F F V V V F V V
F F F F V V F F F F
F F F F V V V F V V
F F F F V V F F F F
F F F F F F V F V V

37
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

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

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

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

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

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

F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
4

La respuesta es una contingencia.

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

F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
1

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

F F V
F F V
F F V
V V V
V V V
F V F
F V F
V F V
V F V
V F V
V F V
F V V
F V V
F V F
F V F
F F V
F F V
F F V
F F V
F V V
F V V
F V F
F V F
F F V
F F V
F F V
F F V
F V V
F V V
F V F
F V F
F F V
F F V
F F V
F F V
3
2
Tabla 16

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

F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
R

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

F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
5

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

F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
6

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

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
8

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

F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
7

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

38

4. Jeimmy Andrea Duque

Frente a un proceso disciplinario en la UNAD a unos estudiantes por irregularidades en las
Pruebas Nacionales, se gener la siguiente reflexin. Si el reloj est adelantado, entonces Sara
termin el examen nacional antes de las seis y vio salir del saln a Mnica. Si Mnica dice la
verdad, entonces Sara no vio salir del saln a Mnica. O Mnica dice la verdad o estaba en la
Universidad en el momento del plagio de las respuestas. El reloj est adelantado. Por tanto,
Mnica estaba en la Universidad en el momento del plagio.
Solucin.
a) Identificamos las proposiciones del enunciado
Si el reloj est adelantado, entonces Sara termin el examen nacional antes de las seis y vio salir
del saln a Mnica. Si Mnica dice la verdad, entonces Sara no vio salir del saln a Mnica. O
Mnica dice la verdad o estaba en la Universidad en el momento del plagio de las respuestas. El
reloj est adelantado. Por tanto, Mnica estaba en la Universidad en el momento del plagio.
Las proposiciones seran las subrayadas en rojo y lo subrayado en verde seria la igualdad o
conclusin del enunciado que est compuesto por dos proposiciones.
b) Le asignamos una variable a cada proposicin.
P= El reloj esta adelantado. Q= Sara termino el examen nacional antes de la seis
R= Sara vio salir del saln a Mnica S= Mnica dice la verdad
T= Mnica estaba en la Universidad en el momento del plagio
c) Teniendo en cuenta los conectores lgicos (: Sientonces; : si y solo s; : y; : o; :
no), pasamos el enunciado a una formula.
{[P (QR) (SR)] (ST)} (P T)

39

d) Ahora, se construye la tabla de la verdad en base a esta frmula. Para establecer el nmero
de combinaciones de la tabla seguimos la formula 2n, donde n es el nmero de variables,
entonces: 25=22222=32, por lo tanto la tabla debe contener 32 filas. Luego se le asigna a
cada variable la probabilidades de verdad, de la siguiente manera:
P Q R S T
V V V V V
V V V V F
V V V F V
V V V F F
V V F V V
V V F V F
V V F F V
V V F F F
V F V V V
V F V V F
V F V F V
V F V F F
V F F V V
V F F V F
V F F F V
V F F F F
F V V V V
F V V V F
F V V F V
F V V F F
F V F V V
F V F V F
F V F F V
F V F F F
F F V V V
F F V V F
F F V F V
F F V F F
F F F V V
F F F V F
F F F F V
F F F F F
Tabla 17

e) Teniendo En cuenta lo anterior procedemos a construir la tabla con la formula. Para su

solucin debemos tener claro que primero se debe solucionar las frmulas que se encentran entre
parntesis y que las operaciones son:

40

: Es verdadero cuando las dos variables son verdaderas.

: Es falsa cuando las dos variables son falsas.
: Al negar, los valores de verdad de una variable serian opuestos.
: Es falso cuando las variables de la formula van de verdadero a falso.
: Es falso cuando las dos proposiciones tienen el mismo valor de verdad
Entonces s, {[P (QR) (SR)] (ST)} (P T) la tabla seria:

{[P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

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

(Q
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

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

R)
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

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

(S
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

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

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
Tabla 18

R)]
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

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

(S
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

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

T)}
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

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

(P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

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

T)
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

41

f) Ya Construida la tabla y evidenciando que los valores de verdad de la conclusin del

enunciado (PQ) no son solo verdad ni solo falsedad, se establece que la probabilidad de verdad
del enunciado y como tal de la tabla es de Contingencia, es decir: Se entiende por verdad
contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa,
(combinacin entre tautologa y contradiccin) segn los valores de las proposiciones que la
integran.

42

5. Quelin Johana Reyes Miranda

Fui a solicitar un crdito educativo para ingresar a la UNAD y la asesora comercial me dice lo
siguiente. En las entidades financieras, nadie confa en las personas que nunca pagan sus deudas.
Pero se sabe adems que, todo el mundo cuenta con la confianza de sus familiares. Por lo tanto,
en las entidades financieras otorgan crditos, porque cualquiera que tenga familia paga alguna de
sus deudas.
a) Identificar los tres trminos
1. Nadie confa en las personas que nunca pagan sus deudas
2. Todo el mundo cuenta con la confianza de sus familiares
3. Cualquiera que tenga familia paga alguna de sus deudas
b) Convertir la oracin a lenguaje simblico y/o utilizar los conectores lgicos.
P. Nadie confa en las personas que nunca pagan sus deudas
Q. Todo el mundo cuenta con la confianza de sus familiares
R. Cualquiera que tenga familia paga alguna de sus deudas
(P Q) R

c) Realizar tabla de verdad para determinar si es tautologa, contradiccin o contingencia

Formula: 2n

Conjuncin

Condicional

P Q PQ
V V
V

P Q
V V

(PQ) R
V

V F

V F

F V

F V

F F

F F

Tabla de verdad

23 = 8
P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

R
V
F
V
F
V
F
V
F

(P Q)
V
V
F
F
F
F
F
F

(P Q) R
V
F
V
V
V
V
V
V

Observamos que el resultado final es una Contingencia por que la equivalencia de sus
proposiciones es verdadera y falsa a la vez.

43

Conclusiones
-

La lgica proposicional nos permite identificar mediante el anlisis, comprensin,

desarrollo y/ razonamiento de las diferentes operaciones la veracidad o falsedad de un

pensamiento desde las siguientes temticas: conceptos de proposicin, tablas de verdad,
tautologa, contradiccin, contingencia, cuantificadores y proposiciones categricas,
silogismos categricos.
-

Elaborar mediante dos proposiciones tablas de verdad definiendo si es tautologa,

contradiccin, contingencia.

44

Bibliografa
31bogotano. (Septiembre de 2011). Youtube. Recuperado el 18 de Noviembre de 2015, de
https://www.youtube.com/watch?v=Cnz-w72E8Js
Datateca UNAD. (2013). Recuperado el 18 de Noviembre de 2015, de
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/capitulo_3_cuantificadores_y_pro
posiciones_categricas.html
Discrete Mathematics. (Abril de 2015). Recuperado el 17 de Noviembre de 2015, de
https://matediscretasu3.wordpress.com/2011/10/16/3-1-3-tablas-de-verdad/
Ejemplode. (2013). Recuperado el 17 de Noviembre de 2015, de
http://www.ejemplode.com/29-logica/2381-ejemplo_de_proposiciones.html
EMCPO. (Septiembre de 2013). Youtube. Recuperado el 17 de Noviembre de 2015, de
https://www.youtube.com/watch?v=4rZ2VY8rOww
Garcia, J. (Abril de 2015). Youtube. Recuperado el 17 de Noviembre de 2015, de
https://www.youtube.com/watch?v=fdnio79sEmo
Rendon, A. (Octubre de 2011). Logica Matematica. Recuperado el 17 de Noviembre de 2015, de
https://angelarendon.wordpress.com/2011/10/20/3-1-1-concepto-de-proposicion-2/
Villa, R. (Marzo de 2015). Youtube. Recuperado el 18 de Noviembre de 2015, de
https://www.youtube.com/watch?v=uDk0LLIlyoU
Barcel, A. (Marzo de 2012). Filosoficas. Recuperado el 18 de Noviembre de 2015, de
http://www.filosoficas.unam.mx/~abarcelo/INTENSIONAL
Lara, J. (Septiembre de 2007). Junta de andalucia. Recuperado el 19 de Noviembre de 2015, de
http://www.juntadeandalucia.es/averroes/ies_sancti_petri/files/filosofia/BLOQUEIIIELCONOCIMIENTO/
TEMA12LOGICA1.pdf
Lopez, F. (s.f.). Scrib. Recuperado el 18 de Noviembre de 2015, de
http://es.scribd.com/doc/95488236/CONJUNCION-LOGICA#scribd
Rendon, A. (Octubre de 2011). Logica Matematica. Recuperado el 19 de Noviembre de 2015, de
https://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-contradiccion-y-contingencia-2/
Wikipedia. (s.f.). Recuperado el 18 de Noviembre de 2015, de
https://es.wikipedia.org/wiki/Tabla_de_verdad
Zector0k. (Octubre de 2011). Matematica Discreta. Recuperado el 18 de Noviembre de 2015, de
https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestas-disyuncion-conjuncionnegacion-condicional-bicondicional/