1

LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES

COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES, PROPOSICIONES

CATEGRICAS.

DERLI DANIELA GUALTEROS

C.C. 00000000000.
OSCAR ALEXANDER ROJAS
C.C. 00000000000000

VLADIMIR CUBILLOS SANCHEZ

C.C.79715558

++++++++++++++++++++++++
C.C.000000000000

Grupo: 200611A_614

Universidad Nacional Abierta y a Distancia-UNAD

Escuela de Ciencias Bsicas Tecnologas e Ingenieras

Pensamiento Lgico Matemtico

2015

.
 2

Contenido

Concepto de proposicin lgica. Proposiciones simples y compuestas ......................... pg. 3

Las cuatro Tablas de verdad: conjuncin, disyuncin, implicacin y bicondicional. pg. 4-5
Tautologas, contradicciones y contingencias. .............................................................. pg. 6
Cuantificadores y proposiciones categricas. ........................................................... pg. 7-13
Silogismos categricos. .......................................................................................... pg. 14-18
Segundo aporte individual ........................................................................................... pg. 19
Ejercicio 1 ............................................................................................................... pg. 19-21
Ejercicio 2 ..................................................................................................................... pg. 22
Ejercicio 3 ..................................................................................................................... pg. 23
Ejercicio 4 ..................................................................................................................... pg. 24
Ejercicio 5 ..................................................................................................................... pg. 25
Tercer Aporte Individual .............................................................................................. pg. 26
Enunciado a. ................................................................................................................. pg. 26
Enunciado b .................................................................................................................. pg. 27
Enunciado c ................................................................................................................. pg. 28
Enunciado d ................................................................................................................. pg. 29
Enunciado e .................................................................................................................. pg. 30
Fase grupal .............................................................................................................. pg. 30-33
Bibliografa.pg.34
 3

Concepto de proposicin lgica. Proposiciones simples y compuestas.

La proposicin es una oracin con cierta informacin de la cual podemos deducir si es falsa o verdadera.

Las proposiciones se pueden representar con letras del alfabeto en minscula Ejemplo: p, q, r, s, t, u, v, x, y, z, entre otras, llamadas letras
o variables.

Las proposiciones se pueden clasificar en simples o automticas y compuestas o moleculares.

Cuando las oraciones no utilizan conectivos lgicos se les llama proposiciones simples o atmicas, en donde puede ser verdadera o falsa
pero no verdadera y falsa.

Ejemplo: p: Gabriel Garca Mrquez es un escritor.

q: Gabriel Garca Mrquez es un lector.

r: El 5 y el 10 son divisores de 30.

s: La raz cuadrada de 9 es 3.

t: El -50 es el inverso aditivo de 50

Cuando las oraciones se enlazan y combinan 2 o ms proposiciones simples se les denominan proposiciones compuestas y se pueden definir
si son falsas o verdaderas por cada proposicin simple que tenga y de cmo se combinen.

Ejemplo: p q: Gabriel Garca Mrquez es un escritor y lector.

r: corre

s: hace ejercicio

r s: Si corre entonces hace ejercicio.

______________________________________________________________

t : El 5 es divisor de 30

u: El 10 es divisor de 30.

t u: El 5 es divisor de 30 o El 10 es divisor de 30. -

______________________________________________________________

x:Tengo plata

y: cojo taxi.

x y : Cojo taxi si y solo si tengo plata.

Las cuatro tablas de la verdad.

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, que se
pueda asignar, de diferentes razonamientos lgicos.

Los enunciados se identifican con letras del alfabeto, usualmente las de la segunda mitad del alfabeto: p, q, r, t, etc.

Puede usarse cualquier smbolo para identificar a los enunciados.

Qu es una preposicin?

Es un lenguaje una frase que es natural, y al cual se le verifica si tiene una verdad o falsedad

Ejemplo: hoy es martes, todos los nmeros son positivos

Una proposicin es una afirmacin.

Conectivos

Para empezar debemos de conocer los Smbolos de las conectivas:

 4

NEGACION: se lee No es cierto que

CONJUNCION: se lee y

DISYUNCION: v, se lee o

BICONDICIONAL: se lee si y solo si

IMPLICACION: se lee sientonces

DISYUNCION

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proporciones, devolviendo
el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

Ejemplo: Juanita, te dejo salir a jugar cuando arregle la cama o si sacudes el polvo.

