SISTEMAS LÓGICOS

Un sistema formal es un tipo de

sistema lógico constituido por un
lenguaje formal, una gramática formal
que son las expresiones correctamente
formadas de dicho.
Un sistema lógico está compuesto por:

1.-Un conjunto de símbolos primitivos (conectivas

lógicas, cuantificadores, variables, el alfabeto o
vocabulario).

2.-Un conjunto de reglas que nos dice cómo construir

fórmulas bien formadas a partir de los símbolos
primitivos.

3.-Un conjunto de axiomas o esquemas de axiomas.

Cada axioma debe ser una fórmula bien formada.

4.-Un sistema deductivo o conjunto de reglas de

inferencia y axiomas. Por ejemplo, una regla de
inferencia clásica es: Dada una fórmula A, y otra fórmula
B o sea A → B.
 TABLAS DE VERDAD

Las tablas de verdad es una estrategia de la

lógica que permite establecer la validez de
varias propuestas en cuanto a cualquier
situación, determina las condiciones
necesarias para que sea verdadero un
enunciado propuesto.

Si se dice que es verdadero a ambas

variables se les asigna la letra (V), si algunas
de las variables no se cumple se les asigna
la letra (F).
Tablas de Verdad
Tablas de Verdad
Tablas de Verdad
Ejercicio1.- Cuál de las siguientes expresiones son
lógicamente equivalentes a (p v q) ˄ r , desarrolle
las tablas de verdad de cada una para demostrarlo.

a) p→ (q ˄ r )

b) (p → q) ˄ r

c) (p → q) ˄ r

d) p → (q v r)