UNIVERSIDAD POLITECNICA

SALESIANA
• NOMBRE: DAVID BENAVIDES VASCONEZ
• CURSO: 203
• GRUPO: 7
• PROFESOR: DR. PEDRO GONZALEZ
• ASIGNATURA: LOGICA
 PROPOSICIONES LOGICAS

Expresión o afirmación, con significado en un

idioma de la cual tenga sentido decir si es
“verdadera” y “falsa”.

Proposiciones
Simples

CLASIFICACION
Proposiciones
Compuestas
 CONECTIVAS LÓGICAS

Tipos de expresión de un lenguaje lógico

que nos permite formar formulas
complejas.

A cada conectiva lógica le corresponde un símbolo

Conectiva Símbolo Lenguaje natural Formalización

Conjunción A Pepe es bombero y María es camarera pAq

Disyunción V Pepe es bombero o María es camarera pVq

Implicación -> Si Pepe es bombero, entonces María es camarera p -> q

Negación ¬ Pepe no es bombero ¬p

 LENGUAJE
SIMBÓLICO

Capacidad propia de los seres humanos, que

consiste en relacionar realidades con un símbolo.

EJEMPLOS

Las religiones monoteístas abrahámicas

Una de las mayores muestras del
dominan el mundo desde hace unos
impacto del lenguaje simbólico en la
milenios. La totalidad del mundo
humanidad son los símbolos de las
occidental y gran parte del oriental está
religiones.
fuertemente influenciado por alguna de
las religiones abrahámicas.
 Lenguaje Proposicional

En este lenguaje, las fórmulas representan Mañana es miércoles

proposiciones, y están relacionadas entre ellas por o mañana es jueves
conectivas lógicas. : p o q (p v q)

Toda variable proposicional es una fbf

Si A es una fbf, entonces ¬A también
Si A y B son fbf, entonces también lo son A^B, AvB,
A->B, A<->B
Las reglas para La jerarquía de conectivas es:
¬
construir fbfs son: ^y v
-> y <->
La fbf queda definida por la conectiva de mayor
jerarquía.
 REGLAS SINTACTICAS

Son los métodos de produccion de sentencias o instrucciones válidas que

permiten y dan formar a un programa. las reglas sintácticas permiten
reconocer si una cadena o serie de símbolos es correcta gramaticalmente y a su
vez información sobre su significado o semántica.