La tabla de la verdad de la disyuncin es la siguiente:

P q Pvq
V V V
V F V
F V V
F F F

CONJUNCION

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
verdadero cuando ambas son verdaderas.

Ejemplo:

Adriana, podrs salir a la calle cuando arregles la cama y limpies la cocina.

La tabla de la verdad es la siguiente

p q p^ q
V V V
V F F
F V F
F F F

CONDICIONAL O IMPLICACION

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 tabla de la vedad condicional es la siguiente:

p q p q
V V V
V F F
F V V
F F V

BICONDICINALES

El bicondicional 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 d
verdad difieren.

La tabla de verdad del bicondicional es la siguiente:

 5

p q P q
V V V
V F F
F V F
F F V
Tautologas, contradicciones y contingencias

Tautologa

Es una proposicin que es afirmativa en todos los casos.

Cuando en la tabla de verdad vemos el resultado solo verdad es una tautologa.

Contradicciones

Es cuando una proposicin compuesta que tiene como resultado F en todos los casos.

Contingencias

Es una proposicin que en algunos casos es verdadera y en otros es falsa.

 6

Cuantificadores y proposiciones categricas

CUANTIFICADORES

Los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de elementos de un conjunto dado cumplen con cierta
propiedad. Existen muchos tipos de cuantificadores, entre los ms utilizados estn:

En los cuantificadores podemos encontrar proposiciones abiertas, que pueden ser verdaderas o falsas, a continuacin tenemos dos
ejemplos.

= 1

Cuantificador universal ()

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

Ejemplo:

(x =1) / ( x + 4 = 4 + x ) significa que todo "x" verifica la ecuacin

Nota: esta expresin 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 ecuacin

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

PROPOSICIONES CATEGRICAS

Una Proposiciones categricas es un enunciado que consta de dos Proposiciones las cuales actan una como sujeto y otra como
predicado.

Ejemplos:

Ningn soltero es casado

Algunos mazdas no Son fabricados en Japn

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de lgica, conocida como aristotlica, tradicional, o
de silogismos categricos.
 7

Existen cuatro clases de proposiciones categricas. Usando S y P como smbolos, estas son:

Proposicin categrica Representacin

Universal afirmativa Todos S son P

Universal negativa Ningn S es P

Particular afirmativa Algunos S son P

Particular negativa Algunos S no son P

Ejemplos:

Todos los poetas son filsofos

Ningn poeta es filsofo
Algunos poetas son filsofos
Algunos poetas no son filsofos

REPRESENTACION DE LAS PROPOCICIONES CATEGORICAS

Presentacin de los cuatro tipos de proposiciones categricas

Particulares negativas

Caso 1: Todo S es P.

La parte del crculo S que esta fuera de P representa todos los S que no son P

Todo S es P

Escritura en Forma Lgica: (x )(SxPx)

Caso 2: Ningn S es P o ningn P es S.

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

Ningn S es P

Ningn P es S

Escritura en Forma Lgica: (x )(SxPx)

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

 8

Algn S es P

Algn P es S

Escritura en Forma Lgica: (x)(Sx Px)

Caso 4: Algn S no es P

Algn S no es P

Escritura en Forma Lgica: (x)(Sx Px)

Algn P no es S

Escritura en Forma Lgica: (x)(Px Sx)

CLASIFICACIN DE LAS PROPOSICIONES CATEGRICAS

Proposicin Categrica Universal Afirmativa

"Todos los conductores de automviles que no son seguros son personas temerarias que ponen en peligro la vida de los dems"

Analicemos el ejemplo:

Si examinamos detenidamente la proposicin categrica anterior, nos podemos dar cuenta de que este se compone de 2 proposiciones:

1. Los conductores de automviles inseguros

2. Personas temerarias que ponen en peligro la vida de los dems

Vemos entonces que existe una predicado y un sujeto

P: Los conductores de automviles inseguros

S: Personas temerarias que ponen en peligro la vida de los dems

 9

De esta manera concluimos que:

Todo S es P

Proposicin Categrica Universal negativa

Todos los conductores de automviles son responsables y no son personas temerarias que arriesgan la vida de los dems.

Analicemos el ejemplo:

En este nuevo caso nos damos cuenta otra ves que la proposicin categrica anterior la compone de 2 proposiciones:

