Sei sulla pagina 1di 13

MOMENTO INTERMEDIO PASO 2 – USO DE LAS TABLAS DE VERDAD

JOHN EDWARD BENJUMEA BENJUMEA


200611_425

Profesor
LEONARDO FABIO GARCÍA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)


INGENIERÍA INDUSTRIAL
PENSAMIENTO LOGICO Y MATEMATICO 200611A_291
GUADALAJARA DE BUGA
OCTUBRE 2016
Objetivos

• Clasificar las proposiciones y sus características.


• Graficar a través de los Diagramas de Venn un silogismo.
• Identificar y representar los diferentes conectores lógicos en las tablas de verdad.
• Explicar los silogismos categóricos.
Abstract

En este trabajo se realizara el Momento Intermedio Paso 2 – Uso de las Tablas de


Verdad, como fase individual en el cual Las tablas de verdad se utilizan para establecer la
validez de las proposiciones. La construcción de tablas de verdad se realiza por medio de
un simulador truth el cual simplifica la tarea de determinar la verdad o falsedad de una
proposición, también se evidenciaran ejemplos de las terminologías de la lógica
matemática, se analizan los temas a trabajar los cuales son Lógica proposicional, tablas de
verdad en proposiciones compuestas, álgebra de proposiciones, tautologías y
contradicciones y contingencias, proposiciones categóricas, silogismos;
SILOGISMO CATEGÓRICO

Es un razonamiento de consta de dos premisas y una conclusión. Donde las


premisas y la conclusión son proposiciones categóricas.
En el silogismo categórico intervienen tres términos.
 El menor
 El medio
 El mayor
Cada uno de los cuales presenta en dos de las proposiciones que lo constituyen.
 El sujeto de la conclusión se llama término menor del silogismo.
 El predicado de la conclusión se llama término mayor del silogismo.
 El término que no aparece en la conclusión pero aparece en las dos premisas, se
llama término medio.
Para identificar los elementos de un silogismo se tiene en cuenta los siguientes aspectos:
 La expresión que aparece predicada por la expresión por lo tanto: es la conclusión
del silogismo, y se identifica el sujeto y el predicado y se obtiene el término menor
y mayor.
 El término medio es aquel que no se presenta en la conclusión sino en las premisas.

FORMA TÍPICA DE UN SILOGISMO


Un silogismo está escrito en forma típica cuando se expresa primero la premisa que
contiene el término mayor, luego la premisa que contiene el término menor y finalmente la
conclusión.
 La premisa mayor contiene a P.(Predicado)
 La premisa menor contiene a S. (Sujeto)

REGLA DE LOS TÉRMINOS DE LOS SILOGISMOS


 Un silogismo ha de tener tres y sólo tres términos.
 El término medio ha de ser tomado al menos en una de las premisas universalmente.
 El término medio no puede figurar en la conclusión.
 Los términos menos y mayor no pueden tener en la conclusión mayor cantidad que
las que tienen en las premisas (PACHECO, 2010).
Ejemplo 1

Considere el siguiente argumento:


Premisa 1 Ningún fosil está traspasado de amor.
Premisa 2 Algunos que están traspasados de amor son ostras.

Conclusión Algunas ostras no son fósiles.

Se puede observar una región que nos muestra la existencia de una "X" En esa región se
especifica que algunos ostras no son fósiles, Por todo ello, la conclusión del silogismo
algunas ostras no son fósiles es válida.

Ejemplo 2

Considere el argumento siguiente:


Premisa 1 Ningún ilógico maneja a un cocodrilo.
Premisa 2 Todo bebé es ilógico.

Conclusión Ningún bebé maneja a un cocodrilo


En la combinación de los diagramas de Venn, se puede observar que existe una región
sombreada que especifica que, en tal región, ningún bebé maneja a un cocodrilo. Por todo
ello, la conclusión del silogismo ningún bebé maneja a un cocodrilo es válida.

Ejemplo 3

Considere el argumento siguiente:


Premisa 1 Ningún fósil está traspasado de amor.
Premisa 2 Algunas ostras están traspasadas de amor.

Conclusión Ninguna ostra es fósil.


Se puede observar que la región que específica que ninguna ostra es fósil no está
sombreada enteramente como sería necesario. Por todo ello, la conclusión ninguna ostra es
fósil no es válida (Venn, s.f.).

ANEXO 1

SITUACIONES PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL FASE


INDIVIDUAL

1. Angélica 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 sumándole la predisposición que
suele dar el comenzar la semana de trabajo. Pero ella al mirarse al espejo minutos antes de
salir de su casa hizo la siguiente reflexión: “tengo calidad de vida y poseo una buena salud.
Tengo calidad de vida y poseo un excelente 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 través de las tablas de verdad si es correcta la reflexión que hace Angélica,
determinando si es tautología o contradicción o contingencia.

Solución:

Declaración de las preposiciones simples


p: tengo calidad de vida.
q: poseo una buena salud.
r: poseo un excelente empleo.
23 = 8 Filas

Declaración de las preposiciones compuestas (lenguaje natural).


tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo un excelente
empleo. Es que en realidad poseo una excelente salud y el trabajo que poseo es excelente.
Por consiguiente poseo una calidad de vida Declaración de las preposiciones compuestas
(lenguaje formal).
[(𝒑∧𝒒)∧(𝒑∧𝒓)∧(𝒒∧𝒓)]⟶𝒑
Tabla de verdad

p q r p∧q p∧r q∧r (p∧q)∧(p∧r)∧(q∧r) [(p∧q)∧(p∧r)∧(q∧r)→p]

V V V V V V V V

V V F V F F F V

V F V F V F F V

V F F F F F F V

F V V F F V F V

F V F F F F F V

F F V F F F F V

F F F F F F F V

Tabla de verdad con el simulador TRUTH

Es una tautología
ANEXO 2

ENUNCIADOS DENOMINADOS SILOGISMOS FASE INDIVIDUAL

2. Premisa 1: Todo Espacio Vectorial consta de cantidades vectoriales y escalares.


Premisa 2: En el curso de Álgebra Lineal todos los enunciados son de Espacios
Vectoriales.
Conclusión: En el curso de Álgebra Lineal todos los enunciados constan de cantidades
vectoriales y escalares.

Solución

Premisa 1

Todo Espacio Vectorial consta de cantidades vectoriales y escalares.

Diagrama de venn
Premisa 2

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

Diagrama de venn

Representación de las dos premisas

Diagrama de venn
Conclusión

En el curso de Álgebra Lineal todos los enunciados constan de cantidades vectoriales y

escalares.

Diagrama de venn

En el Diagrama de venn de la conclusión están incluido las dos premisas; significa que el

silogismo es verdadero.
Conclusiones

 Siempre hemos dependido y dependeremos de la lógica.

 La lógica matemática, las tablas de verdad se utilizan en la mayoría de campos de

aplicación, la fabricación de computadoras por ejemplo

 A través de la lógica se pretende simular el comportamiento del ser humano

mediante premisas
Bibliografía

PACHECO, E. (7 de julio de 2010). ericmat.wordpress.com. Obtenido de


https://ericmat.wordpress.com/2010/07/07/silogismo-categorico/
Venn, E. d. (s.f.). http://www.paginasobrefilosofia.com. Obtenido de
http://www.paginasobrefilosofia.com/html/Diagramas%20de%20Venn/presentacion
/welcome.html