Tabla de Verdad Maria

GUÍA DE ACTIVIDADES Y RÚBRICA DE EVALUACIÓN UNIDAD 1-
TAREA 1
MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
MARÍA ALEJANDRA DIAZ FIGUEROA
PENSAMIENTO LÓGICO MATEMÁTICO

DOC. JUAN SEBASTIAN HERNANDEZ
CÓDIGO:
200611
UNIVERSIDAD ABIERTA A DISTANCIA (UNAD)

PSICOLOGÍA
BARRANQUILLA
2022
Contenido
INTRODUCCIÓN.....................................................................................................................................3
OBJETIVOS..............................................................................................................................................3
Punto #1......................................................................................................................................................4
Punto #2......................................................................................................................................................6
Punto #3......................................................................................................................................................7
Punto #4......................................................................................................................................................8
INTRODUCCIÓN
En este trabajo tengo el propósito de desarrollar de una manera clara un desarrollo sobre las
tablas de verdad, aplicar las leyes de inferencias que permiten resolver operaciones básicas,
analizar información, hacer uso del pensamiento reflexivo y del conocimiento del mundo que nos
rodea, para aplicarlo a la vida cotidiana.
El pensamiento lógico matemático es fundamental para comprender conceptos abstractos,
razonamiento y comprensión de relaciones que permite establecer relaciones entre los diferentes
conceptos y llegar a una comprensión más profunda.
OBJETIVOS
 Analizar el tema propuesto en la guía

 Identificar los documentos más beneficiosos para un buen entendimiento
 Reconocer la importancia de conocer cómo se crea una tabla de verdad
 Diferenciar las leyes de inferencia
Punto #1
EJERCICIO C.
p: Los futbolistas colombianos de ligas europeas participarán
en partidos de selección
q: Los futbolistas deben respetar acuerdos internos de sus
equipos
r: El calendario de las fechas programadas sigue vigente.
[(¬p v q) v ¬ (p Λ ¬r)]
A partir del argumento que haya seleccionado deberá dar respuesta a

los siguientes ítems:
➢ Escriba la proposición compuesta propuesta en lenguaje natural.

R/ Los futbolistas colombianos de ligas europeas no participaran en partidos de la selección o los
futbolistas deben respetar acuerdos internos de sus equipos, o no se cumple que los futbolistas
colombianos de ligas europeas participarán en partidos de selección y el calendario de las fechas
programadas no sigue vigente
➢ Generar una tabla de verdad manualmente a partir del lenguaje

simbólico y determinar si el resultado es una tautología,
contingencia o contradicción.
p q r ¬p ¬r (¬p v (p Λ ¬ (p Λ [(¬p v q) v ¬ (p
q) ¬r) ¬r)] Λ ¬r)]
Verdad Verdad Verdad Falso Falso Verdad Falso Verdad Verdadero
ero ero ero ero ero
Verdad Verdad Falso Falso Verdad Verdad Verdad Falso Verdadero
ero ero ero ero ero
Verdad Falso Verdad Falso Falso Falso Falso Verdad Verdadero
ero ero ero
Verdad Falso Falso Falso Verdad Falso Verdad Falso Falso
ero ero ero
Falso Verdad Verdad Verdad Falso Verdad Falso Verdad Verdadero
ero ero ero ero ero
Falso Verdad Falso Verdad Verdad Verdad Verdad Falso Verdadero
ero ero ero ero ero
Falso Falso Verdad Verdad Falso Falso Falso Verdad Verdadero
ero ero ero
Falso Falso Falso Verdad Verdad Falso Verdad Falso Verdadero
ero ero ero
Podemos probar la validez o valor de verdad de la proposición compuesta depende de la validez

o valor de verdad de las proposiciones simples, concluimos que se trata de una contingencia.
➢ Generar la tabla de verdad a través del simulador Lógica UNAD,
el paso a paso para uso del simulador lo podrá encontrar en el
anexo 2 (Simulador Lógica UNAD)
Punto #2
C. Expresión simbólica
 Nombrar la ley de inferencia que representa cada expresión simbólica.

