Curso Pensamiento Lógico Matemático 200611

Unidad 1: Tarea 1 – Métodos

para Probar la Validez de
Argumentos
ECBTI
Zona Sur, 2021
Unidad 1: Tarea 1 – Métodos para Probar la Validez de
Argumentos

AGENDA

1. Ejercicio 2: Identificación de las reglas de inferencia.

2. Ejercicio 3: Aplicación de las reglas de la inferencia lógica.

3. Ejercicio 4: Problemas de Aplicación.
PROPOSICIONES

Una proposición es una oración que puede ser falso o verdadero;

pero nunca ambas.

Ejemplos:
El presidente de Colombia es Radamel Falcao García

Pero, Radamel Falcao García es futbolista; por lo

tanto, está oración si es una proposición pero es
falsa (f).
 Proposiciones

Ejemplo:

Hoy fueron convocados los estudiantes del periodo

16-01 matriculados en la UNAD.

Esto es verdad; por lo tanto, está oración si es una

proposición pero es verdadera (v).
 Proposiciones
Las proposiciones se pueden simbolizar con cualquier
letra del alfabeto siempre cuando sea minúscula.

Ejemplo:

p: El presidente de Colombia es Radamel Falcao

García

t: 3 – 1 = 2

y: Hoy fueron convocados los estudiantes del periodo

16-01 matriculados en la UNAD
Las proposiciones se clasifican en: Proposiciones simples y compuestas.

Las proposiciones simples son aquellas que están conformadas por una oración.
Ejemplo:
Me gustaría estudiar Ing. Industrial q: Me gustaría estudiar Ing. Industrial

Las proposiciones compuestas están conformadas por la unión de dos o más proposiciones
simples a partir de un conector lógico.

Los conectores lógicos que emplearemos son: Ejemplo:

 Conjunción (y) Me gustan las matemáticas y comer hamburguesa
 Disyunción (o)
u: Me gustan las matemáticas
 Implicación o condicional (entonces)
v: Me gusta comer hamburguesa
 Bicondicional o equivalencia (si y solo si)
Conectores lógicos
Proposiciones simples
 El conector lógico negación (NO) su símbolo es

 Ejemplo:

p: Me gusta bailar salsa p: No me gusta bailar salsa

p p
La siguiente grafica nos explica el conector lógico v f
(No) en las proposiciones simples:
f v
 Conectores lógicos
 Las proposiciones compuestas Para analizar si la proposición compuesta del
El conector lógico Conjunción, es decir, (y) su símbolo es conector conjunción (y) es verdadera o falsa,
debemos tener presente su valor de verdad para
los casos.
 
Ejemplo:
La Plata es un municipio del Huila y es considerado como el p q p q
paraíso folclórico del Huila V V V
V F F
Simbólicamente:
p = La Plata es un municipio del Huila V F V F
q = La Plata es considerado como el paraíso folclórico del Huila V F F F
p q
 Conectores lógicos
 Las proposiciones compuestas Para analizar si la proposición compuesta del
El conector lógico disyunción, es decir, (o) su símbolo es conector Disyunción (o) es verdadera o falsa,
debemos tener presente su valor de verdad para
los casos.
 
Ejemplo:
42 esta en la tabla del 5 o en la tabla del 6 p q p q
V V V
Simbólicamente:
V F V
p = 42 esta en la tabla del 5 F
q = 42 esta en la tabla del 6 V F V V
F F F
pq
 Conectores lógicos
 Las proposiciones compuestas Para analizar si la proposición compuesta del
El conector lógico condicional o implicación, es decir, conector Implicación (entonces) es verdadera o
(entonces) su símbolo es falsa, debemos tener presente su valor de verdad
para los casos.
 
Ejemplo:
Matricule el curso de lógica matemática entonces desarrollare p q p q
habilidades de razonamiento. V V V
V F F
Simbólicamente:
p = Matricule el curso de lógica matemática V F V V
q = Desarrollare habilidades de razonamiento V F F V
pq
 Conectores lógicos
 Las proposiciones compuestas Para analizar si la proposición compuesta del
El conector lógico bicondicional o equivalencia, es decir, conector Equivalencia (si y solo si) es verdadera o
(si y sólo si) su símbolo es falsa, debemos tener presente su valor de verdad
para los casos.
 