1. conductores responsables

2. Personas temerarias

Vemos entonces que existe una predicado y un sujeto

S: conductores responsables

P: Personas temerarias

De esta manera concluimos que:

Ningn S es P

Proposicin categrica afirmativa particular

Algunos estudiantes van del colegio a la universidad.

Analicemos el ejemplo:

Este nuevamente se compone de 2 proposiciones:

1. Estudiantes de colegio

2. Estudiantes de universidad

Vemos entonces que existe una predicado y un sujeto

S: Estudiantes de colegio

P: Estudiantes de universidad
 10

As concluimos que:

Algn S es P

Proposiciones categricas Negativa Particular

algn nmero real no es positivo.

Analicemos el ejemplo:

Este nuevamente se compone de 2 proposiciones:

1. Nmero real

2. Numero negativo

Vemos entonces que existe una predicado y un sujeto

S: Numero negativo

P: Nmero real

As concluimos que:

Algn S no es P

Conclusin.

Sobre las proposiciones categricas universales y particulares, cada una de ellas cuenta con una cualidad y una cantidad, entendindose
por cualidad su condicin [positivas o negativas] 0 [afirmacin o negacin], entendindose por cantidad su condicin [universal o
particular] 0 [todos o algunos].

SILOGISMOS CATEGORICOS

Un silogismo categrico es una forma de razonamiento deductivo que consta de dos proposiciones que actan como premisas y otra que
acta como conclusin, la cual es necesariamente deducida de las otras dos. De esta forma en el silogismo categrico existen tres
trminos caractersticos;

1) El trmino menor, que se reconoce por desempear la funcin de sujeto en la conclusin. Se simboliza por la letra mayscula S.

2) El trmino mayor, que se reconoce por desempear la funcin de predicado en la conclusin. Se simboliza por la letra mayscula P.
 11

3) El trmino medio, que se reconoce porque no aparece en la conclusin y sirve para establecer la relacin entre las premisas. Se

simboliza por la letra mayscula M.

Cada trmino aparece en dos proposiciones:

a) El trmino mayor aparece en una premisa llamada por eso premisa mayor y como predicado de la conclusin.

b) El trmino medio aparece en las dos premisas desempeando cualquier funcin (sujeto o predicado).

c) El trmino menor aparece en una premisa llamada por eso premisa menor y como sujeto en la conclusin

FIGURAS DEL SILOGISMO

La figura del Silogismo es la estructura del silogismo que depende de la posicin del trmino medio en las premisas. Hay cuatro figuras
en el silogismo categrico:

Primera figura: Que se da cuando el trmino medio ocupa el lugar del sujeto en la premisa mayor y el del predicado en la menor.

Segunda figura: Que se da cuando el trmino medio desempea el papel de predicado en ambas premisas.

Tercera figura: Que se da cuando el trmino medio desempea el papel de sujeto en ambas premisas.

Cuarta figura: Que se da cuando el trmino medio desempea el papel de predicado en la premisa mayor y el sujeto en la menor.

Esquema del silogismo.

Primera Segunda Tercera Cuarta

MP PM MP PM

SM SM MS MS

SP SP SP SP

MODOS VALIDOS DEL SILOGISMO.

Para representar los modos vlidos del silogismo categrico se han formulado ciertas palabras mnemotcnicas que facilitan su

identificacin.

En esas palabras, distintas para cada figura, las letras vocales simbolizan las proposiciones que componen el silogismo en el siguiente

orden: premisa mayor, premisa menor y conclusin. Las palabras en cuestin son:

En primera figura: En segunda figura

 12

BARBARA CESARE

CELARENT CAMESTRES

DARIIFERIO FESTINO

BAROCO

En tercera figura: En cuarta figura:

DARAPI BAMALIP

FELAPTON CALEMES

DISAMIS DIMATIS

DATISI FESAPO

BOCARDO FRESISON

FERISON

FORMAS DEL SILOGISMO CATEGORICO

Se puede decir de un silogismo que es categrico cuando cumple con una de las siguientes 4 formas.

Universal afirmativa (proposiciones-A): Todo S es P

Universal negativa (proposiciones-E): Ningn S es P

Particular afirmativa (proposiciones-I): Algunos S son P

Particular negativa (proposiciones-O): Algunos S no son P

Ejemplo:

