Lógica

1. LÓGICA PROPOSICIONAL
GRUPO N° 06
INTEGRANTES:
UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SÁNCHEZ
CARRIÓN
FACULTAD DE INGENIERÍA INDUSTRIAL, SISTEMAS E
INFORMÁTICA
ESCUELA DE INGENIERÍA ELECTRÓNICA
● CALLUPE CERNA, BERNARDO JEFRY.
● GAVINO RAMOS, PAOLO BRANDO.
● HENRIQUEZ CAMACHO, JOSÉ LUIS
● RIVAS CANO, IARLEY.
● SÁNCHEZ TENA, ARNOLD
● VILELA JARA, REIVI

2. p q ~ 𝑝 ~ 𝑞 ~ 𝑝 → ~ 𝑞 ~ (~ 𝑝 → ~ 𝑞) 𝑝 → 𝑞 ~ 𝑝 ^ 𝑞 ~ (~ 𝑝 ^ 𝑞) ( 𝑝→ 𝑞) ^ ~ (~ 𝑝 𝑞) ~ (~ 𝑝 → ~ 𝑞) ↔ ( 𝑝 → 𝑞)^ ~(~ 𝑝^𝑞)
V V F F V F V F V V F
V F F V V F F F V V V
F V V F F V V V F F F
F F V V V F V F V V F

3. p q ~p 𝑝 → 𝑞 ~ 𝑝^q ~(~ 𝑝^q) (p→ 𝑞)^~(~ 𝑝^q) ~ 𝑞 𝑝 v ~q ~(𝑝 v ~q) (p→ 𝑞)^~(~ 𝑝^q)↔~(𝑝 v ~q)
V V F V F V V F V F F
V F F F F V F V V F V
F V V V V F F F F V V
F F V V F V V V V F F

4. p q ~ 𝑝 ~ 𝑞 ~ 𝑝 → ~ 𝑞 ~ (~ 𝑝 → ~ 𝑞) ~ 𝑞 𝑝 v~ 𝑞 ~ ( 𝑝 v ~ 𝑞) ~ (~ 𝑝 → ~ 𝑞) ↔ ~ ( 𝑝 v ~ 𝑞)
V V F F V F F V F V
V F F V V F V V F V
F V V F F V F F V V
F F V V V F V V F V