Ejemplo:
Un triángulo tiene dos lados iguales si y solo si es un triángulo p q pq
equilátero.
V V V
Simbólicamente: V F F
p = Un triángulo tiene dos lados iguales V F V F
q = Es un triángulo equilátero. F
F F V
p q
EJEMPLO

Si el vehículo de Gabriela está para cambiar llantas y necesita cambio de liquido

de frenos. Entonces necesita mantenimiento

Si el vehículo de Gabriela está para cambiar llantas y necesita cambio

de liquido de frenos. Por lo tanto, necesita mantenimiento

p: El vehículo de Gabriela está para cambiar

llantas

q: El vehículo de Gabriela necesita cambio

de liquido de frenos

r: El vehículo de Gabriela necesita

mantenimiento

 
Es decir,
Tabla de verdad

 Para construir la tabla de verdad de forma Manual debemos tener en cuenta:

 El número de filas sale a partir de la siguiente formula ; donde es el número de proposiciones.

 El número de columna depende de la formula bien formulada de la oración.

Para nuestro ejemplo

 El número de proposiciones son 3 (p, q y r); por ende nuestra formula seria . Es decir, 8 seria el número
de filas.

Para el caso de las columnas debemos descomponer la formula bien formulada.

 Empezamos por las proposiciones (p, q y r)

  Luego, de lo micro a lo macro Es decir, el paréntesis

  Finalmente,
 Columnas

FILAS
 
Procedemos a completar la tabla; recordemos que queremos llegar al valor de verdad de dicha oración; por
tal razón empezamos por la primera columna. Al ser 8 filas dividimos por 2. Es decir, por lo tanto 4 filas
verdaderas y 4 filas falsas.

V
V
V
V
F
F
F
F
 
Luego, la segunda columna.
Partimos de la primera. Es decir, por lo tanto 2 filas verdaderas y 2 filas falsas.

V V
V V
V F
V F
F V
F V
F F
F F
 
Continuamos con la tercera columna.
Partimos de la segunda. Es decir, por lo tanto 1 filas verdaderas y 1 filas falsas.

V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
 
