ASIGNATURA: MATEMATICA

LÓGICA PROPORCIONAL
INTEGRANTES:

CARPIO SOLORZANO, KATHIA

GRANADA ZUTA, FIORELLA
ROJAS FERNANDEZ, NILDA
BENITES NEGREIROS, KATHERYN

DOCENTE: MIRANDA VALER, ALEXANDRA.

CICLO I
2022-II
 LÓGICA
PROPORCIONAL
Los enunciados lógicos en si son frases declarativas y pueden ser falsas (F) o
verdaderas (V) que nos indica el valor de la verdad dele enunciado.

Se clasifican en dos tipos

EQUIVALENCIAS NOTABLES Y
ESQUEMA PROPOSICIONAL IMPLICACIONES
proposicion
PROPOSICIÓN SIMPLE compuesta Esta dividido por

POR CONJUNCIÓN POR NEGACIÓN,

Son conectores que no Son enunciados que CONDICIONAL Y
Y DISYUNCIÓN
tienen conectores están compuestas por BICONDICIONAL
lógico o términos de dos o mas proposiciones TAUTOLOGÍA
enlace. se representan simples, que se forman
médiate p,q,r,s,t y se una oración mediante Los valores conectivos
Doble negación
denomina variables conectores lógicos. dominantes son
Conmutativa Distributiva
proposicionales. verdaderos.
Asociativa Leyes de
Conectores Lógicos Idempotencia Morgan
CONTRADICCIÓN Identidad Tercero excluido
Absorción Implicación

Conjunción:∧ Cuando los valores

toman para el conectivo
Equivalencia.

Disyunción: ∨ dominante son falsos.

Condicional: ⇒ CONTINGENCIA

Disyunción: ⇔
Los valores conectivos
Disyunción Exclusiva: ⊻ dominantes hay por lo
menos una V y una F.
Negación:
Gracias.