Tipos de premisas.

Se denomina Lenguaje Formal a un Lenguaje Artificial cuyos signos son formales (es decir, carecen de significado) y cuya sintaxis permite operar con dichos signos como en un cálculo.

Pues que tales signos no se refieren en absoluto a la realidad. Así, por ejemplo, el signo matemático ‘2’ no se refiere a dos cosas concretas, como dos manzanas o dos peras; y lo mismo le ocurre, como veremos inmediatamente, a los signos lógicos ‘p’, ‘q’, ‘r’, (variables) que no se refieren a ninguna proposición determinada, pudiendo representar a cualquiera.

Una proposición lógica es una afirmación que puede ser verdadera o falsa pero no ambas cosas a la vez. Las proposiciones lógicas se denotan o identifican utilizando letras minúsculas. En el siguiente ejemplo definimos las proposiciones p, q, r, y s. 

p: Un cubo tiene 5 caras (proposición falsa)

q: Martina mide menos de 165 cm (proposición verdadera)

r: 8 + 3 = 11 (proposición verdadera)

Las proposiciones pueden ser simples o compuestas. En esta sección definiremos las proposiciones simples.

Una proposición simple es aquella que está formada por una sola proposición y por lo tanto, no puede descomponerse a su vez en otras proposiciones.

Una proposición también puede ser compuesta. Se dice que una proposición lógica es compuesta, si está formada por varias proposiciones simples, enlazadas por conectivos lógicos.

6.1  Conectivos lógicos.

En total existen cinco conectivos lógicos. Estos conectivos lógicos son:

·      “y”,

·      “o”,

·       “no” (o “no es cierto que”),

·      “entonces” y

·       “si y sólo sí”.

·       Beatriz nació en Caracas “y” es venezolana “y” es mayor de edad

·       Hoy llueve “o” hace sol.

·       Hoy llueve y llevo paraguas “o” hace sol y no llevo paraguas.