Universidad Abierta Para Adultos

(UAPA)

Participantes:
CRISTAL PAULINO 100023008
JEREMY VELEZ 100031318
CHRISTIAN RODRÍGUEZ 100026578
JENNSY NUÑEZ 100031369
GARBER BATISTA 100024855

Carrera:
Ingeniería en Software e Informática Gerencial

Tema: 
Lógica de Predicados

Asignatura: 
Matemática Discreta

Facilitador: 
Zolio A. Marrero Siri

Fecha De Entrega: 
10/09/2021
I. Realice la comprobación tautológica de las siguientes reglas (usa
1 para verdadero y 0 para falso).
  Adición

𝑷 → (𝑷∨ 𝑸)
P Q (𝑃∨ 𝑄) 𝑃 → (𝑃∨ 𝑄)

1 1 1 1

1 0 1 1

0 1 1 1

0 0 0 1

Es tautología

 Simplificación

(𝑷 ∧ 𝑸) → 𝑷
P Q (𝑃 ∧ 𝑄) (𝑃 ∧ 𝑄) → 𝑃

1 1 1 1

1 0 0 1

0 1 0 1

0 0 0 1

Es tautología.

 Modus Ponens

[𝑷 ∧ (𝑷 → 𝑸)] → 𝑸
P Q (𝑃 → 𝑄) 𝑃 ∧ (𝑃 → 𝑄) [𝑃 ∧ (𝑃 → 𝑄)] → 𝑄

1 1 1 1 1

1 0 0 0 1

0 1 1 0 1

0 0 1 0 1

Es tautología

 Modus Tollens

[(𝑷 → 𝑸) ∧ ¬𝑸] → ¬𝑷
 P Q ¬ ¬𝑄 (𝑃 → 𝑄) (𝑃 → 𝑄) ∧ ¬𝑄 [(𝑃 → 𝑄) ∧ ¬𝑄] → ¬𝑃
𝑃
1 1 0 0 1 0 1

1 0 0 1 0 0 1

0 1 1 0 1 0 1

0 0 1 1 1 1 1

Es tautología

 Silogismo Hipotético

[(𝑷 → 𝑸) ∧ (𝑸 → 𝑹)] → (𝑷 → 𝑹)
P Q R (𝑃 → 𝑄) (𝑄 → 𝑅) (𝑃 → 𝑅) (𝑃 → 𝑄) ∧ (𝑄 → 𝑅) [(𝑃 → 𝑄) ∧ (𝑄 → 𝑅)] → (𝑃 → 𝑅)

1 1 1 1 1 1 1 1

1 1 0 1 0 0 0 1

1 0 1 0 1 1 0 1

1 0 0 0 1 0 0 1

0 1 1 1 1 1 1 1

0 1 0 1 0 1 0 1

0 0 1 1 1 1 1 1

0 0 0 1 1 1 1 1

Es tautología

 Silogismo Disyuntivo

[(𝑷 ∨ 𝑸) ∧ ¬𝑷] → 𝑸)
P Q ¬𝑃 (𝑃 ∨ 𝑄) (𝑃 ∨ 𝑄) ∧ ¬𝑃 [(𝑃 ∨ 𝑄) ∧ ¬𝑃] → 𝑄)

1 1 0 1 0 1

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

0 0 1 0 0 1

Es tautología

 Conjunción

[𝑷 ∧ 𝑸] → (𝑷 ∧ 𝑸))
P Q (𝑃 ∧ 𝑄)) [𝑃 ∧ 𝑄] → (𝑃 ∧ 𝑄))

1 1 1 1

1 0 0 1

0 1 0 1

0 0 0 1

Es tautología

 Dilema Constructivo

P Q R S (𝑃 → 𝑄) (𝑅 → 𝑆) (𝑃 ∨𝑅) (𝑄 ∨𝑆) [(𝑃 → 𝑄)∧(𝑅 → 𝑆) ∧ [(𝑃 → 𝑄)∧(𝑅 → 𝑆)∧(𝑃 ∨𝑅)]

(𝑃 → (𝑄 ∨𝑆)
∨ 𝑅)]

1 1 1 1 1 1 1 1 1 1

1 1 1 0 1 0 1 1 0 1

1 1 0 1 1 1 1 1 1 1

1 1 0 0 1 1 1 1 1 1

1 0 1 1 0 0 1 1 0 1

1 0 1 0 0 1 1 0 0 1

1 0 0 1 0 0 1 1 0 1

1 0 0 0 0 1 1 0 0 1

0 1 1 1 1 1 1 1 1 1

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

0 1 0 0 1 1 0 1 0 1

0 0 1 1 1 1 1 1 1 1

0 0 1 0 1 0 1 1 0 1

0 0 0 1 1 1 0 1 0 1

0 0 0 0 1 1 0 1 0 1

Es tautología

 Dilema Destructivo

P Q S R ¬𝑃 ¬𝑅 ¬𝑄 ¬𝑆 (𝑃 → 𝑄) (𝑅 → 𝑆) (¬𝑄 (¬𝑃 [(𝑃 [(𝑃 → 𝑄) ∧ (𝑅

∨ ¬𝑆) ∨ ¬𝑅) → 𝑄) → 𝑆) ∧ (¬𝑄
∧ (𝑅 ∨ ¬𝑆)]
→ 𝑆) → (¬𝑃 ∨ ¬𝑅)
∧ (¬𝑄
∨ ¬𝑆)]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Es tautología

 Contradicción

P C ¬𝑃 (¬𝑃 → 𝐶) (¬𝑃 → 𝐶) → 𝑃

1 1 0 1 1

1 0 0 1 1

0 1 1 1 0

0 0 1 0 1

No es tautología

 Demostración Condicional

P Q R (𝑃 ∧ 𝑄) (𝑄 → 𝑅) (𝑃 → (𝑄 → 𝑅)) [(𝑃 ∧ 𝑄) ∧ (𝑃 [(𝑃 ∧ 𝑄) ∧ (𝑃 → (𝑄 → 𝑅))]

→ (𝑄 → 𝑅))] →𝑅

1 1 1 1 1 `1 1 1

1 1 0 1 0 0 0 1

1 0 1 0 1 1 0 1

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

0 1 0 0 0 1 0 1

0 0 1 0 1 1 0 1

0 0 0 0 1 1 0 1

Es Tautología