MOMENTO INTERMEDIO UNIDAD 2 - PASO 2 USO DE LAS TABLAS DE VERDAD

ACTIVIDAD INDIVIDUAL

JEFERSON ADRIAN ORTIZ VASQUEZ, CD. 1.115.949.780

GRUPO: 200611_636

TUTOR:

ING. HUGO HERNANDO DAZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LGICO Y MATEMTICO

PROGRAMA DE PSICOLOGA

FLORENCIA CAQUET

2017
 INTRODUCCIN

La lgica matemtica de acuerdo con el clculo lgico es una serie de operaciones que se realiza
con determinados grupos de signos que manejan la lgica como un clculo mediante el uso
simblico de argumentos algebraicos y representados mediante un diagrama, en relacin a lo
mencionado la lgica simblica tiene como objeto de estudio el razonamiento valido del no valido
utilizando el conocimiento organizado para dar solucin a un problema real de la vida cotidiana.

Por ello, conocer la temtica y aplicar los conceptos para comprobar la valides o invalides de las
proposiciones categricas como fortalecimiento del razonamiento para demostracin de una
proposicin pasada en un problema cotidiano que fortalecen el razonamiento, competencias
argumentativas y posibilitan llegar a una conclusin. En este caso, se conceptualizar parcialmente
algunos conceptos que ayudaran a la solucin de los enunciados problmicos escogidos en los
anexos 1 y 2.
 OBJETIVO GENERAL

Reconocer y aplicar los conceptos para comprobar la valides o invalides de las proposiciones
categricas como fortalecimiento del razonamiento basado en los atributos, propiedades,
semejanzas, lgica y diferencia

Objetivos Especficos:

Representar y aplicar los conocimientos en la demostracin de una proposicin.

Observar y analizar los enunciados planteados pasados en problemas cotidianos para el

fortalecimiento de competencias interpretativas, argumentativas y propositivas para
establecer un lenguaje simblico y los procesos operativos adecuados para llegar a la
respuesta.
Argumentar la validez o invalidez de una situacin por medio de la lgica proposicional
 PRIMERA ETAPA: CONCEPTUALIZACIN DE LA TERMINOLOGA:

CUANTIFICADORES Y PROPOSICIONES CATEGRICAS.

CONCEPTUALIZACIN

UNA PROPOSICIN: Es una oracin sencilla o enunciado en el que se pude asociar verdadero
o falso, pero no ambas.

CATEGORICAS: Si puedes decir de ellas si son verdaderas o falsas.

SIMPLES: son las proposiciones ms sencillas, se refieren a proposiciones o conceptos y no

tienen trminos de enlace, pues expresa una idea simple y clara Ej:

1. Mi nombre es Isabel

2. Florencia es la capital del Caquet

3. El sol es la nica estrella de nuestro sistema solar

4. Un cuadrado tiene 8 lados

COMPUESTA: Son dos o ms proposiciones simples ligadas a una palabra que llamamos
conectivos lgicos, el valor de verdad de la proposicin est dado por el valor de la verdad de las
proposiciones que la forman Ej:

1. Mi nombre es Deyson y mi hermano es Vicente

2. Florencia es la capital del Caquet o Neiva es del Huila

3. Ana Mara es psicloga entonces Steven veterinario

4. Colombia tiene dos mares tambin Panam est rodeado por dos mares

PROPOSICIONES EN LA TABLA DE VERDAD: Para determinar el valor de una proposicin

compuesta, es necesario probar el valor de verdad de las proposiciones simples que la componen.
Al analizar el valor de la verdad de una proposicin simple, contamos con dos posibilidades:
verdadera o es falsa. Si la proposicin es verdadera, entonces su negacin es falsa y viceversa. La
negacin de una proposicin se contiene anteponiendo la frase No es cierto que, Es falso que,
o bien insertando la palabra no a la proposicin dada

Nota: Para graficar en la tabla se empieza por la columna que corresponde a la variable que se
encuentra ms a la derecha, escribimos una V y una F, alternadas, hasta completar el nmero de
reglones. En la columna siguiente columna de la izquierda se forman escribiendo alternadamente
dos veces V y dos F hasta completar los reglones y as sucesivamente de a 2, 4