Modus ponens
 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las
mismas proposiciones simples en cada una de las 3 expresiones simbólicas
seleccionadas)
a= Esta soleado
b= Es de día
 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.
Si esta soleado, entonces es de día. esta soleado, por lo tanto, es de día.

Modus tollens
seleccionadas)
r= Esta soleado
s= Es de día
Esta soleado si es de día. No es de día, por lo tanto, no está soleado.
Simplificación
seleccionadas)
p = Es de día
q = Esta soleado
Es de dia y esta soleado, por lo tanto, es de dia.
Punto #3
C. Si la importancia de la educación emocional es vital desde la infancia, entonces una parte
importante de educar a tus hijos es enseñarle buenos modales. La importancia de la educación
emocional es vital desde la infancia
p= la importancia de la educación emocional es vital desde la infancia
q= una parte importante de educar a tus hijos es enseñarle buenos modales
 Conclusión: Por lo tanto, (q) entonces una parte importante de educar a tus hijos es
enseñarle buenos modales.
 Ley de inferencia aplicada: Modus ponens
 Lenguaje simbólico:
p 1= p →q
p 2= p
Q=q
Punto #4
C. Expresión simbólica
[(p ∧ q) ∧ (p →r)] → (r ∧ q)
Premisas:
P1: p ∧ q
P2: p →r
Conclusión: r ˄ q
 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico
p= María aprueba lógica matemática
q= Estudia métodos para probar validez de argumentos
r= Estudia teoría de conjuntos
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante
María aprueba lógica matemática y Estudia métodos para probar validez de argumentos, María
aprueba lógica matemática entonces Estudia teoría de conjuntos Por lo tanto Estudia métodos
para probar validez de argumentos y Estudia teoría de conjuntos
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
p q r (p∧q) (p→r) (p∧q)∧(p→r) (r∧q) ((p∧q)∧(p→r))→(r∧q)

Verdad Verdad Verdad Verdad Verdad Verdadero Verdade Verdadero
ero ero ero ero ero ro
Verdad Verdad Falso Verdad Falso Falso Falso Verdadero
ero ero ero
Verdad Falso Verdad Falso Verdad Falso Falso Verdadero
ero ero ero
Verdad Falso Falso Falso Falso Falso Falso Verdadero
ero
Falso Verdad Verdad Falso Verdad Falso Verdade Verdadero
ero ero ero ro
Falso Verdad Falso Falso Verdad Falso Falso Verdadero
ero ero
Falso Falso Verdad Falso Verdad Falso Falso Verdadero
ero ero
Falso Falso Falso Falso Verdad Falso Falso Verdadero
ero
Podemos probar la validez o valor de verdad de la proposición compuesta depende de la validez

o valor de verdad de las proposiciones simples, concluimos que se trata de una Tautologia.
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Tabla de Verdad Maria

Cargado por

Copyright:

Formatos disponibles

Tabla de Verdad Maria

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tabla de Verdad Maria

Cargado por

Copyright:

Formatos disponibles

GUÍA DE ACTIVIDADES Y RÚBRICA DE EVALUACIÓN UNIDAD 1-

MARÍA ALEJANDRA DIAZ FIGUEROA

PENSAMIENTO LÓGICO MATEMÁTICO

UNIVERSIDAD ABIERTA A DISTANCIA (UNAD)

 Analizar el tema propuesto en la guía

A partir del argumento que haya seleccionado deberá dar respuesta a

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

➢ Generar una tabla de verdad manualmente a partir del lenguaje

Podemos probar la validez o valor de verdad de la proposición compuesta depende de la validez

 Nombrar la ley de inferencia que representa cada expresión simbólica.

 Nombrar la ley de inferencia que representa cada expresión simbólica.

p q r (p∧q) (p→r) (p∧q)∧(p→r) (r∧q) ((p∧q)∧(p→r))→(r∧q)

Podemos probar la validez o valor de verdad de la proposición compuesta depende de la validez

También podría gustarte