Lógica simbólica

b) símbolos no lógicos: letras enunciativas

p,q,r,s,t... p1,p2,p3...

c) símbolos auxiliares: paréntesis. Seguiremos las siguientes reglas:

     1. Suprimir paréntesis exteriores: escribiremos p ® q en lugar de (p® q).

     2.Omitir paréntesis internos en el caso de reiteración de conjunciones o disyunciones; escribiremos:

p v q v r v s en lugar de (p v q) v (r v s)

p Ù q Ù r Ù s en lugar de (p Ù q) Ù (r Ù s)

     3.Otorgar preponderancia al condicional y al bicondicional sobre el coyuntor y el disyuntor.

En el caso de encontrarnos con p Ù q ®  r v s, entenderemos p Ùq®  r v s en lugar de p Ù q®  r v s ó p Ùq ®  r v s

Siempre que haya duda, es mejor colocarlos.

10.- Reglas de formación de fórmulas

Una fórmula o expresión está bien formada si se atiene a las siguientes reglas:

     1.Una letra enunciativa es una fórmula bien formada.

     2.Si p es una fórmula bien formada, Øp también lo es

     3.Si p y q son fórmulas bien formadas, entonces también lo son p Ù q, p v q, p ® q y p « q.