6.14.1. Utiliza los elementos y reglas del razonamiento de la lógica de enunciados.

EJERCICIOS



1. Los símbolos formales pueden ser de tres tipos:

1.1. Variables proposicionales (p, q, r...)

1.2. Concectores o juntores (^, v, -->, <-->, ¬)

1.3. Símbolos auxiliares: ( ), [ ], { }

2. Unas reglas de "formación de fórmulas", que nos dicen cuándo una fórmula o expresión lógica está bien formada (ebf)

3. Reglas de transformación de fórmulas o reglas de inferencia, que nos permiten deducir o derivar correctamente unas fórmulas a partir de otras.

En la lógica de enunciados o proposicional la unidad mínima es el enunciado, es decir, un segmento lingüístico que tiene sentido completo por sí mismo:

Esta fiesta es muy divertida

Esta fiesta es muy divertida y la música es muy buena


Para que un enunciado sea tal, tiene que poder atribuírsele valores de verdad o falsedad.

En el caso de las dos oraciones anteriores, la verdad o falsedad habrá de determinarse empíricamente, comprobando si, de hecho, la fiesta es divertida y buena la música. En este caso, además, la dificultad es aún mayor ya que se trata de una afirmación subjetiva.

La lógica de enunciados (o lógica proposicional), trata del estudio de la composición de enunciados mediante conectores (y, o, si...entonces, etc.) y se fundamenta en el principio de bivalencia, según el cual, todo enunciado es verdadero o falso, pero nunca ambas cosas a la vez.

Podemos decir, por lo tanto, que la lógica de enunciados se dedica a formalizar las proposiciones del lenguaje natural en un lenguaje simbólico y a definir los conectores, estudiando las leyes de combinación o deducción de los enunciados que las contienen.


TABLAS DE VERDAD