Continuamos con la cuarta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es conjunción (. Es
decir, (y).

V V V
p q p q
V
V V
V FF
V V V
V F V
V F V V F F
V F F
V F F F V F
F V V
F F F
FF V
V VF
F V
F VF
F F VF
F F F
 
Continuamos con la cuarta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es conjunción (. Es
decir, (y).

V V V V
p q p q
V
V V
V FF V
V V V V
V F V F
V F V F V F F
V F F F
V F F F F V F
F V V F
F F F
FF V
V VF FF
F V
F VF F
F F VF F
F F F F
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es el condicional (. Es
decir, (entonces).

2° 1°
p q p q
V V V V V V V
V V F V V F F
V F V F F V V
V F F F F F V
F V V F
F V F F
F F V F
F F F F
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es el condicional (. Es
decir, (entonces).

2° 1°
p q p q
V V V V V V V V
V V F V F V F F
V F V F V F V V
V F F F V F F V
F V V F V
F V F F V
F F V F V
F F F F V
Formula bien formulada se puede clasificar en:

 Tautología:
Siempre es verdadera (V), independientemente de los valores de verdad de las proposiciones
simples o atómicas.

 Contradicción:
Siempre es falsa (F), independientemente de los valores de verdad de las proposiciones simples o
atómicas.

 Contingencia o Indeterminada:
Si sus valores de verdad son verdaderos y falsos.
Formula bien formulada se puede clasificar en: Tautología, contradicción o Contingencia.

V V V V V
V V F V F
V F V F V
El resultado es verdadero
y falso, por ende, se
V F F F V
clasifica como una
F V V F V
Contingencia.
V V F F V
F F V F V
F F F F V
Tabla de verdad

 Ejercicio

 El número de proposiciones son 4 (p, q, r y s); por ende nuestra formula seria . Es decir, 16 seria el
número de filas.

Para el caso de las columnas debemos descomponer la formula bien formulada.

  Empezamos por las proposiciones (p, q, r, s y )

  Luego, de lo micro a lo macro Es decir, los paréntesis

  Finalmente,
 Columnas

               
               
               
               
               
FILAS                
               
               
               
               
               
               
               
               
               
               
 Procedemos a completar la tabla; recordemos que queremos llegar al valor de verdad de dicha oración; por tal razón
empezamos por la primera columna. Al ser 16 filas dividimos por 2. Es decir, por lo tanto 8 filas verdaderas y 8 filas falsas.

 V              
 V              
 V              
 V              
 V              
 V              
 V              
 V              
 F              
 F              
 F              
 F              
 F              
 F              
 F              
 F              
 
Luego, la segunda columna.
Partimos de la primera. Es decir, por lo tanto 4 filas verdaderas y 4 filas falsas.

 V V             
 V  V            
 V  V            
 V  V            
 V  F            
 V  F            
 V  F            
 V  F            
 F  V            
 F  V            
 F  V            
 F  V            
 F  F            
 F  F            
 F  F            
 F  F            
 
Continuamos con la tercera columna.
Partimos de la segunda. Es decir, por lo tanto 2 filas verdaderas y 2 filas falsas.

 V V   V          
 V  V  V          
 V  V  F          
 V  V  F          
 V  F  V          
 V  F  V          
 V  F  F          
 V  F  F          
 F  V  V          
 F  V  V          
 F  V  F          
 F  V  F          
 F  F  V          
 F  F  V          
 F  F  F          
 F  F  F          
 
Continuamos con la cuarta columna.
Partimos de la tercera. Es decir, por lo tanto 1 filas verdaderas y 1 filas falsas.

 V V   V  V        
 V  V  V  F        
 V  V  F  V        
 V  V  F  F        
 V  F  V  V        
 V  F  V  F        
 V  F  F  V        
 V  F  F  F        
 F  V  V  V        
 F  V  V  F        
 F  V  F  V        
 F  V  F  F        
 F  F  V  V        
 F  F  V  F        
 F  F  F  V        
 F  F  F  F        
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la negación (). Es decir,
(NO).

 V V   V  V      
 V  V  V  F      
 V  V  F  V      
 V  V  F  F       p p
 V  F  V  V      
 V  F  V  F      
v f
 V  F  F  V       f v
 V  F  F  F      
 F  V  V  V      
 F  V  V  F      
 F  V  F  V      
 F  V  F  F      
 F  F  V  V      
 F  F  V  F      
 F  F  F  V      
 F  F  F  F      
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la negación (). Es decir,
(NO).

 V V   V  V F       
 V  V  V  F  V      
 V  V  F  V  F      
 V  V  F  F  V       p p
 V  F  V  V  F      
 V  F  V  F  V      
v f
 V  F  F  V  F       f v
 V  F  F  F  V      
 F  V  V  V  F      
 F  V  V  F  V      
 F  V  F  V  F      
 F  V  F  F  V      
 F  F  V  V  F      
 F  F  V  F  V      
 F  F  F  V  F      
 F  F  F  F  V      
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la conjunción (). Es decir,
(y).

 V V   V  V F     
 V  V  V  F  V    
 V  V  F  V  F    
 V  V  F  F  V     p q p q
 V  F  V  V  F     V V V
 V  F  V  F  V     V F F
 V  F  F  V  F     F V F
 V  F  F  F  V    
F F F
 F  V  V  V  F    
 F  V  V  F  V    
 F  V  F  V  F    
 F  V  F  F  V    
 F  F  V  V  F    
 F  F  V  F  V    
 F  F  F  V  F    
 F  F  F  F  V    
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la conjunción (). Es decir,
(y).

 V V   V  V F   V    
 V  V  V  F  V  V    
 V  V  F  V  F  V    
 V  V  F  F  V  V     p q p q
 V  F  V  V  F  F     V V V
 V  F  V  F  V  F     V F F
 V  F  F  V  F  F     F V F
 V  F  F  F  V  F    
F F F
 F  V  V  V  F  F    
 F  V  V  F  V  F    
 F  V  F  V  F  F    
 F  V  F  F  V  F    
 F  F  V  V  F  F    
 F  F  V  F  V  F    
 F  F  F  V  F  F    
 F  F  F  F  V  F    
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la disyunción (). Es decir,
(o).

 V V   V  V F   V  
 V  V  V  F  V  V  
 V  V  F  V  F  V  
 V  V  F  F  V  V  
 V  F  V  V  F  F   p q p q
 V  F  V  F  V  F   V V V
 V  F  F  V  F  F   V F V
 V  F  F  F  V  F   F V V
 F  V  V  V  F  F  
F F F
 F  V  V  F  V  F  
 F  V  F  V  F  F  
 F  V  F  F  V  F  
 F  F  V  V  F  F  
 F  F  V  F  V  F  
 F  F  F  V  F  F  
 F  F  F  F  V  F  
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la disyunción (). Es decir,
(o).

 V V   V  V F   V V   
 V  V  V  F  V  V  V  
 V  V  F  V  F  V  F  
 V  V  F  F  V  V  V  
 V  F  V  V  F  F  V   p q p q
 V  F  V  F  V  F  V   V V V
 V  F  F  V  F  F  F   V F V
 V  F  F  F  V  F  V   F V V
 F  V  V  V  F  F  V  
F F F
 F  V  V  F  V  F  V  
 F  V  F  V  F  F  F  
 F  V  F  F  V  F  V  
 F  F  V  V  F  F  V  
 F  F  V  F  V  F  V  
 F  F  F  V  F  F  F  
 F  F  F  F  V  F  V  
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la equivalencia (). Es decir,
(si y solo si).

 V V   V  V F   V V 
 V  V  V  F  V  V  V
 V  V  F  V  F  V  F
 V  V  F  F  V  V  V
 V  F  V  V  F  F  V p q pq
 V  F  V  F  V  F  V V V V
 V  F  F  V  F  F  F V F F
 V  F  F  F  V  F  V F V F
 F  V  V  V  F  F  V
F F V
 F  V  V  F  V  F  V
 F  V  F  V  F  F  F
 F  V  F  F  V  F  V
 F  F  V  V  F  F  V
 F  F  V  F  V  F  V
 F  F  F  V  F  F  F
 F  F  F  F  V  F  V
 
Continuamos con la quinta columna.
Partimos de la tabla de verdad del conector lógico. En este caso el conector lógico es la equivalencia (). Es decir,
(si y solo si).

 V V   V  V F   V V  V 
 V  V  V  F  V  V  V  V
 V  V  F  V  F  V  F  F
 V  V  F  F  V  V  V  V
 V  F  V  V  F  F  V  F p q pq
 V  F  V  F  V  F  V  F V V V
 V  F  F  V  F  F  F  V V F F
 V  F  F  F  V  F  V  F F V F
 F  V  V  V  F  F  V  F
F F V
 F  V  V  F  V  F  V  F
 F  V  F  V  F  F  F  V
 F  V  F  F  V  F  V  F
 F  F  V  V  F  F  V  F
 F  F  V  F  V  F  V  F
 F  F  F  V  F  F  F  V
 F  F  F  F  V  F  V  F
Formula bien formulada se puede clasificar en: Tautología, contradicción y contingencia

 V V   V  V F   V V  V 
 V  V  V  F  V  V  V  V
 V  V  F  V  F  V  F  F
 V  V  F  F  V  V  V  V
 V  F  V  V  F  F  V  F El resultado es verdadero y falso,
 V  F  V  F  V  F  V  F por ende, se clasifica como una
 V  F  F  V  F  F  F  V Contingencia.
 V  F  F  F  V  F  V  F
 F  V  V  V  F  F  V  F
 F  V  V  F  V  F  V  F
 F  V  F  V  F  F  F  V
 F  V  F  F  V  F  V  F
 F  F  V  V  F  F  V  F
 F  F  V  F  V  F  V  F
 F  F  F  V  F  F  F  V
 F  F  F  F  V  F  V  F
Reglas de inferencia
INFERENCIA LÓGICA: Es la manera como obtenemos conclusiones a partir de enunciados u
observaciones dadas, para ello utilizamos un proceso llamado demostración lógica, en el cual se utilizan las
REGLAS DE INFERENCIA:
Reglas de inferencia
Modus Ponendo Ponens (MPP)
Premisa 1: p  q
Premisa 2: p
Conclusión: q

Ejemplo:

Si asisto a los encuentros de los martes entonces podré resolver inquietudes

asisto a los encuentros de los martes
----------------------------------------------
Podré resolver inquietudes  Simbólicamente
p: asisto a los encuentros de los martes
q: podré resolver inquietudes
pq
p
---------
Reglas de inferencia
Modus Tollendo Tollens (MTT)
Premisa 1: rs
Premisa 2: ¬s
Conclusión: ¬r

Ejemplo:
 Simbólicamente
Si estudio en la UNAD entonces estudio a distancia
r: estudio en la UNAD
No estudio a distancia
s: estudio a distancia
---------------------------------------------------------------
No estudio en la UNAD ~s: No estudio a distancia

rs
~s
---------
Reglas de inferencia
Modus Tollendo Ponens (MTP)
Premisa 1: pvq
Premisa 2: ¬p
Conclusión: q

Ejemplo:
 Simbólicamente
Aura Elisa es tutora de Pensamiento Lógico o Herramientas digitales p: Aura Elisa es tutora de Pensamiento Lógico
Aura Elisa NO es tutora de Pensamiento Lógico q: Aura Elisa es tutora de Herramientas
-------------------------------------------------------------------- digitales
Aura Elisa es tutora de Herramientas digitales
p q
¬p
--------
q
Reglas de inferencia
Silogismo Hipotético
Premisa 1: rt
Premisa 2: ts
Conclusión: r  s

Ejemplo:
Simbólicamente
Si hoy es martes entonces es la asesoría del curso PML
Si es la asesoría del curso PML entonces a las 7:00 pm debo ingresar r: Hoy es martes
----------------------------------------------------------------------------------- t: la asesoría del curso PML
Hoy es martes entonces a las 7:00 pm debo ingresar s: a las 7:00 pm debo ingresar
rt
ts
---------
rs
Reglas de inferencia
Simplificación (SH)
 
• 
Premisa 1: t
Conclusión:

Ejemplo:
Desarrollo la tarea 1 del curso PML y obtengo los 100 puntos
-----------------------------------------------------------------------------------
Desarrollo la tarea 1 del curso PML

Simbólicamente
r: Desarrollo la tarea 1 del curso PML
t: obtengo los 100 puntos
Unidad 1: Tarea 1 – Métodos para Probar la Validez de
Argumentos

Ejemplo Ejercicio 2: Identificación de las reglas de la inferencia lógica

 
Expresión simbólica

________ _________ _________

 
 
Expresión simbólica

________
   Ley de inferencia de la expresión: Tollendo Ponens
 
Expresión simbólica (TP)

 Proposiciones simples:
: Asisto a los encuentros de los miércoles
: estudio el material de lectura.
:No estudio el material de lectura.
________
 Lenguaje natural:

Asisto a los encuentros de los miércoles o estudio el

material de lectura. No estudio el material de lectura. Por lo
tanto, asisto a los encuentros de los miércoles
 
Expresión simbólica

_________

 
 
Expresión simbólica

_________

 
  
 Ley de inferencia de la expresión: Silogismo Hipotético (SH)
 
Expresión simbólica  Proposiciones simples:
p: Carolina estudia Ingeniería Industrial en la UNAD
q: Carolina aprobó el curso de Cálculo Diferencial.
: Cálculo Diferencial es un curso propio de Ciencias Básicas

 Lenguaje natural:
_________
Si Carolina estudia Ingeniería Industrial en la UNAD
entonces Carolina aprobó el curso de Cálculo Diferencial. Si
Carolina aprobó el curso de Cálculo Diferencial entonces Cálculo
  Diferencial es un curso propio de Ciencias Básicas.
Por lo tanto, si Carolina estudia Ingeniería Industrial en la UNAD
entonces Cálculo Diferencial es un curso propio de Ciencias
Básicas.
 
Expresión simbólica

_________

 
 
Expresión simbólica

_________

 
  Ley de inferencia de la expresión: ModusTollendo
    Tollens (MTT)
Expresión simbólica

 Proposiciones simples:
p: María asiste a los B-Learning de PLM
q: Los B-Learning son presenciales.
: Los B-Learning no son presenciales.
: María no asiste a los B-Learning de PLM
_________
 Lenguaje natural:

  Si María asiste a los B-Learning de PLM entonces Los B-

Learning son presenciales. Los B-Learning no son
presenciales. Por lo tanto, María no asiste a los B-Learning
de PLM