Lógica matemática I

Lógica de proposiciones

Jonatan Goméz Perdomo, Ph.D.

[email protected]

Arles Rodrı́guez, Ph.D.(c)

[email protected]

Camilo Cubides, Ph.D.(c)

[email protected]

Grupo de investigación en vida artificial – Research Group on Artificial Life – (Alife)

Departamento de Ingenierı́a de Sistemas e Industrial
Facultad de Ingenierı́a
Universidad Nacional de Colombia

2do semestre de 2013

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 1 / 42
 Lógica proposicional

Agenda

1 Lógica proposicional
Proposiciones
El lenguaje de la lógica proposicional
Léxico
Sintaxis
Semántica
Precedencia de conectivos lógicos
Interpretaciones y tablas de verdad
Tautologı́as, contradicciones y contingencias
Tablas de verdad
Leyes
Equivalencias lógicas
Implicaciones lógicas

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 2 / 42
 Lógica proposicional Proposiciones

Agenda

1 Lógica proposicional
Proposiciones
El lenguaje de la lógica proposicional
Léxico
Sintaxis
Semántica
Precedencia de conectivos lógicos
Interpretaciones y tablas de verdad
Tautologı́as, contradicciones y contingencias
Tablas de verdad
Leyes
Equivalencias lógicas
Implicaciones lógicas

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 3 / 42
 Lógica proposicional Proposiciones

Proposiciones I

Definición
Una proposición es un juicio, afirmación o enunciado el cual se puede
calificar como verdadero o falso, pero no ambos simultáneamente.
No es necesario saber de antemano sı́ es verdadero o falso.
Pero con certeza el enunciado debe poseer algún valor fijo que lo
califique.
No debe haber incertidumbre acerca de sı́ se posee un valor que lo
califique.
Una proposición consta básicamente de tres partes:
Un sujeto: del cual se dice algo o que él hace algo.
Un verbo: que indica un estado o una acción que realiza el sujeto.
El complemento: que describe o aclara el estado o acción que
realiza el sujeto.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 4 / 42
 Lógica proposicional Proposiciones

Proposiciones II

Ejemplos
Los siguientes enunciados son ejemplos de proposiciones
p: El jugador está en la casilla [2, 2].
q: El archipiélago de San Andrés, Providencia y Santa Catalina pertenece
a Colombia.
r : El perro corre velozmente por la pradera jugando con la pelota azul y
verde.
s: 2p+ 2 6= 4.
t: 3 125 = 5.
u: El universo tiene una longitud infinita.
v : Está lloviendo.
w : Mañana es sábado.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 5 / 42
 Lógica proposicional Proposiciones

Proposiciones III

Ejemplos
Los siguientes enunciados son ejemplos que no son proposiciones
¿Vamos mañana a cine?; ¿Hacemos quiz?. (interrogaciones)
¡Ah, cuánta mentira hay en esos argumentos!; ¡No te vayas!.
(exclamaciones, deseos)
No te aprendas la tablas de memoria; No te metas con ese muchacho;
Cállate. (consejos, mandatos)
El lindo y hermoso perro de Marı́a Antonieta; El ronroneo de los
gatos. (no son afirmaciones que puedan valorarse)
x + 9 = 21 (no hay un sujeto fijo predeterminado, éste se denomina
un enunciado abierto)
Mañana lloverá (hay incertidumbre acerca del valor que califica el
enunciado, no tiene una calificación fija y precisa)

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 6 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Agenda

1 Lógica proposicional
Proposiciones
El lenguaje de la lógica proposicional
Léxico
Sintaxis
Semántica
Precedencia de conectivos lógicos
Interpretaciones y tablas de verdad
Tautologı́as, contradicciones y contingencias
Tablas de verdad
Leyes
Equivalencias lógicas
Implicaciones lógicas

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 7 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Léxico I

En la lógica proposicional, el léxico esta definido por tres elementos: los

sı́mbolos o letras proposicionales, los conectivos lógicos y los paréntesis.
Definición
El léxico de la lógica proposicional se compone de tres tipos de lexemas:
sı́mbolos y/o letras proposicionales: ?, >, p, q, r , s, t, p0 , p1 , . . .
conectivos lógicos: ¬, _, ^, !, $
sı́mbolos auxiliares: (, )

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 8 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Léxico II

