Práctica 3.docx

Lógica proposicional (PRACTICA 3) Docente: Gonzáles de la Cruz, Gustavo 05. Desplegar la tabla de verdad en:

01. Desplegar la tabla de verdad en:

[(𝒑∧q) ∨ 𝒒] ∧~q

p ∧ (p → q) p V

q V

V

F

F

V

F

F

∧

p

(p

→

q)

p

q

[(𝒑

∧

q)

∨

𝒒]

∧

~q

(p

↔

q)

(~p

→

~q)

02. Desplegar la tabla de verdad en: (p ↔ q) → p p

q

06. Desplegar la tabla de verdad en: ↔

(p

q)

→

p (p → q) ∨ (p ↔ q)

p

(p

q

→

q)

∨

07. Evaluar la condicional A→B 03. Desplegar la tabla de verdad en: A: (~p ∨ q) B: (~q→~p)

~[(𝒑↔q) → 𝒓] p

q

r

~

[(𝑝 ↔

q)

→ 𝑟]

p

q

(~p

∨

q)

→

08. Se define el operador lógico € mediante la siguiente tabla de verdad.

04. Desplegar la tabla de verdad en: (p ∨ q) ↔ (~p → q) p

q

(p

∨

q)

↔

(~p

→

q)

p

q

V V F F

F V F V

p€ q F F V F

Hallar:

[(𝑝 € q) € 𝑝] → (p € q) p

INSTITUTO PACCELLY

q

[(𝑝 €

q)

€

𝑝]

→

(p

€

q)