PENSAMIENTO LOGICO Y MATEMATICO

USO DE LAS TABLAS DE VERDAD

APORTE INVIDIVUAL

LINN JHON ARMANDO COQUECO MEDINA

CDIGO: 7732557

TUTOR: ADRIAN REINALDO VALENCIA

GRUPO: 200611_205

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD NEIVA-HUILA
MAYO DEL 2017
 SILOGISMO CATEGORICO

Es el razonamiento deductivo ampliamente explicado por Aristteles. Tuvo mucho auge

durante la edad media, pero particularmente desprestigiado, criticado por Francisco Bacon,
Locke y Stuart Mill, de tal manera que en el presente parece fuera de moda razonar o
presentar resultados cientficos por mtodo silogstico.

IMPORTANCIA DEL SILOGISMO

Por el trmino medio puede relacionarse el trmino menor (Sujeto de la conclusin) con el
trmino mayor (Predicado de la conclusin). El trmino medio es la causa y explicacin del
nexo entre S y P (trmino menor y trmino mayor).
Expresa de un modo riguroso nuestras deducciones cotidianas
Fundamenta rigurosamente una tesis recurriendo a una causa de dicha tesis.

Elementos del Silogismo Categrico

El silogismo est formado por 3 proposiciones categricas (2 premisas y 1 conclusin; 3
trminos (P, M y S; existen 4 figuras y 19 modos validos).

TERMINO MAYOR = P el de mayor extensin y es el Predicado de la conclusin

TERMINO MENOR = S el de menor extensin y es el Sujeto de la conclusin
TERMINO MEDIO = M es el que tiene la extensin mediana o intermedia con
relacin a los otros trminos. Se encuentra en las 2 premisas y nunca en la
conclusin.
Su funcin es relacionar las premisas para llegar a la conclusin.
Ejemplo:

Todas las flores son plantas

M P
La rosa es una flor
S M
La rosa es una planta
S P

Grafico:
2)
El cielo encapotado indica probable lluvia
Hoy el cielo est encapotado
Hoy es probable que llueva
3)

El delito de secuestro merece 100 aos de prisin

Juan cometi el delito de secuestro
Juan merece 100 aos de prisin

FIGURA DEL SILOGISMO

La figura de un silogismo est determinada por la posicin que ocupa su trmino medio ( y
por lo tanto, la funcin que desempean en las premisas). Las figuras, que son cuatro, se
ordenan del siguiente modo:
MODO DEL SILOGISMO
El trmino modo se refiere al conjunto formado por los tipos de las tres proposiciones
integrantes del silogismo (incluyendo tambin la conclusin). En esta acepcin de
MODO que adoptaremos en adelante existen 64 modos posibles.
Ejemplo:
Todo mamfero es vertebrado (A)
La ballena es un mamfero (A)
Toda ballena es vertebrada (A)

ESQUEMA DEL SILOGISMO

Consiste en explicitar la estructura del silogismo, empleando los 3 trminos en las
respectivas formas lgicas y adems sealando la distribucin de los trminos.
Ejemplo:
Ningn materialista es subjetivo (E)
Todo lo subjetivo es parte de la posicin idealista (A)
Ninguna posicin idealista es materialista (E)

Modo: EAE
Figura: 4.
Estructura: AOA 4.
Esquema

REGLAS DEL SILOGISMO

Lo importante en logica formal, es el silogismo valido, correcto y verdadero, para lograrlo
debe cumplir con las 8 reglas del silogismo. es correcto si su forma es correcta y existe
enlace o nexo entre las premisas y conclusin sea cual fuera su contenido material que llene
esa forma o estructura.
La lgica tradicional ha enumerado una serie de reglas que un silogismo no debe violar
para ser vlido. Estas reglas son:

REGLA No. 1:
Todo silogismo consta de tres trminos
Trmino Mayor P
Trmino Menor S
Trmino Medio M
REGLA No. 2:
El trmino medio no debe figurar en la conclusin.
REGLA No. 3:
El trmino medio debe estar distribuido o tomado en toda su extensin por lo menos
una vez.
REGLA No. 4:
Ningn trmino puede estar tomando en toda su extensin en la conclusin si no lo
est en la premisa correspondiente.
REGLA No. 5:
De dos premisas negativas no puede obtenerse conclusin vlida.
REGLA No. 6:
De dos premisas particulares no puede obtenerse conclusin vlida.
REGLA No. 7:
Dadas dos premisas afirmativas, la conclusin deber ser afirmativa.
REGLA No. 8:
La conclusin sigue la parte ms dbil (se entiende por parte ms dbil, la particular
con respecto de la universal, la negativa con respecto de la afirmativa)
 ANEXO 1

Ejercicio 2
Paola entra en una discusin con su esposo Jairo por el derroche de dinero que han tendio
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 qu 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.

Solucin:

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 compre 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 = Numero de proposiciones 3
 [( pv q ) v r ] r

( ~pv ~q)
~pv ~q [(~pv~q)v~]r
p Q r ~p ~q ~r 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

Evidencia de la comprobacin con el Simulador Truth

 ANEXO 2

Ejercicio 5
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.

Universo de ciclistas

Nairo quintana no puede pertenecer a una sola de las tres regiones, lo que lleva a la
conclusin de que Nairo quintana no puede ser campen y ocupar tambin el segundo lugar
al mismo tiempo en el pdium.