Explorando tag

Lógica

Lógica y Matemáticas

Tautología: Todo VContradicción: Todo FContingencia: Lo demás¬(p^q)=¬pv¬q // ¬(pvq)=¬p^¬qp->q = ¬pvqpq = (p->q)^(q->p)->p->(p^q)adición(p^q)->psimplificación(p^q)->p^qconjunción(p^(p->q))->qmodus ponens(¬q^(p->q))->¬pmodus tollens((p->q)^(q->r))->(p->r)silogismo hipotético((pvq)^(¬p))->qsilogismo disyuntivo((pvq)^(¬pvr))->(qvr)ley de resoluciónDemostaciones:-Directa: Suponer p, simplificarlo …