NOTACIÓN SIMBÓLICA

Indicamos los signos lógicos empleados en la presente obra, así como varios otros signos que han sido, y son aún, usados en textos lógicos.

El uso de paréntesis sigue las normas indicadas en el artículo Paréntesis.

En lógica sentencial (lógica proposicional, lógica de proposiciones, lógica de enunciados) se simbolizan las sentencias (proposiciones enunciados) mediante las letras ‘p’, ‘q’, ‘r’, ‘p'’, ‘q'’, ‘r'’ , ‘p''’, ‘q''’, ‘r''’, etc., que llamamos «letras sentenciales» («letras proposicionales»).

Las conectivas usadas en la citada lógica y en otras ramas de la lógica son:

‘No’ o negación. Se simboliza por ‘¬’. Así, ‘¬ p’ se lee ‘no p’. Otros signos usados son: ‘~’ (empleado en otras ediciones de esta obra y en textos que siguen la notación de los Principia Mathematica)', ‘—’, ‘'’ (este último se sobrepone a la letra o letras: ‘p’), ‘'’ (este signo se