El sı́mbolo proposicional ? (que se lee “bottom”) es usado para

representar una proposición genérica que su significado es siempre falso1 ,
mientras que > (que se lee “top”) es usado para representar una
proposición genérica que su significado es siempre verdadero2 .

Las letras proposicionales p, q, r , s, t, p0 , p1 , . . . son usadas para representar

proposiciones, por lo tanto el significado de una letra proposicional es el
significado que tiene la proposición que dicha letra representa.

1
Que se representará abreviadamente por el sı́mbolo F .
2
Que se representará abreviadamente por el sı́mbolo V .
Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 9 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Léxico III

Los conectivos lógicos son operadores lógicos que permiten formar frases
que se llaman proposiciones compuestas o fórmulas lógicas a partir de
sı́mbolos y/o letras proposicionales.

En la definición más común de la lógica proposicional clásica, estos

operadores son:
La negación: es un operador unario prefijo que se representa mediante el
sı́mbolo (¬), que se lee “no”.
La disyunción: es un operador binario infijo que se representa mediante el
sı́mbolo (_), que se lee “o”.
La conjunción: es un operador binario infijo que se representa mediante
el sı́mbolo (^), que se lee “y”.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 10 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Léxico IV

El condicional: o implicación es un operador binario infijo que se

representa mediante el sı́mbolo (!), que se lee “entonces” o
“implica”. A el primer operando del operador condicional se
le suele llamar el antecedente de la implicación y a el segundo
operador se le suele llamar el consecuente de la implicación.
El bicondicional: o equivalencia o doble implicación es un operador
binario infijo que se representa mediante el sı́mbolo ($), que
se lee “si y sólo si”.
Los paréntesis son usados para agrupar de manera apropiada las fórmulas
o proposiciones compuestas de la lógica proposicional.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 11 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Sintaxis I

En la lógica proposicional la gramática se describe en términos de fórmulas

bien formadas (fbf) de manera recursiva, es decir, suponiendo que los
sı́mbolos y letras proposicionales son fbfs y definiendo nuevas fbfs en
términos de fbfs ya construidas.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 12 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Sintaxis II

Definición
La gramática de la lógica proposicional se define recursivamente en
términos de fórmulas bien formadas (fbf), ası́:
i) Si p es un sı́mbolo o letra proposicional, entonces p es una fbf.
ii) Si f es fbf entonces ¬(f ) es una fbf.
iii) Si f1 y f2 son fbfs entonces: (f1 _ f2 ), (f1 ^ f2 ), (f1 ! f2 ) y (f1 $ f2 )
son fbfs.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 13 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Sintaxis III

Ejemplo
Las siguientes secuencias de sı́mbolos son fórmulas bien formadas:

f1 : (p _ ¬(q)) $ (r ^ s) f2 : ¬ (r ! q) ^ ¬((q $ s))

Ejemplo
Las siguientes secuencias de sı́mbolos no son fórmulas bien formadas:

f1 : (^ p)¬(r ^ s) f2 : (_ p q) $ (q p !)

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 14 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Semántica I

En el lenguaje de la lógica proposicional, a diferencia del español u otro

lenguaje natural, la semántica es fácil de definir ya que los posibles
sentidos que tiene una frase son solamente dos (verdadero y falso) y las
frases que se pueden construir se definen de manera recursiva (fórmulas
bien formadas).
Definición
La semántica de la lógica proposicional se define de manera recursiva sobre
las fórmulas bien formadas ası́ (⇠(f ) se usa para representar el significado
de la fórmula bien formada f ):

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 15 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Semántica II

Si f es un fbf definida solamente por un sı́mbolo o letra proposicional, el

significado de la fórmula f es el mismo significado del sı́mbolo o letra
proposicional.

⇠(>) ⇠(?) ⇠(p)

V F significado de la proposición p

Si f es una fbf, entonces:

⇠(f ) ⇠ ¬(f )
V F
F V

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 16 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Semántica III

Si f1 y f2 son fbfs, entonces:

⇠(f1 ) ⇠(f2 ) ⇠ (f1 _ f2 ) ⇠ (f1 ^ f2 ) ⇠ (f1 ! f2 ) ⇠ (f1 $ f2 )

