Attachment

SISTEMAS LOGICOS
LUISA FERNANADA ALVAREZ DE LA VEGA
JUAN PABLO PACHECO CABRALES
LINA FERNANDA SANCHEZ ROA
LUIS SEBASTIAN RIVERO
SEBASTIAN GRANADA
10°B

SISTEMAS LOGICOS
En el siglo XX se handesarrollado no uno, sino
varios sistemas lógicos diferentes, que
capturan y formalizan distintas partes del
lenguaje natural. Se podría definir a un sistema
lógico como un conjunto de cosas, que nos
ayudanen la toma de decisiones que sean lo
más convenientemente posible.
Un sistema lógico está compuesto por:


Un

Un

conjunto de símbolos primitivos.

conjunto de reglas de formación,
que nos dicecómo construir formulas
bien formadas a partir de los símbolos
primitivos.

PRINCIPIOS LOGICOS CLASICOS
Son los principios por los que
funciona la lógica clásica funcionan
como absolutos, dentro deesta
lógica existen unas reglas para
definir si una formulación es
lógicamente correcta o no. Dichos
principios son los siguientes

PRINCIPIO DE BIVALENCIA
Toda proposición es o bien
verdadera o bienfalsa. Decimos
que son 2 posibles valores de
verdad, es corriente simbolizar
estos valores como V/F
Forma lógica: <>

PRINCIPIO DE NO-CONTRADICCION
Es imposible que algo sea y no sea almismo tiempo
y en el
mismo sentido «es imposible que A sea B» EJEMPLO:
No se puede afirmar y negar el mismo predicado a un mismo
sujeto, al mismo tiempo y bajo el
mismo aspecto.
El ejemplo de la imagenesta
Musculoso o es flaco

LOS ACEPTAN LOS
 Sistemas lógicos clásicos:son los más estudiados y

utilizados de todos. En esta encontramos:
 CALCULO PROPOSICIONAL: Es el estudio de las

relacioneslógicas entre objetos llamados
proposiciones, que frecuentemente pueden
interpretarse como afirmaciones que tienen algún
significado en contextos de la vida real. El calculo
proposicional opera sobreproposiciones así que es
necesario explicar que es una proposición y en que
se distingue de las oraciones declarativas.

En el cálculo proposicional se utilizan

letras minúsculas p,q,r,s… para...