Scribd
Cargar
114 vistas3 páginas

Reglas de Equivalencia en Proposiciones

Este documento presenta un ejercicio sobre reglas de equivalencia e inferencia en cálculo proposicional. El estudiante debe determinar si pares de proposiciones son equivalentes mediante tablas de verdad, y luego demostrar la equivalencia de aquellas que lo son utilizando reglas de equivalencia, mostrando cada paso. También debe obtener tablas de verdad para tres proposiciones para probar su equivalencia.

Cargado por

Adrián Casillas
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
114 vistas3 páginas

Reglas de Equivalencia en Proposiciones

Este documento presenta un ejercicio sobre reglas de equivalencia e inferencia en cálculo proposicional. El estudiante debe determinar si pares de proposiciones son equivalentes mediante tablas de verdad, y luego demostrar la equivalencia de aquellas que lo son utilizando reglas de equivalencia, mostrando cada paso. También debe obtener tablas de verdad para tres proposiciones para probar su equivalencia.

Cargado por

Adrián Casillas
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd

Carrera:

Ciclo: Cá lculo Proposicional


Nombre del mó dulo: Reglas de equivalencia e inferencia

Tema: 1.1 Reglas de equivalencia

Nombre:
CP5nombre

Instrucción: Utilizando las reglas de equivalencia, resuelve los ejercicios de simplificació n y


equivalencia de proposiciones compuestas, segú n se indica en cada caso. Guarda tu archivo
[Link] y sú belo como tarea.

1.1.- Paralas proposiciones que se muestran a continuación realiza la tabla de verdad e


indica los pares de proposiciones que son o no equivalentes al revisar la evaluación de
sus tablas de verdad.
¿Son equivalentes las
Proposiciones proposiciones?
a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p → q) →(q → p) ]
b) (p ↔ q) con (∼p ↔ ∼q)
c) [p → (q ∨ r)] con [(p → q) ∨ (q → r)]
d) [p → (q ∧ r)] con [∼p ∨ (q ∧ r)]
e) [∼ (p ∨ q)] con (∼p ∨ ∼q)

1.2. Para las proposiciones del ejercicio anterior que determinaste que son equivalentes por
su tabla de verdad, debes demostrar que son equivalentes utilizando las reglas de
equivalencia del tema 3.1 Reglas de equivalencia. Para cada par de proposiciones debes
indicar la regla de la regla de equivalencia que utilizaste y la proposición que resulta de
utilizar cada regla, hasta realices la demostración. Agrega renglones a cada una de las tablas
en caso de requerir aplicar más de 3 reglas de equivalencia.

a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p → q) →(q → p) ]


Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

b) (p ↔ q) con (∼p ↔ ∼q)


Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

c) [p → (q ∨ r)] con [(p → q) ∨ (q → r)]


Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia
d) [p → (q ∧ r)] con [∼p ∨ (q ∧ r)]
Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

e) [∼ (p ∨ q)] con (∼p ∨ ∼q)


Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

2.- Obtén la tabla de verdad de la siguientes 3 proposiciones para probar las tres
proposiciones son equivalentes.

a) p → (q ∨ r)
Tabla de verdad:

b) (p ∧ ∼q) → r
Tabla de verdad:

c) (p → q) ∨ (p → r)
Tabla de verdad:

También podría gustarte