Reglas de lógica simbólica

MODUS PONENDO PONENS

MODUS TOLLENDO TOLENS

MODUS TOLLENDO PONENS

                  P  →  Q

                  P           [pic 1]

                  Q

                  P  →   Q

                  ¬ Q           [pic 2]

                  ¬ P

                  P   ˅   Q

                  ¬ P           [pic 3]

                  Q

P  →  Q

“Si llueve, entonces las calles se mojan”

P  →   Q

“Si llueve, entonces las calles se mojan”

P   V   Q

“He ido al cine o me he ido de compras”

P

“Llueve”

¬ Q

“Las calles no se mojan”

¬ P

“No he ido de compras”

Q

“Luego, las calles se mojan”

¬ P

“Luego, no llueve”

Q

“Por tanto, he ido al cine”

SILOGISMO HIPOTETICO

ADICIÓN

SIMPLIFICACIÓN

P  →  Q

Q  →  R[pic 4]

P  →  R

P

P ˅ Q[pic 5]

P ˄ Q[pic 6]

P

Q

P  →  Q

“Si bebo me embriago”

P

“He comprado manzanas”

P ˄ Q

“Tengo una manzana y tengo una pera”

Q  →  R

“Si me embriago, golpeo sin control”

P ˅ Q

“He comprado manzanas o he comprado peras”

P

“Tengo una manzana”

P  →  R

“Si bebo, golpeo sin control”

Q

“Tengo una pera”

CONJUNCIÓN

DILEMA CONSTRUCTIVO

DILEMA DESTRUCTIVO

P

Q[pic 7]

P ˄ Q

(P  →  Q) ˄ (S  →  R)

               P ˅ S[pic 8]

               Q ˅ R

(P  →  Q) ˄ (S  →  R)

(¬ Q) ˅ (¬ R)[pic 9]

(¬ P) ˅ (¬ S)

P

“Juan es cocinero”

Q

“Pedro es policía”

P ˄ Q

“Juan es cocinero y Pedro es policía”