1-Todos los perros son animales. Todo M es S

2-Algunos perros son negros. Algunos M son P

3-Por lo tanto, algunos animales son negros. Por lo tanto, algunos S son P

Los silogismo categricos se pueden representar grficamente diagramando las clases a las que pertenecen, de tal forma que el diagrama
es de una clase, no de una proposicin, para realizar esta representacin se utiliza un crculo marcado con el trmino que designa la clase,
por ejemplo la clase S s grafica as:
 13

Para diagramar la proposicin de que S no tiene miembros, o de que no hay S, se sombrea todo el crculo que representa S, lo cual indica
que no contiene nada, que es vaca:

y, para graficar la proposicin que existen S, que se interpreta en el sentido de que hay por lo menos un miembro de la clase S, se coloca
una x en cualquier parte en el interior del crculo que representa a S, lo cual indica que s hay algo dentro de l, que no est vaco:

Forma Estndar de un silogismo Categrico

Se dice que un silogismo categrico est en forma estndar cuando satisface las siguientes condiciones:

-Las premisas y la conclusin conservan el siguiente orden: premisa mayor, premisa menor y conclusin.

-La conclusin contiene dos de los tres trminos del silogismo.

-Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.

Por ejemplo, el siguiente argumento es un silogismo categrico en forma estndar:

1. Ningn hroe es cobarde.

2. Algunos soldados son cobardes.

3. Por lo tanto, algunos soldados no son hroes.

El argumento es un silogismo categrico porque consiste en tres proposiciones categricas (dos premisas y una conclusin) que contienen

exactamente tres trminos (hroe, cobarde y soldado), cada uno de los cuales slo aparece en dos de las proposiciones que lo

constituyen. Para saber si el silogismo categrico est en forma estndar, es necesario identificar el trmino mayor, el trmino menor, la

premisa mayor, la premisa menor y analizar la conclusin. En este caso el predicado de la conclusin es hroe, que constituye el

trmino mayor, y por consiguiente la premisa mayor es Ningn hroe es cobarde. El sujeto de la conclusin es soldado que es el

trmino menor, por lo tanto la premisa menor es Algunos soldados son cobardes. Adems, la conclusin tiene dos de los tres

trminos del silogismo: soldados y hroes, los trminos mayor y menor aparecen, cada uno, en una premisa diferente, por
 14

consiguiente se puede establecer que este es un ejemplo de silogismo categrico en forma estndar, tambin aparece el trmino cobardes,

al cual se denomina trmino medio.

Ejemplos Silogismos Categricos

Ningn espaol es protestante

Algunos toreros son protestantes

Algunos toreros no son espaoles

El trmino espaoles que aparece como predicado (p) de la conclusin se denomina trmino mayor.

El trmino torero que aparece como sujeto s de la conclusin se denomina termino menor.

El trmino protestantes que no aparece en la conclusin, es el trmino medio M.

Ejemplo 2

Ningn Mamfero respira por branquias

M P

Todos los solpedos son mamferos

S M

Luego ningn solpedo respira por branquias

S P

Figura: MP-SM-SP

Ejercicio 1 Planteamiento y resolucin, punto 1: Anglica se levant el lunes como lo hace

siempre a las 5:30 am para alistarse e irse a trabajar; pero ese lunes la nostalgia se apoder
de ella y sumndole la predisposicin que suele dar el comenzar la semana de trabajo. Pero
ella al mirars al espejo minutos antes de salir de su casa hizo la siguiente reflexin: tengo
calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo un excelent empleo.
Es que en realidad poseo una excelente salud y el trabajo que poseo es excelente. Por
consiguiente, poseo una calidad de vida. Analiza a travs de las tablas de verdad si es
correcta la reflexin que hace Anglica, determinando si es tautologa o contradiccin o
contingencia.
tengo calidad de vida y poseo una buena salud. Y Tengo calidad de vida y poseo un
excelente empleo. ENTONCES Es que en realidad poseo una excelente salud y el trabajo
que poseo es excelente. Por consiguiente, poseo una calidad de vida.
 15

Preposiciones simples

P: tengo calidad de vida y poseo una buena salud

Q: Tengo calidad de vida y poseo un excelente empleo.

R: Es que en realidad poseo una excelente salud y el trabajo que poseo es excelente

S: Por consiguiente, poseo una calidad de vida.

