Documentos de Académico
Documentos de Profesional
Documentos de Cultura
< Modus Ponens, Modus Tollens, Silogismo Disyuntivo, Doble Negación, Simplificación,
Conjunción, Conmutación, Silogismo Hipotético >
1.
⊢ Da
2.
⊢ ¬Rg
3.
4.
⊢ ¬Ad
K4.
K5.
⊢ Ds
K6.
1) (Pa→ ¬Rt) →Fts
2) Dta ∧ ¬Fts
3) ¬[Dta ∧ ¬(Pa→ ¬Rt)] ∨ ¬Alm
4) ¬Alm → (¬Fts→ Rt)
5) Rt → ¬Pa
⊢ ¬¬¬Pa
K7.
⊢ ¬¬¬¬Nf
K8.
K8’.
⊢ (∀x)(Ax)
< Implicación Material, Adición, Dilema constructivo, Dilema destructivo, Idempotencia >
K9.
K9’.
K10.
K11.
K13.
K14.
1) [Ab → (¬Rt → Fs)] → (∀x) (Ax → Bx)
2) ¬Tm ∧ Fs
3) [¬Tm ∧ (∀x→ Bx)] → (Nd ∨ Tm)
4) [Nd ∧(∀x)(Ax → Bx)] → [(Ms→¬Ds)∧ (Zs→ ¬Ds)
5) ¬Ms → Zs
6) (∃y) (Xy) ↔ (¬Ds ∨ ¬Lm)
⊢ (∃y) (Xy)
K15.
K16.
K17.
K18.
K19.
K20.
1) (∀x) (Rx→( Bx→ ¬Cx)) → ¬ {[(Ta ∨ ¬Rb) ∧ Rb] → Ta}
2) (∃y) ( Dy ∧ ¬Ny) ↔ (∃x) (Rx ∧ (Bx ∧ Cx)
3) Mg ∧ {¬ (∀y) (Dy→Ny)→ [((∀x) (Xx) → Mg) →¬((∃z)(Wz) ∧ Mg)]}
K21.