V V V V V V
V F V F F F
F V V F V F
F F F F V V

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 17 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Semántica IV

Ejemplo
Suponga que ⇠(p) = F , ⇠(q) = F , ⇠(r ) = V , entonces el significado (valor
de verdad) de la fórmula bien formada

f: ¬ ¬(p) ! q ^ (r $ q) _ ¬(?)

para hallar el significado de f , primero se debe hallar el valor de verdad de

los paréntesis más internos y luego con esos resultados ir hallando el valor
de verdad de las fórmulas más internas que vayan apareciendo, de esta
manera

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 18 / 42
 Lógica proposicional El lenguaje de la lógica proposicional

Semántica V

Ejemplo (continuación)
⇠(p) ⇠(q) ⇠(r ) ⇠ ¬(p) ⇠ (r $ q) ⇠ ¬(?) ⇠ ¬(p) ! q
F F V V F V F

⇠ (r $ q) _ ¬(?) ⇠ ¬(p) ! q ^ (r $ q) _ ¬(?)

V F

⇠ ¬ ¬(p) ! q ^ (r $ q) _ ¬(?)
V

ası́, ⇠(f ) = V .

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 19 / 42
 Lógica proposicional Precedencia de conectivos lógicos

Agenda

1 Lógica proposicional
Proposiciones
El lenguaje de la lógica proposicional
Léxico
Sintaxis
Semántica
Precedencia de conectivos lógicos
Interpretaciones y tablas de verdad
Tautologı́as, contradicciones y contingencias
Tablas de verdad
Leyes
Equivalencias lógicas
Implicaciones lógicas

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 20 / 42
 Lógica proposicional Precedencia de conectivos lógicos

Precedencia de conectivos lógicos I

Uno de las principales limitaciones de las fórmulas bien formadas es el uso

excesivo de los paréntesis, los cuales, en muchos casos, son redundantes.

Para evitar este uso excesivo de paréntesis (sin que esto implique que toda
fórmula pueda ser escrita sin paréntesis), a los conectores lógicos se les
asigna una prioridad que determina de manera exacta el orden en que los
paréntesis se deben asumir si no se escriben.

Entre más alta es la prioridad de un conector, los paréntesis asociados a él,

tienen mayor prelación, es decir, en el proceso de completar los paréntesis,
los paréntesis asociados al operador con más prioridad son adicionados
primero que los paréntesis de un conectivo con menor prioridad.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 21 / 42
 Lógica proposicional Precedencia de conectivos lógicos

Precedencia de conectivos lógicos II

Las prioridades asignadas a los operadores se pueden observar en la

tabla 1. Cuando en la fórmula aparece el mismo operador varias veces y
no se puede determinar a cuál se le deben asignar los paréntesis primero,
se asignan los paréntesis de izquierda a derecha.

Conectivo Prioridad Significado

(, ) 1 más alta
¬ 2 alta
^, _ 3 media
!, $ 4 baja
Tabla : Prioridad de los conectivos lógicos.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 22 / 42
 Lógica proposicional Precedencia de conectivos lógicos

Precedencia de conectivos lógicos III

Ejemplo
La fórmula p ! q $ r _ (s ^ p) representa la fbf
(p ! q) $ r _ (s ^ p) , ya que completando paréntesis:
i) p ! q $ r _ (s ^ p)
ii) p ! q $ r _ (s ^ p) (_ prioridad 3)
iii) (p ! q) $ r _ (s ^ p) (! más a la izquierda prioridad 4)
iv) (p ! q) $ r _ (s ^ p) ($ prioridad 4)

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 23 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Agenda

1 Lógica proposicional
Proposiciones
El lenguaje de la lógica proposicional
Léxico
Sintaxis
Semántica
Precedencia de conectivos lógicos
Interpretaciones y tablas de verdad
Tautologı́as, contradicciones y contingencias
Tablas de verdad
Leyes
Equivalencias lógicas
Implicaciones lógicas

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 24 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Interpretación I

Definición
Dada una colección ⇣ de sı́mbolos proposicionales, una interpretación de ⇣
es una asignación de valores de verdad a cada una de las letras
proposicionales de la colección.

