CONECTIVAS LÓGICAS

-Las oraciones pueden conectarse entre sí por medio de partículas con valor lógico

-Las principales partículas son cinco, que equivalen a las siguientes:

Y  , O, SI…(ENTONCES), SI Y SÓLO SI, NO

No = NEGADOR

SI Y SÓLO SI = BICONDICIONAL

. SÍMBOLOS AUXILIARES

-Son paréntesis y corchetes, que sirven para agrupar los otros símbolos de manera que se puedan evitar ambigüedades:

(  )  [   ]

RECURSIVIDAD

Podemos seguir aplicando esto en general: dadas las oraciones O y O’, son también oraciones las siguientes:

O y O’, O o O’, Si O entonces O’, no O, etc

EJERCICIOS BÁSICOS

1. GRADO

• ¬((p®¬q)®(s®r))
• ¬(p®q)®((q«r)Ú(¬pÙs))
• p®(q®(r®(s®(r®(q®p)))))
• (((((p®q)®r)®s)®r)®q)®p
• (((p®q)®r)®s)®(r®(q®p))
• (p®(rÚ¬q))Ú((sÙ¬q)«p)
• pÙ(¬qÚ(rÙ(¬sÙ(rÚ(¬qÚp)))))
• (p«p)Úp
• (pÚq)«(qÚp)
• (p®q)«(q®p)