Introducción

En el siguiente trabajo daremos a conocer la importancia del uso de las reglas de inferencia ya

que nos muestra la capacidad de entender conceptos y establecer relaciones basadas en la lógica

de una forma esquemática y técnica, fortaleciendo nuestras competencias interpretativas dando

solución a problemas o preguntas basadas en hipótesis o casa reales, partiendo de las preguntas

interpretativas asignadas, teniendo en cuanta las terminologías de los diferentes tipos de

Demostración en la Lógica Matemática y las leyes de la inferencia.

 Objetivos

General

Identifica y utilizar en forma clara las reglas de inferencia lógica por inducción y deducción en
formulaciones y demostraciones de razonamientos válidos en situaciones específicas del mundo
real.

Específicos

Proposiciones simples y compuestas

Tablas de verdad

Métodos de demostración

Razonamientos lógicos

Inferencia lógica

Argumentos lógicos.
 Actividades a desarrollar

Primera etapa

Socializar la conceptualización y mínimo tres ejemplos de alguna de las terminologías de los

diferentes tipos de Demostración en la Lógica Matemática

Demostración por Contraejemplo.

Método por contraejemplo
El método por contraejemplo se aplica de manera muy particular para demostrar la falsedad de
proposiciones cuya hipótesis está construida mediante un "cuantificador universal". Esto es, se
aplica para demostrar la falsedad de una proposición que tenga una conclusión referida para
"todos los elementos de un cierto conjunto"
Qué entender por un contraejemplo
Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un elemento que satisfaga
la hipótesis de la proposición, pero que no satisfaga su conclusión. A dicho elemento se le conoce
con el nombre de contraejemplo.
El uso del contraejemplo, es muy útil cuando uno se encuentra ante una proposición con
cuantificador universal, de la cual no se sabe si es verdadera o falsa.
Ejemplo 1, consideremos la proposición "todos los escritores son inteligentes". Como esta
proposición dice que una cierta propiedad (inteligencia) es válida para todos los escritores,
incluso un solo escritor tonto probará su falsedad. En este caso, un escritor tonto es un
contraejemplo a "todos los escritores son inteligentes".
Ejemplo 2, es el único contraejemplo de la proposición "todos los números primos son impares".
Algunas proposiciones pueden ser negadas con un número mayor, incluso infinito de
contraejemplos ("todos los números impares son primos" tiene infinitos contraejemplos: todos los
múltiplos impares de 3, 5, 7, etc.).
Segunda etapa
Socializar la conceptualización y mínimo tres ejemplos de alguna de las terminologías de las
leyes de inferencia lógica.
Silogismo Hipotético y Silogismo Disyuntivo.
Silogismo Hipotético
En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo
con una sentencia condicional para una o ambas de sus premisas. En la lógica proposicional, el
silogismo hipotético es una regla de inferencia válida (llamado también argumento cadena, regla
de cadena, o el principio de transitividad de la implicación, y a veces abreviado SH).
Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra (el
mismo enunciado), podemos construir una nueva implicación cuyo antecedente sea el de aquella
implicación cuya consecuencia sea el antecedente de la otra implicación, y cuyo consecuente sea
el de ésta última, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y ésta consecuencia es a su vez
causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa
segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola blanca
que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola negra.
Expresado en forma de inferencia lógica:
p → q “Si la bola roja golpea a la bola blanca, la bola blanca se mueve”
q → r “Si la bola blanca golpea a la bola negra, la bola negra se mueve”
______________________________________________________________________
p → r “Si la bola roja golpea a la bola blanca, la bola negra se mueve”
1) A → B
2) B → C
3) A → C
EJEMPLOS:
1. a. Si mi hermana está en casa, entonces no hace nada.
b. Si no hace nada, entonces no trabaja.
c. Luego, si mi hermana está en casa, no trabaja.

2. a. Si los hombres son caballeros, entonces son respetuosos.

b. Si son respetuosos, entonces tratan bien a las damas.
c. Luego, si los hombres son caballeros, entonces tratan bien a las damas.
3. a. Si no me despierto, entonces no voy a ir a trabajar.
b. Si no voy a trabajar, entonces no me pagan mi sueldo.
c. Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.
El silogismo hipotético está estrechamente relacionado al silogismo disyuntivo, ya que también
es un tipo de silogismo, y también es el nombre de una regla de inferencia.
 Silogismo Disyuntivo
Esta regla parte de, al menos, tres premisas: una disyuntiva y dos condicionales. La disyuntiva
encierra dos opciones, las cuales serán los antecedentes de ambas condicionales, de tal modo que
sus consecuentes podrán conformar una disyunción. En otras palabras esto significa que si dos
posibilidades conllevan dos condiciones a cumplir, los efectos serán en última instancia las
posibilidades que se estarán escogiendo en última instancia.
Ejemplo 1:
O está durmiendo o se está bañando.
Si está durmiendo no vendrá a la fiesta.
Si se está bañando, llegará tarde.
________________________________
No vendrá a la fiesta o llegará tarde

Igualmente se pudo concluir:

