LÓGICA PROPOSICIONAL Versión 1.

0
MATEMÁTICA BÁSICA 2023-I

MATEMÁTICA BÁSICA - LOGICA

PROPOSICIONAL
Ciencias de la comunicación,
MA-181
Profesor: Curo Chimaico ,Iván

I. C ONCEPTOS B ÁSICOS CONJUNCIÓN

Enlazan dos proposiciones mediante el conectivo lógi-
La lógica proposicional es la parte de la lógica basada en co y .
proposiciones.
Una proposición lógica es aquel enunciado que asume un Tabla
único valor de verdad sin ambigüedad, es decir es verdadero
o falso.
Por ejemplo
-Lima es la capital de Perú.
-5 es mayor que 7.
Conectivos lógicos son sı́mbolos que niegan una proposición
o enlazan dos o más proposiciones.
Por ejemplo
- Lima es la capital del Perú y 5 es mayor que 7.

DISYUNCIÓN
Enlazan dos proposiciones mediante el conectivo lógi-
II. TABLAS DE VERDAD co o .

Tabla
Es una tabla que muestra el valor de verdad de una propo-
sición compuesta para cada combinación de valores de verdad
que se puede asignar a sus componentes.

II-A. PRINCIPALES CONECTIVOS LÓGICOS

NEGACIÓN CONDICIONAL
Es aquel conectivo que cambia el valor de verdad de Permite enlazar proposiciones mediante el conectivo
la proposición. lógico Si p, entonces q.
Tabla
Tabla

Prohebido la reproducción
 LÓGICA PROPOSICIONAL Versión 1.0
MATEMÁTICA BÁSICA 2023-I

Otras formas de expresar la condicional p → q es:

-Si p, q
-p sólo si q
-p es suficiente para q
-Cuando p, q
-p por lo tanto q
-q dado que p
-q porque p
-q dado que p
-q siempre que p

BICONDICIONAL
Enlazan dos proposiciones mediante el conectivo lógi-
co o .

Tabla

DISYUNCIÓN FUERTE
Enlazan dos proposiciones mediante el conectivo lógi-
co o .

Tabla

Nota:
La jerarquı́a de las proposiciones es negación, conjunción,
disyunción, condicional y bicondicional; pero tienen mayor
jerarquı́a los signos de agrupación.

III. APLICACIONES
Determine la matriz principal después de confeccionar la
tabla de verdad de la proposición
∼ (p ∨ q )←→( ∼ p ∧ q )