Logica Matematica

LÓGICA MATEMÁTICA
Recibe este nombre por que emplea signos y símbolos parecidos a los de las matemáticas también recibe otros nombres como lógica moderna, logística o lógica Booleana
Algunosrepresentantes de la lógica matemática son:
Bernall Russell, Roche Bool, Venn y Eullen
Se clasifican en:
1.- Lógica Proporcional
2.- Lógica de clases
3.- Lógica Cuantificaciónal
LÓGICA PROPORCIONALEste tipo de lógica se caracteriza por analizar proposiciones en sus valores de verdad
Ejemplo:
Alicia trae un jugo en el salón (V) P
Alicia no trae un jugo en el salón (F) P
Se emplean 2tipos
Enunciados atómicos y Enunciados moleculares

ENUNCIADOS ATÓMICOS
Son aquellos que no incluyen términos enlace por ejemplo:
p
q
r
ENUNCIADOS MOLECULARES
Son aquellos que si incluyentérminos enlace
(p . q) (p v q)
PROPOSICIONES ENUNCIADOS Y SENTENCIAS
Letras senténciales
Para representar las proposiciones o sentencias se emplean las letras senténciales “p” “q” “r” “s” queson minúsculas
Conectivos
Para elaborar formulas moleculares se emplean conectivos que son los siguientes:
CONECTIVAS |
N.P | NOMBRE | SIMBOLO | SE LEE |
1 | Negación | - | No |
2 |Conjunción | • | Y |
3 | Disyunción | v | O |
4 | Condicional | | Entonces |

VALORES DE VERDAD PARA LAS LETRAS SENTENCIALES
V= Verdadera (1)
F= Falso (0)
Para una letra senténciales tenemos:
pv
f
Para dos letras senténciales tenemos:
p q
v v
f v
v f
f f
Para tres letras senténciales tenemos los siguientes valores de verdad
p q r
v v v
f v v
v f v
ff v
v v f
f v f
v f f
f f f
La fórmula para obtener los valores de verdad de las letras senténciales es:
2
2x2= 9x2= 8

TABLAS DE VERDAD
Para cada conectiva existe unatabla de verdad, la tabla de verdad para la negación es:
(“-“)
Ley de la negación: cuando una preposición es verdadera su negación es falsa y viceversa
La conjunción de dos letras senténciales...