Lógica: Tablas de verdad.

Conjunción ^ Disyunción v Condicional → Bi-Condicional ↔

Lógica: Prueba Formal.

Reglas de inferencia:

- Modus Ponens: - Silogismo Hipotético: - Dilema Constructivo: - Ley de Clavius: ● ═ Conclusión.

1- P→Q 1- P→Q 1- (P→Q) ^ (R→S) 1- ¬P→P ¬ ═ Negación.
2- P 2- Q→R 2- PvR ●- P ∀ ═ Universal.
●- Q ●- P→R ●- QvS ∃ ═ Existencial.
Φ ═ Fí.
- Modus Tollens: - Silogismo Disyuntivo: - Dilema Destructivo: - Transitividad del Bi- ⊨ ═ Secuente Sem.
1- P→Q 1- PvQ 1- (P→Q) ^ (R→S) Condicional: ⊢ ═ Secuente Sin.
2- ¬Q 2- ¬P 2- ¬Qv¬S 1- P↔Q
●- ¬P ●- Q ●- ¬Pv¬R 2- Q↔R
●- P↔R
- Simplificación: - Adición: - Conjunción:
1- P^Q 1- P 1- P
●-P ó Q ●- PvQ 2- Q
●- P^Q

Reglas de equivalencia(≡):

- Importación: - Equivalencia Material: - Ley de Morgan:

(P→(Q→R)) ≡ (P^Q)→R) (P↔Q) ≡ ((P→Q)^(Q→P)) (P^Q) ≡ ¬(Pv¬Q)
(P↔Q) ≡ ((P^Q)v((¬P^¬Q)) (¬P^Q) ≡ ¬(Pv¬Q)
- Conmutación - Doble Negación: - Idempotencia: (¬P^¬Q) ≡ ¬(PvQ)
(P^Q) ≡ (Q^P) ¬¬P ≡ P (P^P) ≡ P (P^¬Q) ≡ ¬(¬PvQ)
(PvQ) ≡ (QvP) (PvP) ≡ P

- Asociación: - Negación del Condicional:

(P^(Q^R)) ≡ ((P^Q)^R) ¬(P→Q) ≡ (P^¬Q)
(Pv(QvR)) ≡ ((PvQ)vR) - Implicación Material:
(P→Q) ≡ (¬PvQ)
- Distribución: - Exportación:
(P^(QvR)) ≡ ((P^Q)v(P^R)) ((P^Q)→R) ≡ (P→(Q→R))
(Pv(Q^R)) ≡ ((PvQ)^(PvR))

Reglas de cuantificadores:

- Eliminación del cuantificador ∀ x: - Eliminación del cuantificador ∃ x: - Adición del C. ∀ x: - Adición del C. ∃ x:
(∀ x) Φx (∃ x) Φx Φa ó Φb Φa
------------ ------------ ------------ -----------
Φa Φa ó Φb (∀ x) Φx (∃ x) Φx