Taller Sobre Reglas de Inferencia

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 4

Taller sobre reglas de inferencia

Ejercicio 1
A continuación, encuentra el lenguaje simbólico de expresiones que
representan algunas leyes de inferencia.

A partir del argumento en lenguaje simbólico deberá dar respuesta a lossiguientes


ítems:
⮚ Nombrar la ley de inferencia que representa cada expresión
simbólica.
⮚ 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
ejemplo:

p: Carlos estudia en la Americana


q: La Americana es una Universidad ubicada en Barranquilla

Las proposiciones simples deben ser de autoría de cada grupo de estudiantes


➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
simbólico.
Ejercicio 2

A continuación, encontrará los argumentos para el desarrollo delejercicio 2:

A. Si al dividir 12 entre 6 obtenemos 2, entonces la división no tiene residuo. Si la división


no tiene residuo, entonces 12 es divisible por 6.
a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
c. Conclusión:

B. Si un administrador de empresas liderara organizaciones que contribuyen a la


construcción del progreso económico, entonces un administrador de empresas ayuda a la
economía de un país. Un administrador de empresas no ayuda en la economía de un país.
a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
c. Conclusión:

C. En el almuerzo de hoy comeré mojarra frita con arroz de coco o un mote de ñame con
suero. En el almuerzo de hoy no comeré un mote de ñame con suero.
a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
c. Conclusión:

D. El razonamiento matemático es estructurado o todos nacemos con la capacidad de


desarrollar este tipo de habilidades. Si el razonamiento matemático es estructurado,
entonces, el razonamiento matemático es clave para el desarrollo de las habilidades
matemáticas. Si todos nacemos con la capacidad de desarrollar este tipo de habilidades,
entonces, al realizar ejercicios de matemáticas estimulamos una parte de nuestro cerebro.
a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
c. Conclusión:
E. Pitágoras es un matemático griego, entonces, Pitágoras es el fundador de la Escuela pitagórica.
Pitágoras es un matemático griego.

a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
c. Conclusión

Ejercicio 3

A. Expresión simbólica: [ (𝑞 ⟶∼ 𝑟) 𝖠 (𝑝 → 𝑞 )] → (𝑝 ⟶ ∼ 𝑟 )

Premisas:
P1: (𝑞 ⟶∼ 𝑟)
P2: (𝑝 → 𝑞 )
Conclusión: (𝑝 ⟶ ∼ 𝑟 )

B. Expresión simbólica: {(𝑝 ⟶ 𝑟) 𝖠 (𝑞 ⟶ 𝑝) 𝖠 (𝑝 𝖠 𝑞)} ⟶ (𝑞 𝖠 𝑟)


Premisas:
P1: (𝑝 ⟶ 𝑟)
P2: (𝑞 ⟶ 𝑝)
P3: (𝑝 ˄ 𝑞)
Conclusión: (𝑞 ˄ 𝑟)

C. Expresión simbólica: [(𝑝 → ¬𝑞) ˄ (𝑞 ∨ ¬𝑟) ˄ 𝑟] → ¬𝑝 Premisas:


P1: 𝑝 → ¬𝑞P2: 𝑞 ∨
¬𝑟 P3: 𝑟
Conclusión: ¬𝑝

D. Expresión simbólica: [(∼ 𝑝 ∨∼ 𝑞) ˄ (𝑝) ˄ (𝑝 →∼ 𝑟)] → (∼ 𝑞 ˄∼ 𝑟)


Premisas:
P1: (∼ 𝑝 ∨∼ 𝑞)
P2: (𝑝)
P3: (𝑝 →∼ 𝑟)
Conclusión: (∼ 𝑞 ˄∼ 𝑟)

E. Expresión simbólica: [(∼ 𝑝 ˄∼ 𝑟) ˄ (∼ 𝑝 → 𝑞) ˄ (𝑞 →∼ 𝑟)] → (𝑞 ˄∼ 𝑟)


Premisas:
P1: (∼ 𝑝 ˄ ∼ 𝑟)
P2: (∼ 𝑝 → 𝑞)
P3:(𝑞 →∼ 𝑟)
Conclusión:(𝑞 ˄∼ 𝑟)

⮚ Definir las proposiciones simples, tendrá la libertad de definirla bajouna


descripción basada en un contexto, el que se solicita es un contexto
académico, ejemplo:
● p: Carlos estudia en la Americana
● q: La Americana es una Universidad ubicada en Barranquilla
⮚ Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural.
⮚ Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual) y compara
con el resultado usando un simulador de internet.

También podría gustarte