UNIDAD 2- PASO 2 USO DE LA TABLA DE VERDAD

Tania Soraire Rincn Mendoza

GRUPO: 200611_53

Edgardo Alfonso Escorcia

Profesor

UNIVERSIDA NACIONAL ABIERTA Y ADISTANCIA UNAD

PENSAMIENTO LOGICO MATEMATICA

PROGRAMA DE PSICOLOGIA

VALLEDUPAR CESAR

14 DE ABRIL 2017
Primera etapa:

Silogismos categricos.

Un silogismo categrico es un razonamiento deductivo formado por tres proposiciones

categricas, dos premisas y la conclusin, y satisface las siguientes condiciones;

En el razonamiento se identifican tres trminos; cada uno aparece en dos de las

Tres proposiciones y en ambas es utilizado en el mismo sentido.

Los trminos mencionados en la definicin anterior se conocen con estos nombres:

a) Trmino mayor: es el predicado de la conclusin; se denota por P.

b) Trmino menor: es el sujeto de la conclusin; se denota por S.
c) Trmino medio: es el trmino comn a las dos premisas; se denota por M.

Este trmino no aparece en la conclusin; establece el nexo entre las premisas y

Desaparece en la conclusin.

Ejemplo 1: Utilizar diagramas de Venn para establecer la validez del silogismo

siguiente,

P1. Todos los mamferos son seres de sangre caliente.

P2. Ningn reptil es de sangre caliente.

C. Luego, ningn reptil es mamfero.

Es la representacin de las premisas en un diagrama de Venn.

Observe que el rea comn a reptiles y mamferos, que representa la conclusin,

Est contenida en el rea que representa la conjuncin de las dos premisas.

En consecuencia, el silogismo es vlido.

Ejemplo 2:

Ningn ciclista puede ser campen y ocupar el segundo lugar al mismo tiempo en el

pdium del Tour de Francia.

Nairo Quintana es ciclista colombiano.

Nairo Quintana no puede ser campen y ocupar el segundo lugar al mismo tiempo en el

pdium del Tour de Francia.

La conclusin del silogismo es vlida En la combinacin de los diagramas de Venn,

representada ms arriba, se puede observar una regin que nos muestra la existencia de
una "X" En esa regin se especifica que Nairo es ciclista, Por todo ello, la conclusin
del silogismo Nairo Quintana no puede ser campen y ocupar el segundo lugar al
mismo tiempo en el pdium del Tour de Francia es vlida.

ANEXO 1
 1. Paola entra en una discusin con su esposo Jairo por el derroche de dinero que
han tenido en los ltimos meses. En una conversacin un tanto acelerada, Jairo le
dice a su esposa: No es cierto que, compr un carro nuevo o una motocicleta de
alto cilindraje, o compr un auto nuevo o perd el premio econmico de la
empresa por superar el nmero de ventas. Y es que perd el premio que otorgaba
la empresa por superar el nmero de ventas. ser que Paola le dar la razn a su
esposo o considerar que es falso lo que l dice? Segn el resultado de la tabla de
verdad, determinando si es tautologa, contradiccin o contingencia, plantea una
respuesta sobre la percepcin de Paola respecto a lo que mencion su Jairo.

No es cierto que: {Compr un carro nuevo

Compre una motocicleta de alto cilindraje.
Perd el premio econmico de la empresa por superar el nmero de
ventas.

Antecedente:
No es cierto que, compr un carro nuevo o una motocicleta de alto cilindraje, o
compr un auto nuevo o perd el premio econmico de la empresa por superar el
nmero de ventas.

Consecuente:

Y es que perd el premio que otorgaba la empresa por superar el nmero de ventas.

p: compre un carro nuevo

q: compre una motocicleta de alto cilindraje
r: perd el premio econmico de la empresa por superar el nmero de ventas

n = nmero de proposiciones 3

2 base 23 2x2x2=8

[ (~ pv ~ q) v ~ r ] r

p Q r ~p ~q ~r ~pv ~q ( ~pv ~q) v~r [(~pv~q)v~]r

 v V v f f F f f v
v V f f f V f v f
v F v f v F v v v
v F f f v V v v f
f V v v f F v v v
f V f v f V v v f
f F v v v F v v v
f F f v v V v v f

Es una contingencia.

Pantallaso de la
comprobacin a travs del
simulador TRUTH.

Pantallazo de la comprobacin a travs del simulador TRUTH.

Anexo 2
3. 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.
B 1 Todos los bachilleres pueden acceder al crdito condonable

B 2 Algunos jvenes no pueden acceder al crdito condonable.

C. Algunos jvenes no son bachilleres

diagramas de Venn tenemos:

BACNo Bachilleres
Bachilleres

x
xX

JJJvenesJv
enes

En la combinacin del Diagrama de Venn, presente ms arriba, se puede observar que,

en la regin de los jvenes que no son bachilleres, existe una "X" que especifica
la existencia de que algunos jvenes no son bachilleres, Por lo tanto, la conclusin que
establece que algunos jvenes no son bachilleres es vlida.

REFERENCIAS BIBLIOGRAFICAS

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
 Castro B. (2007) ,Proposiciones Categricas. Recuperado de
http://cursos.clavijero.edu.mx/cursos/007_cp/modulo1/contenidos/documentos/proposic
iones_categoricas.pdf

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

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