V V V

V F F

F V V

F F F
CONECTIVOS LGICOS: Son las palabras que sirven para unir proposiciones simples y
compuestas compuestas. Los principales son:

Conjuncin: Simbolizada como & o ^: Es el contenido lgico une las proposiciones simples y se
le cmo y. Est asociada al cumplimiento de requisitos, de tal modo que es verdadera nicamente
cuando las dos proposiciones simples lo son. Sinnimos (tambin, aun, adems, pero, sin embargo,
aunque, a la vez, no obstante).
Ej.: unin de dos proporciones simples p ^ q

5. Isabela es estudiante de psicologa tambin Adrin estudia psicologa

p: Isabela es estudiante de psicologa

q: Adrin estudia psicologa

6. Florencia es la capital del Caquet a la vez es un municipio

p: Florencia es la capital del Caquet

q: es un municipio

7. Un cuadrado no tiene 4 lados adems es una figura geomtrica

p: cuadrado tiene 4 lados

 q: es una figura geomtrica

Disyuncin (V) se le como O: asociada con la eleccin o escogencia de modo que esta es falsa
cuando las dos proposiciones simples son falsas
Ej.: unin de dos proporciones simples p v q

8. estudiare psicologa o estudiare arquitectura

p: estudiare psicologa

q: estudiare arquitectura

9. comer pia o comer meln

p: comer pia

q: comer meln

10. Lis lavas la ropa o los cubiertos

p: lavas la ropa

q: los cubiertos
Implicacin O Condicional (->) se le cmo entonces, asociada a la implicacin con la
relacin causa efecto o antecedente consecuente

Ej.:

11. Los seres vivos estn formados por clulas entonces estamos formados por clulas

p: Los seres vivos estn formados por clulas

q: estamos formados por clulas

12. Nac en Colombia entonces soy colombiano

p: Nac en Colombia

q: soy colombiano

13. El reino animal se caracteriza por seres vivos con locomocin entonces los gatos son del
reino animal

p: El reino animal se caracteriza por seres vivos con locomocin

q: gatos son del reino animal

Doble Implicacin O Bicondicional ( ) se le cmo entonces. Es verdadera cuando las dos

proposiciones lo son.
14. Si un cuadrado tiene 4 lados iguales, es un cuadrado si y solo si sus 4 lados son iguales

p: Si un cuadrado tiene 4 todo son iguales

q: si sus 4 lados son iguales

15. Los animales obviaros ponen huevos, un animal cuando y solo cuando pone huevos es
ovparo

p: Los animales obviaros ponen huevos

q: cuando pone huevos es ovparo

16. Un tringulo tiene 3 lados, si y solo si, una figura es un tringulo si tiene 3 lado

p: Un tringulo tiene 3 lados

q: figura es un tringulo si tiene 3 lados

Conclusin de la tabla de verdad: Se define como Tautologa a una proposicin, cuando en la

tabla de verdad es siempre verdadera y Contradiccin cuando no lo es. Contingencia los dos en
la respuesta.
 CUANTIFICADORES Y PROPOSICIONES CATEGRICAS.

CUANTIFICADORES:

Se utilizan para transformar funciones proposicionales en proposiciones. Cuando se habla de

cuantificadores en trminos de Lgica, Teora de Conjuntos o Matemticas en general, se hace
referencia a aquellos smbolos que se utilizan para indicar cantidad indefinidas o relativas en una
proposicin, es decir, permiten establecer cuntos elementos de un conjunto determinado,
cumplen con cierta propiedad.