Llegará tarde o no vendrá a la fiesta.

Ejemplo 2:
a. Yo puedo correr o seguir parado.
b. No corro.
c. Luego sigo parado.
Ejemplo 3:
El sol brilla o está lloviendo
El sol no brilla
Por lo tanto está lloviendo.
Tercera etapa
Planteamiento y resolución (utilizando las operaciones necesarias de las tablas de verdad) y la

aplicabilidad de las leyes de inferencia lógica de uno de los problemas de enunciados tipo

argumento del Anexo 1; adjuntar un pantallazo de la comprobación de la tabla de verdad con el

simulador TRUTH.
Caso 2. Andrea y Felipe son hermanos y ambos estudian en la UNAD; ella estudian Psicología y

Felipe estudia Ingeniería Industrial. Como motivación, un tío los quiere premiar, como Andrea le

dificultan la Física y a Felipe la Química, el tío les promete un portátil si les va bien en dichos

cursos. Para lo cual Javier el tío de los dos hermanos hace el siguiente análisis: “Andrea aprobó el

curso de Física y obtuvo el promedio más alto en Química. Si Felipe no aprobó el curso de Física,

entonces, Andrea no obtuvo el promedio más alto en Química. Si Felipe aprobó el curso de

Física, entonces, aprobó el periodo académico. Luego, Andrea aprobó el curso de Física y Felipe

aprobó el periodo académico”. Determinar con el uso de las dos formas de la tabla de verdad la

validez del razonamiento y hacerlo también con el uso de las leyes o reglas de inferencia.

En la lógica booleana es muy común el uso de las tablas de la verdad, por medio de estas se

muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que

se pueda agregar.

Analicemos los planteamientos del problema.

- Hay dos individuos involucrados, Andrea y Felipe.

De ellos se afirma lo siguiente:

Andrea aprobó el curso de física y obtuvo el promedio más alto en química.

Si Felipe no aprueba física, Andrea no obtuvo el promedio más alto en química.

Si Felipe aprueba física, Felipe aprueba el período académico.

Andrea aprueba física y Felipe aprueba el período académico.

Lo primero que debemos hacer es asignar una variable a cada proposición del problema
p=Andrea aprueba física

q= Andrea obtuvo promedio más alto en química.

r= Felipe aprueba física

s= Felipe aprueba período académico.

Ahora que tenemos las 4 variables definidas junto con las afirmaciones del problema podemos

construir las tablas de la verdad según sea el caso.

En esta oportunidad dos afirmaciones tiene un caso de conjunción y dos tienen un caso de

condicional.

La primera afirmación "Andrea aprobó el curso de física y obtuvo el promedio más alto en

química" es una conjunción ya que usa el operador lógico "y", por lo tanto la tabla de la verdad es

la siguiente:

p | q | p∧q
V|V|V
V|F|F
F|V|F
F|F|F

La segunda afirmación "Si Felipe no aprueba física, Andrea no obtuvo el promedio más alto en

química." es un condicional ya que hace uso de la estructura "Si___, ___", es importante resaltar

que también se hace uso de la negación, ya que en las dos preposiciones esta presente el operador

lógico "no" por lo tanto la tabla de la verdad es la siguiente:

r | q | r→q
V|V|V
V|F|F
F|V|V
F|F|V
La tercera afirmación "Si Felipe aprueba física, Felipe aprueba el período académico" es un

condicional ya que hace uso de la estructura "Si___, ___", por lo tanto la tabla de la verdad es la

siguiente:

r | s | r→s
V|V|V
V|F|F
F|V|V
F|F|V

La cuarta y última afirmación "Andrea aprueba física y Felipe aprueba el período académico", es

una conjunción ya que usa el operador lógico "y", por lo tanto la tabla de la verdad es la

siguiente:

p | s | p∧s
V|V|V
V|F|F
F|V|F
F|F|F

Si por otro lado utilizamos las reglas de inferencia para analizar este problema, se partirá de las

premisas suministradas, estas serán analizadas de acuerdo a su sintaxis y como resultado se

devolverá una conclusión.

Premisa #1 + Premisa #2.... + Premisa #n = Conclusión.

A→B
 Cuarta etapa

Realizar una presentación en PREZI, de la conceptualización o un ejemplo sobre la terminología

del álgebra de Boole evidenciando en el documento final a entregar el enlace de acceso.

Aplicaciones en el mundo real del Álgebra de Boole.

https://prezi.com/view/z4rq8RWJvwgrgj40G3Vq/
 Conclusiones

Con el uso de las leyes y las terminologías tratadas en lo anterior nos pudimos dar cuenta que

estos conceptos son aplicables a las situaciones de nuestra vida diaria, permitió resolver de forma

sistemática y exacta casos que nos pueden llevar a determinar si es verdadero o falso.

El álgebra Booleana la gran importancia que tiene para los avances tecnológicos que conocemos

hoy en día ya que gracias al matemático George Boole quien fue el precursores para todo lo que

conocemos hoy por medio de las matemáticas y la lógica podrás tener tantas medio que

requerimos y utilizamos en nuestro diario vivir.