PAT
PAT
PAT
(1) Hola, ¿qué tal? (4) Todos los hombres son inmortales
(p⋀q) →r
p⋀ (q 𝑉~ r)
c) “Carlos vendrá si y solo si ha recibido la carta o vendrá porque está interesado todavía en el
asunto”.
(p→q) ↔ (p⋀r)
V F V V
V V
(2) (5 − 3 = 8) → (1 − 7 = 6) (4) (4 + 6 = 9) ↔ (5 − 2 = 4)
F F F F
V V
F p=V
F F q=V
V F V F r=F
V F V s=V
V F
F
6. Se sabe que 𝑝 ⋀ 𝑞 𝑦 𝑞 → 𝑡 son falsas. De los esquemas moleculares siguientes, cuáles son
verdaderos: 𝐴 = (~𝑝 𝑉 𝑡) 𝑉 ~𝑞 ; 𝐵 = ~[𝑝 ⋀ ( ~𝑞 𝑉 ~𝑝)] ; 𝐶 = [(𝑝 → 𝑞) ⋀ ~ (𝑞 ⋀ 𝑡 )] ↔
[~𝑝 𝑉 (𝑞 ⋀ ~ 𝑡)]
𝑝⋀𝑞 𝑞→𝑡
F F
F V V F
CALCULE
F V V F V V
F V V
V V
V V
V
7. La proposición (𝑝⋀𝑞) → (𝑞 → 𝑟) es falsa, y se obtiene los esquemas moleculares: 𝐴 =
~(𝑞⋁𝑟)⋁(𝑝⋁𝑞), 𝐵 = (𝑝𝑉~𝑞) → (~𝑟⋀𝑞) 𝑦 𝐶 = [(𝑝⋀𝑞)⋁(𝑞⋀~𝑟)] ↔ (𝑝⋁~𝑟) cuales son
falsas.
(𝑝⋀𝑞) → (𝑞 → 𝑟)
F p=V
V F q=V
V V V F r=F
𝐴 = (𝑝 → ~𝑞) → (𝑟 → ~𝑠)
F q= F
V F p= V, F
V, F V V F r= V
F V s= V
11. Si la proposición (~𝑝 ∧ 𝑞) → (~𝑠 𝑉 𝑟) es falsa, de las proposiciones siguientes cuales son
verdaderas?: 𝐴 = ~[(𝑝 → 𝑞) → 𝑟]; 𝐵 = ~(~𝑝 ∧ 𝑞) ∧ (~𝑟 𝑉 𝑟) ∧ 𝑠 ; 𝐶 = [(𝑝𝑉~𝑞) ∧ 𝑝] 𝑉~𝑞
(~𝑝 ∧ 𝑞) → (~𝑠 𝑉 𝑟)
F p=F
V F q=V
V V F F r=F
s=V
𝐴 = [(𝑝 ∧ 𝑠) ∨ (∼ 𝑝 ∧∼ 𝑠)] ↔∼ 𝑠
A=[(p∧s)∨(∼p∧∼s)]∧∼∼s∨∼s∧[(p∧s)∨(∼p∧∼s)]
A=[(p∧s)∨(∼p∧∼s)]∧s∨∼s∧[(p∧s)∨(∼p∧∼s)]
A=(p∧s∧s)∨(∼p∧∼s∧s)∨(∼p∧∼s∧∼s)∨(p∧s∧s)∨(∼p∧∼s∧s)∨(p∧s∧∼s)
A=(p∧s)∨(∼p∧∼s)
B=[(∼p∨s)△∼p]△s
B=[(∼p∧∼∼p)∨(s∧∼p)]△s
B=[(∼p∧p)∨(s∧∼p)]△s
B=[(∼p∧p)△(s∧∼p)]△s
B=[(s∧∼p)]△s
B=(s∧∼p∧∼s)∨(∼s∧s∧∼p)
B=∼p∧∼s
P=V
s=V
p△s=F
14.
𝐴 = (𝑝 ↔ 𝑟)⋀~(~𝑝⋁~𝑞)
A=[(p∧r)∨(∼p∧∼r)]∧(p∧q) p=V
A=(p∧r∧p∧q)∨(∼p∧∼r∧p∧q) q=V
A=(p∧p∧q∧r)∨(∼p∧∼r∧p∧q) r=V
A=p∧q∧r
𝐵 = (𝑝 → 𝑞) ↔ (𝑝 ↔ 𝑟)
B=(∼p∨q)↔[(p∧r)∨(∼p∧∼r)]
B=(∼p∨q)↔(p∧r)∨(∼p∧∼r)
17.
F p=V
V F q=V
V V r=F
F V F s=F
V F V F V F t=F
V V
F F F V V F
F V F V
V
V F
F V
V