UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

FACULTAD DE CIENCIAS AGROPECUARIAS

ESCUELA PROFESIONAL ECONOMÍA AGRARIA

Practica en clase 01
(Lógica)

APELLIDOS Y Flores Nina Alenky Sofia Victoria

NOMBRES
CODIGO 2020-109022
GRUPO B
FECHA 25-06-2020

I. A continuación, se presentan 4 ejercicios, resolver e interpretar.

1) Decidir si el esquema molecular:

( 𝑝 → 𝑞 ) → [( 𝑞 → ~𝑟 ) → ~𝑞] Es una
tautología.

(𝑝 → 𝑞) → [( 𝑞 → ~𝑟 ) → ~𝑞]
1 1 1 0 0 1 0
1 1 1 1 1 0 0
0 1 0 1 0 1 1
0 1 0 1 1 1 1
1 1 1 0 0 1 0
1 0 1 1 1 0 0
1 1 0 1 0 1 1
1 1 0 1 1 1 1

Se obtiene una contingencia

2) Sea el esquema molecular definido como E:
[(𝑝 ˅ 𝑞) ↔ ~(𝑝 ˅ 𝑞)] ˅ {(~𝑝 ˅ 𝑞) → ~[(𝑞 ˄ 𝑟) → ~𝑝] ˄ [(𝑟 → ~(𝑞 ˅ 𝑝)]}

Decir si E es satisfacible.
[𝑟 → ( ~𝑝 ˅ ~𝑞 ) ]

3) Deducir si el esquema molecular:

[( 𝑝 ˄ 𝑞 ) ˅ ( 𝑝 ˄ 𝑟 )] → (𝑞 ˄ 𝑟)
[(𝑝 ˄ 𝑞 ) ˅ ( 𝑝 ˄ 𝑟)] → (𝑞 ˄ 𝑟)
 1 1 1 1 1
1 1 1 0 0
0 1 1 1 1
0 1 1 0 0
0 1 1 0 0
0 1 1 0 0
0 0 0 1 0
0 0 0 1 0

No tiene relacion
Es la negación de:
~(𝑞→ 𝑞) = Tautologia

4) Simplificar el esquema molecular siguiente:

{( ~𝑝 ˅ ~𝑞 ) ˄ [( ~𝑞 ˅ ~𝑝 ) ˅ (~𝑞 ˅ ~𝑟)]} → (~𝑝 ˅ ~𝑞)

{( ~𝑝 ˅ ~𝑞 ) ˄ [( ~𝑞 ˅ ~𝑝 ) ˅ (~𝑞 ˅ ~𝑟)]} → (~𝑝 ˅ ~𝑞)

0 0 0 0 0 1 0
0 0 0 1 1 1 0
0 0 1 1 1 1 1
0 0 1 1 1 1 1
0 0 1 1 0 1 1
0 0 1 1 1 1 1
1 1 1 1 1 1 1
1 1 1 1 1 1 1

Esto es una tautologia

DOCENTE: Ing. César Diego Meléndez Domínguez