Tema Nº 7: LÓGICA SIMBÓLICA

7.1. INTRODUCCIÓN
7.1.1. Definición. ¿Qué es la lógica simbólica?
La lógica formal es la disciplina filosófica que estudia las estructuras formales del pensamiento y las relaciones que tales estructuras presentan.

La lógica simbólica es una parte de la lógica formal que emplea un lenguaje formailzado en el razonamiento deductivo y diversas variedades de cálculo.

La lógica simbólica ha recibido diversos nombres; nombres tales como “algebra lógica”, “logística”, “lógica matemática”, “lógica pasigráfica”, “lógica ideográfica”, etc. en el siglo pasado; hoy, tales denominaciones están en desuso. La misma denominación de “lógica simbólica” tiende a ser reemplazada por la de “lógica formal” o simplemente …ver más…

Cuando se combinan las simples dan lugar a las proposiciones compuestas, se combinan mediante conectivas.

7.2.2. Las conectivas

Las conectivas son conceptos de relación que sirven para formalizar proposiciones compuestas. Son conceptos tales como “y”, “o”, “incompatible con”, etc. Estos conceptos son representados mediante símbolos especiales, del siguiente modo:

SÍMBOLO | SE LEE | NOMBRE | ~·VV→↔↓⁄ | noyo…o amboso…o pero no ambossi, entoncessi y sólo sini…niincompatible con | negaciónconjuncióndisyunción incluyentedisyunción excluyentecondicionalbicondicionalnegación conjuntaincompatibilidad o negación alternada |

APLICACIÓN | SE LEE | ~ pp . qp v qp v qp → qp↔qp↓qp ⁄ q | no p o no es el caso que pp y qp o q o ambosp o q pero no ambossi p, entonces qp si y sólo si qni p ni qp es incompatible con q |

Ejemplos de proposiciones compuestas:
~ p . ~ q la tiza no es blanca y el cuaderno no está sobre la mesa. r v s o Juan es perezoso o es inteligente t v p o estudias o vas al cine q → p si llueve, hace frio

7.2.3. Los esquemas proposicionales

Varias proposiciones compuestas unidas entre sí por conectivas dan lugar a esquemas proposicionales. En estos casos se hace uso de paréntesis para