Preposiciones compuestas

tengo calidad de vida y poseo una buena salud. Y Tengo calidad de vida y poseo un
excelente empleo. Por consiguiente, poseo una calidad de vida, ENTONCES Es que en
realidad poseo una excelente salud y el trabajo que poseo es excelente.

1. tengo calidad de vida y poseo una buena salud. Y Tengo calidad de vida y poseo un
excelente empleo

2. Tengo calidad de vida y poseo un excelente empleo. Por consiguiente, poseo una calidad
de vida.

3 Por consiguiente, poseo una calidad de vida. ENTONCES Es que en realidad poseo una
excelente salud y el trabajo que poseo es excelente

Lenguaje simblico

1. (P ^ Q)
2. (Q S)
3. (SR)

Razonamiento en lenguaje formal

[(P ^ Q) ^ (Q S)] (SR)

[(P ^ Q) ^ (Q S)]
P Q R S P^Q QS SR
(P ^ Q) ^ (Q S) (SR)
1 V V V V V V V V V
2 V V V F V F V F V
3 V V F V F V V F V
 16

4 V V F F F F V F V
5 V F V V F V V F V
6 V F V F F V F F V
7 V F F V F V V F V
8 V F F F F V V F V
9 F V V V F V V F V
10 F V V F F F F F V
11 F V F V F V V F V
12 F V F F F F V F V
13 F F V V F V V F V
14 F F V F F V F F V
15 F F F V F V V F V
16 F F F F F V V F V

TAUTOLOGIA

Ejercicio 2

Ejercicio 3

Ejercicio 4
 17

Ejercicio 5

FASE GRUPAL

SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE GRUPAL

Para todos es preocupante la situacin econmica actual que vivimos y que infortunadamente
todo est muy costoso y el dinero no alcanza. Clemencia reflexiona acerca de su proceder
con su propia economa y su esposo reflexiona lo siguiente: Clemencia mi esposa escribe
su lista de gastos y ella consigue un trabajo alterno en otra universidad. Mi esposa viaja en
bicicleta a su trabajo por lo cerca que queda o ella se desplaza caminando. Si Clemencia
escribe su lista de gastos, entonces ella ahorra mucho dinero. Por consiguiente, mi esposa
ahorra mucho dinero. Es claro lo que expresa el esposo de Clemencia? Para dar la respuesta
es necesario elaborar la tabla de verdad de lo que comenta el esposo de Clemencia, si es
tautologa es afirmativo el comentario, si da contradiccin hay falsedad en lo expresado, y si
da contingencia, es porque hace falta informacin para tener asertividad del comentario
hecho.

p q r p^q pvq P => q P=> r ^ q

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

Es contingencia por que hace falta informacin para tener asertividad del comentario
hecho.

ENUNCIADOS

ENUNCIADO B
Todo Espacio Vectorial consta de cantidades vectoriales y escalares.
 18

En el curso de lgebra Lineal todos los enunciados son de Espacios Vectoriales.

En el curso de lgebra Lineal todos los enunciados constan de cantidades vectoriales y
escalares.
A= TODOS LOS ESPACIOS VECTORIALES

B= CONSTAN DE CANTIDADES VECTORIALES Y ESCALARES

C= EN EL CURSO DE ALGEBRA LINEAL TODOS LOS ENUNCIADOS

Bibliografa
 19

(2010). Null, F. El razonamiento lgico en estudiantes universitarios. Zona Prxima. p.40.

Disponible en la Biblioteca virtual de la UNAD:
http://primo.gsl.com.mx:1701/primo_library/libweb/action/display.do?tabs=detailsT
ab&ct=display&fn=search&doc=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6&in
dx=1&recIds=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6&recIdxs=0&elementId
=0&renderMode=poppedOut&displa
Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado de:
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_an
teriores/Modulo/2010_febrero_3_Modulo_de_Logica_v2.pdf
Waner, S. and Costenoble, S. (2015). 2. Equivalencias Lgicas, Tautologas y
Contradicciones. [online] Zweigmedia.com. Available at:
http://www.zweigmedia.com/MundoReal/logic/logic2.html [Accessed 6 Oct. 2015].
Burgos, A. (1983). Iniciacin a la lgica matemtica. Madrid: selecciones cientficas
Garrido, M (1998). Lgica Simblica. Madrid: Tecnos