Adems cabe aclarar que son trminos que indican cantidad imprecisa de una cosa e igual de las
palabras que indican a cuantos elementos de una clase nos referimos, sin precisar con exactitud
(por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre
los ms utilizados estn Muchos Pocos/Unos Algunos Varios/ Ms Que Menos Que/Todos
Ninguno

Los cuantificadores permiten la construccin de proposiciones a partir de funciones

proposicionales, bien sea particularizando o generalizando. Por ejemplo, si consideramos la
funcin proposicional: P(x) = x es menor que dos

Esto podra particularizarse as: Existe un nmero real que es menor que dos o generalizarlo
diciendo: Todos los nmeros reales son menores que dos. En cualquiera de los dos casos, se
especifica un conjunto donde est tomando valores la variable, para nuestro ejemplo, el conjunto
de los nmeros reales.

EJEMPLO:

17. Ejercicio con los mismos elementos naturales que haya en el entorno; existen diversos
cuantificadores y trabajaremos algunos:
 Todos: Cada uno de los elementos naturales
Slo algunos: Parte de los elementos naturales
Ninguno: Ni uno slo de los elementos naturales

18. Nombrar los estudiantes de las diferentes carreras en la Unad para el ejercicio

-Muchas estudian psicologa

-Unos Ingeniera
-Todos a distancia

CUANTIFICADORES UNIVERSAL () los cuantificadores son palabras que indican la

cantidad de elementos de un conjunto (todos, ninguno o algn) que cumple una determina
condicin o caractersticas. En lgica determinan las funciones condicionales simples y
compuestas asociadas a un conjunto U, que el conjunto de verdad no es vaco, es todo U o es vaco.
Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se utiliza para afirmar que
TODOS los elementos de un conjunto cumplen con una condicin o propiedad determinada. Ej:

19. Expresamos los descuentos obtenidos por los estudiantes de la universidad

-Pocos tienen descuento electoral

-Algunos adquiere descuento por ser egresados Sena
-Ms que por ser integrantes de las fuerzas militares

CUANTIFICADORES EXISTENCIAL () indican que las funciones proposicionales simples

o compuestas son cumplidas por algn elemento del conjunto U al que estn asociadas, esto es, que
al menos un elemento de U cumple la condicin. Los cuantificadores de la forma existen por lo
menos uno (existe al menos un), se utiliza para indicar que existen uno o ms elementos en el
conjunto A que cumple(n) con una condicin o propiedad determinada. Ej.:

20. Todos los mamferos son animales que se reproducen mediante fecundacin interna

21. Muchos animales que se reproducen por fecundacin interna son mamferos
22. Unos animales como el ornitorrinco se reproducen por fecundacin externa poniendo
huevos

Al menos un elemento en este caso el ornitorrinco que no cumple con las caractersticas del
conjunto de reproduccin interna de los mamferos.
 PROPOSICIONES CATEGRICAS

Una Proposiciones categricas es un enunciado que consta de dos Proposiciones las cuales actan
una como sujeto y otra como predicado. En lgica, una proposicin categrica, o declaracin
categrica, es una proposicin que afirma o niega que todos o algunos de los miembros de una
categora (el trmino sujeto) estn incluidos en otra (el trmino predicado). El estudio de los
argumentos usando afirmaciones categricas (es decir, silogismos) constituye una rama importante
de razonamiento deductivo, que comenz con los antiguos griegos.

Las palabras todo y algn se llaman "cuantificadores" porque indican la cantidad del sujeto.
Esto es, especifican cunto elemento de la clase del sujeto estn incluidos en la clase del predicado.
(Ningn indica cero miembros.) El verbo en una proposicin categrica correctamente expresada
es siempre alguna forma del verbo ser, y se conoce como cpula
Proposiciones categricas son afirmaciones acerca de categoras o clases.

Ejemplos:

1. Ningn estudiante es menor de edad

2. Algunos casados no son solteros
3. Todos los animales no son mamferos

1. Todos los psiclogos son mdicos

2. Ningn psiclogo es medico
3. Algunos psiclogos son mdicos
4. Algunos psiclogos no son mdicos

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma de lgica,
conocida como aristotlica, tradicional, o de silogismos categricos. Adems, habra que destacar
que el tercer enunciado en una proposicin categrica identificable es el trmino medio, el cual
no va en la conclusin:
5. Todos los psiclogos son profesionales

6. Todos los terapeutas son profesionales

7. Todos los terapeutas son psiclogos

p: psiclogos

s: terapeutas

m: profesionales

El trmino medio m nunca va en la conclusin. P: termino mayor, s: trmino menor.

Cantidad: Refiere al monto de miembros de la clase sujeto que son utilizados en la proposicin.
Si la proposicin se refiere a todos los miembros de la clase sujeto, este es universal. Si la
proposicin no emplea a todos los miembros de la clase sujeto, este es particular. Por ejemplo, un
I-proposicin ("Algunos S son P") es especial, puesto que solo se refiere a algunos de los miembros
de la clase sujeto.

Calidad: Se refiere a si la proposicin afirma o niega la inclusin de un sujeto dentro de la clase

del predicado. Las dos cualidades posibles se llaman afirmativa y negativa.3 Por ejemplo, una
proposicin A ("Todo S es P") es afirmativa, ya que afirma que el sujeto est contenido dentro del
predicado. Por otro lado, una proposicin O ("Algunos S no son P") es negativo ya que excluye al
sujeto del predicado. Existen cuatro clases de proposiciones categricas. Usando S y P como
smbolos, estas son:

Proposicin categrica Representacin Nombre

Universal afirmativa Todos S son P A
Universal negativa Ningn S es P E
Particular afirmativo Algunos S son P I
Particular negativo Algunos S no son P O

Ejemplos: Observamos que hay una persona y un sujetos (acrbatas personas / trabajan en
circos que no son seguros - ponen en riesgos su vida). En el momento de graficar la proposicin
en el diagrama de ven se pueden ubicar o simbolizar con una x o un tringulo.

8. Proposicin Categrica Universal Afirmativa

Todos los acrbatas que trabajan en circos que no son seguros
y no son personas temerarias que ponen en riesgos su vida.
p: acrbatas que trabajan en circos
s: personas temerarias que ponen en riesgos su vida.
Al graficar la proposicin observamos que todos las personas
de la proposicin dos pertenecen a la oracin uno, es decir que
todos los elementos con las caractersticas de la oracin dos pertenecen a la oracin uno. Todos s
es p.
9. Proposicin Categrica Universal Negativa
Todos los trabajadores del banco son garantes y no son personas irresponsables que ponen en
riesgos sus trabajos.
p: trabajadores del banco son garantes
s: personas irresponsables.
Por lo tanto los trabajadores del banco son responsable y no
pondr en riesgo sus empleos, asique entre s y p no existe
relacin ninguna. Ningn s es p

10. Proposicin Categrica Particular Afirmativa

Algunos estudiantes de psicologa son amigos de los estudiantes de ingeniera
p: estudiantes de psicologa
s: estudiantes de ingeniera
De modo que, algunos estudiantes son amigos, no todos, por
lo tanto entre las personas y el sujeto, algunos s son p

11. Proposicin Categrica Particular Negativa

Algunos tutores no son estrictos
-Deducimos que existen:
p: tutores dciles
s: tutores estrictos
Por lo cual, de p y s, siendo que algn s no es p

Todos

Las proposiciones categricas pueden ser clasificadas en cuatro tipos en funcin de su "calidad" y
"cantidad", o de su "distribucin de trminos". Estos cuatro tipos a largo han sido
nombrados A, E, I y O. Esto se basa en el latn affirmo (Yo afirmo), refirindose a las
proposiciones afirmativas A y I, y nego (Yo niego), refirindose a las proposiciones
negativas E y O.2

12. Todos los cuadrados son figuras geomtricas

13. Ningn cuadrado es figuras geomtrica
14. Alguno cuadrado es figuras geomtrica
15. Alguno cuadrado no es figuras geomtrica

Forma A

Una proposicin A TODOS bArbArA: Modo de proposiciones categricas, sus enunciados

debe ser universal afirmativo, distribuyendo el sujeto al predicado, pero no a la inversa.
Considere la siguiente proposicin categrica: "Todos los cuadrados son figuras geomtrica.
Todos los cuadrados son ciertamente figuras geomtricas, pero sera falso decir que todas las
figuras geomtricas son cuadradas. Dado que todos los cuadrados se incluyen en la clase de los
figuras geomtrica, " cuadrados " se dice ser distribuido a " figuras geomtrica". Dado que todas
las figuras geomtricas no son necesariamente cuadradas, " figuras geomtrica" es no distribuido
de " cuadrados.

Forma E

Una proposicin E NINGUNO O NADIE cElArEn: tres proposiciones categricas donde el

primer enunciado debe ser universal negativo, seguido por universal afirmativo precedido por su
conclusin universal negativo; distribuyendo de forma bidireccional entre el sujeto y el
predicado. Desde la proposicin categrica "Ningn cuadrados son figuras geomtrica ",
podemos inferir que ningn figuras geomtrica son cuadrados. Dado que todos los cuadrados son
definidos no siendo figuras geomtrica, y todas las figuras geomtricas se definen no siendo
cuadrados, ambas clases son distribuidas.

Forma I

En una proposicin I, ALGUNOS dArll: conciencia con un enunciado universal afirmativo y

su conclusin particular afirmativo, ambos trminos son no distribuidos. Por ejemplo, "Algunos
cuadrados son figuras geomtricas. Ninguno de los trminos se puede distribuir enteramente al
otro. A partir de esta proposicin no es posible decir que todos los cuadrados son figuras
geomtricas o que todos los cuadrados son figuras geomtricas.

Forma O

En una proposicin O, ALGUNOS NO fErlO: universal negativo, particular afirmativo y

particular negativo; solo se distribuye el predicado. Considere lo siguiente: "Algunos polticos no
son corruptos". Dado que no todos los polticos son definidos por esta regla, el sujeto es no
distribuido. Sin embargo, el predicado se distribuye porque todos los miembros de la "gente
corrupta" no coincidirn con el grupo de personas definidas como "algunos polticos". Dado que
la regla se aplica a todos los miembros del grupo de los corruptos, a saber, "todas las personas
corruptas no son algunos polticos", el predicado es distribuido.

16. La distribucin del predicado en una proposicin O a veces puede resultar confusa,
debido a su ambigedad. Cuando se dice que una declaracin como " Alguno cuadrado no es
figuras geomtrica" para distribuir la " figuras geomtrica " del grupo a " Alguno cuadrado ", la
informacin parece de poco valor ya que el grupo " Alguno cuadrado " no est definido.
17.
SEGUNDA ETAPA: PLANTEAMIENTO Y RESOLUCIN

DE PROBLEMA DE LA LGICA PROPOSICIONAL DEL ANEXO 1

Anexo 1:

3. Problema De La Lgica Proposicional Mario le escribe al tutor asignado en el curso de

Pensamiento Lgico y Matemtico para consultarle respecto a los puntos opcionales que
reciben quienes han asistido a los eventos de B-Learning, pues l asegura tener derecho a
 dichos puntos. El tutor le responde que por favor le enve evidencia de su asistencia; de
manera que Mario enva un nuevo mensaje en el que menciona lo siguiente: Si asist a los
encuentros B-Learning, entonces desarroll los ejercicios de la gua de Trabajo
Colaborativo. Si desarroll los ejercicios de la gua, entonces obtengo buena nota en el
trabajo. Si y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo. Realice la
respectiva tabla de verdad y determinado si es tautologa, contradiccin o contingencia,
establezca si para el tutor hay suficientes criterios para creer que el estudiante s asisti a
los encuentros b-learning.

Analizando el ejercicio

Al inicio del anexo observamos un prembulo que nos adentra en el contexto del ejercicio.

Si asist a los encuentros B-Learning, entonces desarroll los ejercicios de la gua de Trabajo
Colaborativo. Si desarroll los ejercicios de la gua, entonces obtengo buena nota en el trabajo. Si
y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo.

Identifico las proposiciones simples y compuestas, operadores lgicos, de este modo asociamos
las proposiciones del comentario sin que sea redundante en su sentido, por consiguiente, lo llevo
al lenguaje natural remplazamos por smbolos, en proposiciones compuestas.

p: Asisto a los encuentros B-Learning

r: Desarrolle los ejercicios del trabajo colaborativo

q: Obtengo buena nota del trabajo

Declaraciones de las proposiciones compuestas (Lenguaje natural y formal)

1. Si asist a los encuentros B-Learning, entonces desarroll los ejercicios de la gua de Trabajo
Colaborativo. P -> R
^

2. Si desarroll los ejercicios de la gua, entonces obtengo buena nota en el trabajo. R -> Q

3. Si y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo. R

p entonces r. y r entonces q. si o solo si r

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

Proceso operativo a travs de La Tabla De Verdad de la resolucin del enunciado problmico de

la lgica proposicional.
Para definir el nmero de combinaciones posibles en relacin con la tabla de verdad, se toma el
dos como base y se ponencia por el nmero de proposiciones, en este caso 3: 23 2*2*2*=8 filas
evaluadas en la tabla de verdad, y retomo las reglas de las tablas. Rompemos parntesis.

En conclusin, al anexo del problema uno podemos afirmar que, por medio de la comprobacin
de la tabla de verdad, la proposicin es una Contingencia ya que arrojo los dos resultados falsos y
verdaderos, por ende el argumento lgico no es vlido.
PANTALLASO DE LA COMPROBACIN DE LA TABLA DE VERDAD CON
EL SIMULADOR TRUTH
 TERCERA ETAPA: SELECCIONAR El SILOGISMOS DEL ANEXO 2

Representar Grficamente Con El Uso Del Diagrama De Venn El Razonamiento

Seleccionado

4. Todos los bachilleres que presentaron PRUEBAS SABER 11 despus del ao 2012 pueden
acceder al crdito condonable dado por el Estado. Algunos jvenes de estrato tres no pueden
acceder al crdito condonable. Algunos jvenes de estrato tres no son bachilleres que hayan
presentado PRUEBAS SABER 11 despus del ao 2012.

1. Lo primero es identificar el trmino mayor, medio y menor de la premisa 1, 2 y

conclusin.

p - Trmino Mayor: Bachilleres que presentaron PRUEBAS SABEL 11

s - Trmino Menor: Estrato tres

m Trmino Medio: Crdito condonable: Ya que se repite en la primicia menor y mayor y no

est en la conclusin

Todo P es M: Se sombrea todo el conjunto p con la interseccin en m para demostrar que hay
elementos en m.
Algn S no es M: Ubicamos un rectngulo azul en s cerca de m pero no est en interseccin con
m por ende algunos jvenes de estrato tres no pueden acceder al crdito condonable o a m.

Algn S no es P: Ubicamos un rectngulo azul en el conjunto s para demostrar que algn

elemento del conjunto s no est en p.

DIAGRAMA DE VEEN

Un silogismo tiene reglas para llegar a una demostracin valida, del cual se generan una hiptesis
a partir de las proposiciones simples y compuestas que la conforman, y nos dirigen a admitir o
concluir una valides. Si la conclusin est entre los tres diagramas de ven se valida, si no es as es
invalida. As que este silogismo es vlido.
 CONCLUSIONES

Proposiciones establecen un esquema de argumentacin derivadas de la lgica y respaldo de la

razn, utilizada de la forma debida, conduce a ideas que son ciertas y los objetos de esas ideas
racionales de problemas situados en el mundo real y cotidiano donde es necesario interpretar y
argumentar para darle sentido y halla su valides o invalidez sea el caso.
La lgica matemtica no slo nos puede ayudar a simbolizar proposiciones, sino como una
herramienta de anlisis para poder estudiar la estructura interna de un enunciado o afirmacin.
 REFERENCIAS BIBLIOGRAFICAS

Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado

De http://erenriquez.net/largoty/Ova01MD/

Villalpando, B. J. F. (2000). Matemticas Discretas: Aplicaciones Y Ejercicios. Larousse - Grupo

Editorial Patria. (Pp. 19 - 29). Recuperado De: http://hdl.handle.net/10596/6551

Chvez, C. P. (2000). Compendio De Lgica. Larousse - Grupo Editorial Patria. (Pp. 151- 162).
Recuperado De: http://hdl.handle.net/10596/6552

Gonzles, T. L., & Saavedra, M. (2009). Aciertos Matemticos 11: Serie Para La Educacin
Media. Bogot, CO: Educar Editores S.A. (Pp. 151 -162) Recuperado De:
http://hdl.handle.net/10596/6541

Bustamante A. A. (2009). Lgica Y Argumentacin: De Los Argumentos Inductivos A Las

lgebras De Boole. 1. Edicin. Mxico: Editorial Pearson. (Pp. 63-81). Recuperado
De: http://hdl.handle.net/10596/7959

Moscote, H. (2016) Aplicacin De Las Tablas De Verdad En El lgebra De Proposiciones.

Recuperado De http://hdl.handle.net/10596/7961