logica proposicional

INSTITUTO TEGNOLOGICO DE ESTUDIOS SUPERIORES DE LOS CABOS




“Por una patria con sabiduría y progreso”
“LOGICA PROPOSICIONAL”

MATEMATICAS DISCRETAS

CARRERA:
ING. EN SISTEMASCOMPUTACIONALES

NOMBRE DEL ALUMNO:
FRANCISCO RODRIGUEZ GUEVARA

DOCENTE:
L.S.C. MAURO ANTONIO JERONIMO MONTERO







INICIO














INTRODUCCIÓN:
En este tema de LógicaProporcional se encaden los tipos de proposiciones compuestas, así como las tablas de verdad que las integran a cada una de las proposiciones de ellas.
Decimos que las lógica proporcional es un sistemapara analizar ciertos tipos de argumentos, en las proposiciones compuestas se desglosan los siguientes: negación, conjunción, disyunción, bicondicional y condicional. En la cual también integran cadauna tabla que muestran el manejo de cada proposición si es verdadero o falso dependiendo su caso.



















LOGICA PROPOSICIONAL:
En lógica, la lógica proposicional esun sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas,capaces de formar otras fórmulas de mayor complejidad. Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango deargumentos que analiza.
Se debe contar con un conjunto de símbolos para realizar el procesamiento matemático de los enunciados y de las formulas:


CONECTIVIDAD
SIMBOLO
LENGUAJE NATURALFORMALIZACION
Conjunción
∧
Pepe es bombero y María es camarera.
P ∧ Q

Disyunción
∨
Pepe es bombero o María es camarera.
P ∨ Q

Implicación
→
Si pepe es bombero entonces María es camarera
P → QNegación
¬
Pepe no es bombero
¬ p











PROPOSICION:

La proposición es un enunciado declarativo que puede tener caracteres de verdad o falso pero no ambos.
Enunciados...