Ejemplo
Sea ⇣ = {q, r , s}.
1 Una interpretación de ⇣ es: ⇠(q) = V , ⇠(r ) = V , ⇠(s) = F .
2 Una interpretación de ⇣ es: ⇠(q) = F , ⇠(r ) = F , ⇠(s) = F .
3 Una interpretación de ⇣ es: ⇠(q) = F , ⇠(r ) = V , ⇠(s) = V .

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 25 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Interpretación II

Nota
El valor de verdad de una fórmula f para una interpretación I de ⇣f se
notará como ⇠I (f ).

Proposición
Si una colección ⇣ tiene n letras proposicionales entonces ⇣ tiene en total
2n interpretaciones diferentes.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 26 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Interpretación III

Ejemplo
Las interpretaciones posibles de la colección de letras proposicionales
⇣ = {p, q, r }, entonces ⇣ tiene ocho (23 = 8) interpretaciones:

⇠(p) ⇠(q) ⇠(r )

V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 27 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Tautologı́as, contradicciones y contingencias I

Definición
Una fórmula f se dice tautologı́a si para cualquier interpretación de su
conjunto de letras proposicionales, su significado (valor de verdad) es V ,
se dice contradicción si para cualquier interpretación su significado es F y
se dice contingencia si no es tautologı́a ni contradicción.

Ejemplo
Determinar el tipo (tautologı́a, contingencia o contradicción) de cada una
de las siguientes fórmulas:
1 f =p_q $q_p
2 f = p ^ ¬p
3 f = p ^ (q _ r )

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 28 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Tautologı́as, contradicciones y contingencias II

Solución
Si f = p _ q $ q _ p entonces ⇣f = {p, q}

p q p_q q_p p_q $q_p

V V V V V
V F V V V
F V V V V
F F F F V

entonces f es tautologı́a.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 29 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Tautologı́as, contradicciones y contingencias III

Solución
Si f = p ^ ¬p entonces ⇣f = {p}

p ¬p p ^ ¬p
V F F
F V F

entonces f es contradicción.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 30 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Tautologı́as, contradicciones y contingencias IV

Solución
Si f = p ^ (q _ r ) entonces ⇣ = {p, q, r }

p q r q_r p ^ (q _ r )
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F

entonces f es contingencia.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 31 / 42
 Lógica proposicional Interpretaciones y tablas de verdad

Tabla de verdad

Al esquema de presentar todas las interpretaciones y el valor de verdad de

la fórmula se le llama tabla de verdad de la fórmula f . Las tablas de
verdad son muy útiles para realizar demostraciones a nivel semántico, ya
que ellas no solamente se pueden usar con letras proposicionales sino con
fórmulas bien formadas, es decir, considerando toda una fórmula bien
formada como verdadera o falsa y construyendo la tabla de verdad para
dichas fórmulas.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 32 / 42
 Lógica proposicional Leyes

Agenda

1 Lógica proposicional
Proposiciones
El lenguaje de la lógica proposicional
Léxico
Sintaxis
Semántica
Precedencia de conectivos lógicos
Interpretaciones y tablas de verdad
Tautologı́as, contradicciones y contingencias
Tablas de verdad
Leyes
Equivalencias lógicas
Implicaciones lógicas

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 33 / 42
 Lógica proposicional Leyes

Leyes

En la lógica proposicional clásica, una ley lógica es una equivalencia o

implicación entre fórmulas lógicas. Tal equivalencia o implicación lógica
debe ser verdadera para cualquier interpretación de las letras
proposicionales que conforman las fórmulas relacionadas por la
equivalencia (debe ser tautologı́a). Las más famosas leyes lógicas son:
Modus Ponen, Modus Tollen, Inconsistencia, Doble negación,
Conmutatividad, Distributivas, Asociativas y Morgan.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 34 / 42
 Lógica proposicional Leyes

Equivalencias lógicas I

Definición
Sean f1 y f2 dos fórmulas, se dice que f1 es lógicamente equivalente a f2 ,
(f1 , f2 ) si y solamente si la fórmula f1 $ f2 es una tautologı́a.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 35 / 42
 Lógica proposicional Leyes

Equivalencias lógicas II

