FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1
TABLA DE CONECTIVOS LÓGICOS
CONECTIVO FUNCIÓN SÍMBOLO LECTURA
a) Conjunción Juntar, • Y, pero, mas, también,
Agregar, mientras, sin embargo
Adherir, ^ Tanto…….como……
(enunciados /no términos) & Aunque, además
b) Disyunción Presentar alternativas u opciones A menos que, o,
i) Inclusiva: El uno o La “o” en medio de las
el otro o ambos proporciones simples. v
ii) Exclusiva: El uno o el Presenta una sola opción v Ni………ni………..
otro, pero no ambos La “o” antes de la primera O bien…… o…….
proposición y otra “o” en medio de O bien……..a menos que…….
las proporciones. O el uno ó el otro pero
no ambos
c) Condicional Presenta una relación hipotética
entre 2 o más eventos que tengan Si ...
una secuencia lógica. entonces …
→
Es necesario que ocurra “A” Se sigue que,
(antecedente) para que suceda Implica que,
“B” (consecuencia) Contiene a
d) Bicondicional Implica una relación de igualdad o ↔ Si y solo si
de equivalencia Equivalente
• La Negación Niega una proposición, cambia o Es falso que
invierte el valor de verdad de una No es el caso que No es
proposición.
~ cierto que No ocurre que
No sucede que
• Signos ( ) { } [] Cuando existe una “coma”;
1. Agrupación Determinan orden y prioridad de “punto”, y “punto y coma”,
los términos
, . ; aislar la expresión siguiente
2. Puntuación con signos de agrupación.
TABLAS DE VERDAD
v v → ↔ ~
Proposiciones Conjunción Disyunción Disyunción
Condicional Bicondicional Negación
Inclusiva Exclusiva
P q pvq
Antecedente Consecuente
p q pvq p→q p↔q P ~P
V V V V F V V
V F
V F F V V F F
F V F V V V F
F V
F F F F F V V
1
FACULTAD DE INGENIERIA Y SISTEMAS
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL GUÍA DE UNIDAD 2
TABLA DE VERDAD Y
UNIDAD 2: LÓGICA SIMBOLICA CONECTIVOS LOGICOS
ING. MELENDEZ
REVISION 2023-1
PRUEBA FORMAL DE VALIDEZ E INVALIDEZ DE UN
ARGUMENTO
REGLAS DE INFERENCIA
1. Modus Ponens (M.P.) 2. Modus Tollens (M · T)
pq pq
p q
q p
3. Silogismo hipotético (S.H.) 4. Silogismo disyuntivo (S.D.)
pq pq pvq
qr ó rp p o q
pr rq q p
5. Dilema Constructivo (D.C.) 6. Absorción (Abs.)
(p q) · (r s) pq o pq
pvr p (q · p) p (p · q)
qvs
7. Simplificación (Simp.) 8. Conjunción (Conj.)
p·q p·q p p
p q q o q
p·q q · p
9. Adición (Ad.)
p
pvq
REGLA DE REEMPLAZO
X- Teoremas de De Morgan (De M)
XI- Conmutación (Conm.)
a) (p . q) (p v q)
a) (p v q) (q v p)
b) (p v q) (p · q)
b) (p . q) (q · p)
XII- Asociación (Asoc.)
XIII- Distribución (Dist.)
a) [p v (q v r)] [(p v q) v r]
a) [p . (q v r)] [(p . q) v (p . r)]
b) [p . (q . r)] [(p . q) . r]
b) [p v (q . r)] [(p v q) . (p v r)]
XIV- Doble negación (D.N.) XV- Transposición (Trans.)
p p (p q) (q p)
XVII- Equivalência Material (Equiv.)
XVI- Implicación Material (Impl.)
a) (p q) [(p q) . (q p)]
(p q) (p v q)
b) (p q) [(p . q) v (p . q)]
XIX- Tautologia (Taut.)
XVIII- Exportación (Exp.)
a) p (p v p)
[(p . q) r] [p (q r)]
b) p (p . p)
