Está en la página 1de 3

LÓGICA 5.

CONECTORES LOGICOS
PROPOSICIONAL Símbolos que enlazan dos o más proposiciones
simples para formar una proposición compuesta
1. LÓGICA: Lógica es una ciencia formal que estudia Los conectores lógicos que usaremos son:
la estructura o formas del pensamiento humano
(como proposiciones, conceptos y SIMBOLO NOMBRE SIGNIFICADO
razonamientos) para establecer leyes y principios ~ Negación No “p”
válidos para obtener criterios de verdad
∧ Conjunción “p” y “q”
(ES UNA EXPRESION QUE POSEE SENTIDO,
∨ Disyunción “p” o “q”
COHERENCIA)
2. PROPOSICION: Una proposición es una ∆ Disyunción O… O…
EXPRESION que se puede calificar con un cierto Fuerte
VALOR DE VERDAD → Condicional Si “p”
entonces “q”
(VALOR DE VERDAD = Significa que puede ser ↔ BiCondicional “p” si y solo
verdadero o falso) si “q”
Ejemplos:
OBS: La negación es un conector monódico, afecta solamente a
 2+2=4 una proposición.
 Atahualpa conquisto Europa
6. OPERACIONES LÓGICAS Y TABLAS DE VERDAD:
 12 > 6
 Piernita de Pescado La validez de una proposición compuesta
depende de los valores de verdad de las
3. VARIABLES PROPOSICIONALES: Representan proposiciones simples que la componen y se
cualquier proposición simple suelen usarse para determina mediante una tabla de verdad.
referirnos a una proposición simple o para Negación
simbolizar (formalizar) cualquier proposición del
P -P
lenguaje natural cuya estructura o forma lógica
V F
subyacente sea simple. F V

4. CLASES PROPOSICIONALES
Conjunción
PROPOSICIÓN SIMPLE p q p∧q
Son proposiciones que no tienen conjunciones V V V
V F F
gramaticales ni adverbio de negación.
F V F
EJEMPLO: F F F

Disyunción
 Cincuenta es múltiplo de cien
 1+2=0 p q p∨q
V V V
PROPOSICIÓN COMPUESTA V F V
F V V
 29 es un número primo y 5 es impar.
F F F
 1+2=3 y 2+2=4
Disyunción Fuerte b) 𝒑 𝒗 𝒒 = 𝒒 𝒗 𝒑
c) 𝒑 ↔ 𝒒 = 𝒒 ↔ 𝒑
p q p∆q
 ASOCIATIVA
V V F
V F V
a) (𝒑 ^ 𝒒 )^ 𝒓 = 𝒒 ^( 𝒑 ^ 𝒓)
F V V b) (𝒑 𝒗 𝒒)𝒗 𝒓 = 𝒒 𝒗 (𝒑 𝒗 𝒓)
F F F  DISTRIBUTIVA
a) 𝒑 𝒗 (𝒒 ^ 𝒓) = (𝒑 𝒗 𝒒) ^ (𝒑 𝒗 𝒓)
b) 𝒑 ^ (𝒒 𝒗 𝒓) = (𝒑 ^ 𝒒)𝒗 (𝒑 ^ 𝒓)
Condicional  LEY DE D* MORGAN
p q p→q a) − (𝒑 𝒗 𝒒) = −𝒑 ^ − 𝒒
V V V b) − (𝒑 ^ 𝒒) = −𝒑 𝒗 − 𝒒
V F F  DOBLE NEGACIÓN
F V V a) – (−𝒑)
F F V  LEY DE ABSORCIÓN
a) 𝒑 𝒗 (𝒑 ^ 𝒒) = 𝒑
b) 𝒑 ^ (𝒑 𝒗 𝒒) = 𝒑
Bicondicional c) 𝒑 𝒗 (−𝒑 ^ 𝒒) = 𝒑 𝒗 𝒒
p q p↔q d) 𝒑 ^ (−𝒑 𝒗 𝒒) = 𝒑 ^ 𝒒
V V V  CONDICIONAL
V F F a) 𝒑 → 𝒒 = (−𝒑) 𝒗 𝒒
F V F
b) 𝒑 → 𝒒 = −𝒒 → −𝒑
F F V
 BI CONDICIONAL
a) 𝒑 ↔ 𝒒 = (𝒑 ^ 𝒒) 𝒗 (−𝒑 ^ − 𝒒)
OBSERVACIÓN: La cantidad de filas en una tabla es:  DISYUNCIÓN EXCLUSIVA
a) 𝒑 ∆ 𝒒 = −( 𝒑 ↔ 𝒒
#𝒅𝒆 𝒇𝒊𝒍𝒂𝒔 = 𝟐𝒏  ELEMENTO NEUTRO
Donde “n” es la cantidad de Proposiciones Simples
a) 𝒑 𝒗 𝑭 = 𝒑
b) 𝒑 𝒗 𝑽 = 𝑽
7. IMPORTANTE: c) 𝒑 ^ 𝑭 = 𝑭
d) 𝒑 ^ 𝑽 = 𝒑
 Cuando los valores del operador principal  COMPLEMENTO
son todos verdaderos se dice que el a) 𝒑 𝒗 (−𝒑) = 𝑽
esquema molecular es TAUTOLÓGICO b) 𝒑 ^ (−𝒑) = 𝑭
 Se dirá que el esquema molecular es PARA RECORDAR LAS TABLAS DE VERDAD
CONTRADICTORIO si los valores del  Negación: Siempre se Opone
operador principal son todos falsos.  Conjunción: Siempre es Verdadero para
 Si los valores del operador principal tiene que el resultado sea Verdadero
por lo menos una verdad y una falsedad se  Disyunción: Basta que uno sea Verdadero
dice que es CONTINGENTE O para que el resultado sea Verdadero
CONSISTENTE  Disyunción Fuerte: Tenemos que recordar
el siguiente ejemplo: “ O puede ser Varón,
8. LEYES DE ÁLGEBRA PROPOSICIONAL: O puede ser Mujer pero no los dos al
 INDEMPOTENCIA mismo tiempo”
a) 𝒑 ^ 𝒑 = 𝒑  Condiciona: V  F = F y todos los demás
b) 𝒑 𝒗 𝒑 = 𝒑 Verdaderos
 CONMUTATIVA  Bi condicional: Lo contrario a la disyunción
a) 𝒑 ^ 𝒒 = 𝒒 ^ 𝒑 fuerte
TEORIA DE
CONJUNTOS

También podría gustarte