Ejemplo
Las fórmulas f1 = ¬(↵ ^ ) y f2 = ¬↵ _ ¬ son lógicamente equivalentes,
es decir, ¬(↵ ^ ) , ¬↵ _ ¬ , para cualesquiera fórmulas ↵ y . Para
esto, se debe demostrar que ¬(↵ ^ ) $ ¬↵ _ ¬ es una tautologı́a; como
se aprecia en la siguiente tabla

↵ ↵^ ¬(↵ ^ ) ¬↵ ¬ ¬↵ _ ¬ ¬(↵ ^ ) $ ¬↵ _ ¬
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V

como se observa, f1 $ f2 es una tautologı́a, por lo tanto, f1 y f2 son

lógicamente equivalentes.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 36 / 42
 Lógica proposicional Leyes

Equivalencias lógicas III

Las equivalencias lógicas más conocidas se presentan en las siguientes

tablas
Equivalencia Nombre
↵ _ ¬↵ , > Tercio excluı́do
↵ ^ ¬↵ , ? Contradicción
↵_?,↵
Identidad
↵^>,↵
↵_>,>
Dominación
↵^?,?
↵_↵,↵
Idempotencia
↵^↵,↵
¬¬↵ , ↵ Doble negación

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 37 / 42
 Lógica proposicional Leyes

Equivalencias lógicas IV

Equivalencia Nombre
↵_ , _↵
↵^ , ^↵ Conmutativas
↵$ , $↵
(↵ ^ ) ^ , ↵ ^ ( ^ )
Asociativas
(↵ _ ) _ , ↵ _ ( _ )
↵ _ ( ^ ) , (↵ _ ) ^ (↵ _ )
Distributivas
↵ ^ ( _ ) , (↵ ^ ) _ (↵ ^ )
¬(↵ ^ ) , ¬↵ _ ¬
Morgan
¬(↵ _ ) , ¬↵ ^ ¬

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 38 / 42
 Lógica proposicional Leyes

Implicaciones lógicas I

Definición
Sea = {f1 , f2 , . . . , fn } una colección de fórmulas (premisas) y g una
fórmula (conclusión), se dice que implica lógicamente a g ( ) g ), si y
solamente si (f1 ^ f2 ^ · · · ^ fn ) ! g es una tautologı́a.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 39 / 42
 Lógica proposicional Leyes

Implicaciones lógicas II

Ejemplo
Las premisas = {¬ , ↵ ! } implican lógicamente a g = ¬↵, para esto
es necesario que la fórmula ¬ ^ (↵ ! ) ! ¬↵ sea una tautologı́a,
como se aprecia en la siguiente tabla

↵ ¬ ↵! ¬ ^ (↵ ! ) ¬↵ ¬ ^ (↵ ! ) ! ¬↵
V V F V F F V
V F V F F F V
F V F V F V V
F F V V V V V

como se observa, ¬ ^ (↵ ! ) ! ¬↵ es una tautologı́a, por lo tanto,

= {¬ , ↵ ! } implica lógicamente a g = ¬↵.

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 40 / 42
 Lógica proposicional Leyes

Implicaciones lógicas III

Las implicaciones lógicas más conocidas se presentan en las siguientes

tablas
Implicación Nombre
{↵, } ) (↵ ^ ) Combinación
{↵, } ) ↵ Ley de simplificación
{↵, } ) Variante de la ley de simplificación
{↵} ) (↵ _ ) Ley de adición
{ } ) (↵ _ ) Variante de la adición
{↵, ↵ ! } ) Modus ponens
{¬ , ↵ ! } ) ¬↵ Modus tollens

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 41 / 42
 Lógica proposicional Leyes

Implicaciones lógicas IV

Implicación Nombre
{↵ ! , ! } ) (↵ ! ) Silogismo hipotético
{¬↵, ↵ _ } ) Silogismo disyuntivo
{¬ , ↵ _ } ) ↵ Variante de silogı́smo disyuntivo
{↵ ! , ¬↵ ! } ) Ley de casos
{↵ $ } ) (↵ ! ) Eliminación de equivalencia
{↵ $ } ) ( ! ↵) Variante de eliminación de equivalencia
{ ! ↵, ↵ ! } ) (↵ $ ) Introducción de la equivalencia
{↵, ¬↵} ) Ley de inconsistencia

Gómez, Rodrı́guez & Cubides (UN) Programación de computadores, Cap. 2.1 2do semestre de 2013 42 / 42