Lógica

L
ogica matem
atica I
L
ogica de proposiciones
Jonatan Gomez Perdomo, Ph.D.

jgomezpe@unal.edu.co
Arles Rodrguez, Ph.D.(c)

aerodriguezp@unal.edu.co
Camilo Cubides, Ph.D.(c)

eccubidesg@unal.edu.co
Grupo de investigaci
on en vida artificial Research Group on Artificial Life (Alife)
Departamento de Ingeniera de Sistemas e Industrial
Facultad de Ingeniera
Universidad Nacional de Colombia
2do semestre de 2014
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
1 / 57
L
ogica proposicional
Agenda
L
ogica proposicional
Proposiciones
El lenguaje de la logica proposicional
Lexico
Sintaxis
Sem
antica
Precedencia de conectivos l
ogicos
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
Tautologas, contradicciones y contingencias
Tablas de verdad
Argumentacion y leyes l
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
2 / 57
L
ogica proposicional
Proposiciones
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
3 / 57
L
ogica proposicional
Proposiciones
Proposiciones I
Definici
on
Una proposicion cerrada o simplemente proposici
on es un juicio,
afirmacion o enunciado el cual se puede calificar como verdadero o falso,
pero no ambos simultaneamente.
No es necesario saber de antemano s es verdadero o falso.
Pero con certeza el enunciado debe poseer alg
un valor fijo que lo
califique.
No debe haber incertidumbre acerca de s se posee un valor que lo
califique.
Una proposicion consta basicamente de tres partes:
Un sujeto: del cual se dice algo o que el hace algo.
Un verbo: que indica un estado o una acci
on que realiza el sujeto.
El complemento: que describe o aclara el estado o accion que
realiza el sujeto.
G
Programaci
4 / 57
L
ogica proposicional
Proposiciones
Proposiciones II
Ejemplos
Los siguientes enunciados son ejemplos de proposiciones
p: El jugador esta en la casilla [2, 2].
q: El archipielago de San Andres, Providencia y Santa Catalina pertenece
a Colombia.
r : El perro corre velozmente por la pradera jugando con la pelota azul y
verde.
s: 2+ 2 6= 4.
t: 3 125 = 5.
u: Existe vida alienigena inteligente.
v : El universo tiene una longitud infinita.
w : Esta lloviendo.
x: Ma
nana es sabado.
G
Programaci
5 / 57
L
ogica proposicional
Proposiciones
Proposiciones III
Ejemplos
Los siguientes enunciados son ejemplos que no son proposiciones
Vamos ma
nana a cine?; Hacemos quiz?. (interrogaciones)
Ah, cuanta mentira hay en esos argumentos!; No te vayas!.
(exclamaciones, deseos)
No te aprendas la tablas de memoria; No te metas con ese muchacho;
Callate. (consejos, mandatos)
El lindo y hermoso perro de Mara Antonieta; El ronroneo de los
gatos. (no son afirmaciones que puedan valorarse)
x + 9 = 21 (no hay un sujeto fijo predeterminado, este se denomina
un enunciado abierto)
Ma
nana llovera (hay incertidumbre acerca del valor que califica el
enunciado, no tiene una calificaci
on fija y precisa)
G
Programaci
6 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
7 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
8 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
L
exico I
En la logica proposicional, el lexico esta definido por tres elementos: los

smbolos o letras proposicionales, los conectivos l
ogicos y los parentesis.
Definici
on
El lexico de la logica proposicional se compone de tres tipos de lexemas:
smbolos y/o letras proposicionales: , >, p, q, r , s, t, p0 , p1 , . . .
conectivos l
ogicos: , , , ,
smbolos auxiliares: (, )
G
Programaci
9 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
L
exico II
El smbolo proposicional (que se lee bottom) es usado para

representar una proposicion generica que su significado es siempre falso1 ,
mientras que > (que se lee top) es usado para representar una
proposicion generica 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
on que dicha letra representa.
1
2
Que se representar
a abreviadamente por el smbolo F .
Que se representar
a abreviadamente por el smbolo V .
G
Programaci
10 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
L
exico III
Los conectivos logicos son operadores l
ogicos que permiten formar frases
que se llaman proposiciones compuestas o f
ormulas l
ogicas a partir de
smbolos y/o letras proposicionales.
En la definicion mas com
un de la l
ogica proposicional clasica, estos
operadores son:
La negaci
on: es un operador unario prefijo que se representa mediante el
smbolo (), que se lee no.
La disyunci
on: es un operador binario infijo que se representa mediante el
smbolo (), que se lee o.
La conjunci
on: es un operador binario infijo que se representa mediante
el smbolo (), que se lee y.
G
Programaci
11 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
L
exico IV
El condicional: o implicaci
on es un operador binario infijo que se
representa mediante el smbolo (), que se lee entonces o
implica. A el primer operando del operador condicional se
le suele llamar el antecedente de la implicacion y a el segundo
operador se le suele llamar el consecuente de la implicacion.
El bicondicional: o equivalencia o doble implicaci
on es un operador
binario infijo que se representa mediante el smbolo (), que
se lee si y s
olo si.
Los parentesis son usados para agrupar de manera apropiada las formulas
o proposiciones compuestas de la l
ogica proposicional.
G
Programaci
12 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
13 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sintaxis I
En la logica proposicional la gramatica se describe en terminos de formulas

bien formadas (fbf) de manera recursiva, es decir, suponiendo que los
smbolos y letras proposicionales son fbfs y definiendo nuevas fbfs en
terminos de fbfs ya construidas.
G
Programaci
14 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sintaxis II
Definici
on
La gramatica de la logica proposicional se define recursivamente en
terminos de formulas bien formadas (fbf), as:
i) Si p es un smbolo 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
Programaci
15 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sintaxis III
Ejemplo
Las siguientes secuencias de smbolos son f
ormulas bien formadas:
f1 : (p (q)) (r s)

f2 : (r q) ((q s))
Ejemplo
Las siguientes secuencias de smbolos no son f
ormulas bien formadas:

f1 : ( p)(r s)
G
f2 : ( p q) (q p )
Programaci
16 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
17 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sem
antica I
En el lenguaje de la logica proposicional, a diferencia del espa

nol u otro
lenguaje natural, la semantica es facil 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 (formulas
bien formadas).
Definici
on
La semantica de la logica proposicional se define de manera recursiva sobre
las formulas bien formadas as ((f ) se usa para representar el significado
de la formula bien formada f ):
G
Programaci
18 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sem
antica II
Si f es un fbf definida solamente por un smbolo o letra proposicional, el
significado de la formula f es el mismo significado del smbolo o letra
proposicional.
(>)
V
()
F
(p)
significado de la proposicion p
Si f es una fbf, entonces:

(f )
V
F
G

(f )
F
V
Programaci
19 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sem
antica 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
Programaci
20 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sem
antica IV
Ejemplo
Suponga que (p) = F , (q) = F , (r ) = V , entonces el significado (valor
de verdad) de la formula bien formada

f : (p) q (r q) ()
para hallar el significado de f , primero se debe hallar el valor de verdad de
los parentesis mas internos y luego con esos resultados ir hallando el valor
de verdad de las formulas mas internas que vayan apareciendo, de esta
manera
G
Programaci
21 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sem
antica V
Ejemplo (continuaci
on)

(p) (q) (r ) (p) (r q) () (p) q
F
(r q) ()

(p) q (r q) ()
F

(p) q (r q) ()
V
as, (f ) = V .
G
Programaci
22 / 57
L
ogica proposicional
ogicos
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
23 / 57
L
ogica proposicional
ogicos
ogicos I
Uno de las principales limitaciones de las f

ormulas bien formadas es el uso
excesivo de los parentesis, los cuales, en muchos casos, son redundantes.
Para evitar este uso excesivo de parentesis (sin que esto implique que toda
f
ormula pueda ser escrita sin parentesis), a los conectores logicos se les
asigna una prioridad que determina de manera exacta el orden en que los
parentesis se deben asumir si no se escriben.
Entre mas alta es la prioridad de un conector, los parentesis asociados a el,
tienen mayor prelacion, es decir, en el proceso de completar los parentesis,
los parentesis asociados al operador con mas prioridad son adicionados
primero que los parentesis de un conectivo con menor prioridad.
G
Programaci
24 / 57
L
ogica proposicional
ogicos
ogicos II
Las prioridades asignadas a los operadores se pueden observar en la
tabla 1. Cuando en la formula aparece el mismo operador varias veces y
no se puede determinar a cual se le deben asignar los parentesis primero,
se asignan los parentesis de izquierda a derecha.
Conectivo
(, )
,
,
Prioridad
1
2
3
4
Significado
mas alta
alta
media
baja
Tabla : Prioridad de los conectivos l

ogicos.
G
Programaci
25 / 57
L
ogica proposicional
ogicos
ogicos III
Ejemplo
La formula p q r
(s p) representa la fbf
(p q) r (s p) , ya que completando parentesis:
i) p q r (s p)
ii) p q r (s p)
( prioridad 3)

iii) (p q) r (s p)

iv) (p q) r (s p)
G
( mas a la izquierda prioridad 4)

( prioridad 4)
Programaci
26 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
27 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Interpretaci
on I
Definici
on
Dada una f
ormula f y f su respectiva colecci
on de letras proposicionales,
una interpretacion de f es una asignaci
on de valores de verdad a cada una
de las letras proposicionales de la colecci
on f .
Ejemplo
Sea f = {q, r , s} la colecci
on de letras proposicionales de una formula f .
1
Una interpretacion de f es: {(q) = V , (r ) = V , (s) = F }.
Una interpretacion de f es: {(q) = F , (r ) = F , (s) = F }.
Una interpretacion de f es: {(q) = F , (r ) = V , (s) = V }.
G
Programaci
28 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Interpretaci
on II
Nota
El valor de verdad de una f
ormula f para una interpretacion I de la
coleccion de smbolos proposicionales f se notara como I (f ).
Proposici
on
Si una coleccion f tiene n letras proposicionales, entonces tiene en total
2n interpretaciones diferentes.
G
Programaci
29 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Interpretaci
on III
Ejemplo
Las interpretaciones posibles de la colecci
on de letras proposicionales
f = {p, q, r }, entonces f tiene ocho (23 = 8) interpretaciones:
(p)
V
V
V
V
F
F
F
F
G
(q)
V
V
F
F
V
V
F
F
(r )
V
F
V
F
V
F
V
F
Programaci
30 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
31 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Tautologas, contradicciones y contingencias I

Definici
on
Una formula f se dice tautologa si para cualquier interpretacion de su
conjunto de letras proposicionales, su significado (valor de verdad) es V ,
se dice contradiccion si para cualquier interpretaci
on su significado es F y
se dice contingencia si no es tautologa ni contradicci
on.
Ejemplo
Determinar el tipo (tautologa, contingencia o contradiccion) de cada una
de las siguientes formulas:
1
f =pq qp
f = p p
f = p (q r )
G
Programaci
32 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Tautologas, contradicciones y contingencias II
Soluci
on
Si f = p q q p entonces f = {p, q}
p
V
V
F
F
pq
V
V
V
F
q
V
F
V
F
qp
V
V
V
F
pq qp
V
V
V
V
entonces f es tautologa.
G
Programaci
33 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Tautologas, contradicciones y contingencias III
Soluci
on
Si f = p p entonces f = {p}
p
V
F
p
F
V
p p
F
F
entonces f es contradicci
on.
G
Programaci
34 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Tautologas, contradicciones y contingencias IV

Soluci
on
Si f = p (q r ) entonces f = {p, q, r }
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
qr
V
V
V
F
V
V
V
F
p (q r )
V
V
V
F
F
F
F
F
entonces f es contingencia.
G
Programaci
35 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
36 / 57
L
ogica proposicional
on de las f
ormulas l
ogicas
Tablas de verdad
Al esquema de presentar todas las interpretaciones y el valor de verdad de

la f
ormula se le llama tabla de verdad de la f
ormula f . Las tablas de
verdad son muy u
tiles para realizar demostraciones a nivel semantico, ya
que ellas no solamente se pueden usar con letras proposicionales sino con
f
ormulas bien formadas, es decir, considerando toda una formula bien
formada como verdadera o falsa y construyendo la tabla de verdad para
dichas formulas.
G
Programaci
37 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
38 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Leyes
En la logica proposicional clasica, una ley l

ogica es una equivalencia o
implicacion entre formulas l
ogicas. Tal equivalencia o implicacion logica
debe ser verdadera para cualquier interpretaci
on de las letras
proposicionales que conforman las f
ormulas relacionadas por la
equivalencia (debe ser tautologa). Las mas famosas leyes logicas son:
Modus Ponen, Modus Tollen, Inconsistencia, Doble negacion,
Conmutatividad, Distributivas, Asociativas y De Morgan.
G
Programaci
39 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
40 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas I
Argumentaci
on l
ogica directa I
Ejemplo
A continuacion se presenta un argumento directo para demostrar el
siguiente teorema.
Teorema
Sea n un n
umero entero, si n es impar, entonces n2 es impar.
Demostraci
on.
Si n es impar, entonces n se puede escribir en la forma n = 2m + 1, con m
en los enteros; as que n2 = (2m + 1)2 = 4m2 + 4m + 1 =
2(2m2 + 2m) + 1 = 2k + 1, donde k = 2m2 + 2m es un entero. De lo
anterior se puede concluir que n2 es impar.
G
Programaci
41 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas II
Argumentaci
on l
ogica directa II
Teorema
Sea n un n
umero entero, si n2 es impar, entonces n es impar.
Demostraci
on.
?
Para demostrar el anterior teorema, un argumento directo es muy
complicado, por lo que una estrategia mas eficiente es utilizar un
argumento que sea logicamente equivalente al argumento directo, aqu es
donde resultan u
tiles las formulas l
ogicamente equivalentes.
G
Programaci
42 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas II
Argumentaci
on l
ogica directa II
Teorema
Sea n un n
Demostraci
on.
?
Para demostrar el anterior teorema, un argumento directo es muy
complicado, por lo que una estrategia mas eficiente es utilizar un
argumento que sea logicamente equivalente al argumento directo, aqu es
donde resultan u
tiles las formulas l
G
Programaci
42 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas III
Definici
on
Definici
on
Sean f1 y f2 dos formulas, se dice que f1 es l
ogicamente equivalente a f2 ,
(f1 f2 ) si y solamente si la f
ormula
f1 f2
es una tautologa.
G
Programaci
43 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas IV
Ejemplo
Las formulas f1 = ( ) y f2 = son l
ogicamente equivalentes,
es decir, ( ) , para cualesquiera f
ormulas y . Para
esto, se debe demostrar que ( ) es una tautologa; como
se aprecia en la siguiente tabla
V
V
F
F
V
F
V
F
( ) ( )
V
F
F
F
F
V
F
V
F
V
V
V
F
V
V
F
V
V
F
V
V
V
V
V
como se observa, f1 f2 es una tautologa, por lo tanto, f1 y f2 son

l
G
Programaci
44 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas V
Las equivalencias logicas mas conocidas se presentan en las siguientes
tablas
Equivalencia
>

>
>>
G
Nombre
Tercio excludo
Contradicci
on
Identidad
Dominaci
on
Idempotencia
Doble negaci
on
Programaci
45 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas VI
Equivalencia

( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( )
( )

( ) ( )
( ) ( )
( )
G
Nombre
Conmutativas
Asociativas
Distributivas
De Morgan
Contrarrecproca
Material
Exportacion
Programaci
46 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas VII
Argumentaci
on l
ogica indirecta por la contrarrecproca I
Teorema
Sea n un n
Demostraci
on.
Aplicando la equivalencia contrarrecproca

con
= n2 es impar
= n es impar
= n2 es par
= n es par
entonces
G
Programaci
47 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas VIII
Argumentaci
on l
ogica indirecta por la contrarrecproca II
Demostraci
on (conti.)
Por lo tanto demostrar el anterior teorema es equivalente a demostrar que
si n es par, entonces n2 es par
para esto, observese que si n es par, entonces n se puede escribir en la
forma n = 2m, con m en los enteros; as que n2 = (2m)2 = 4m2 =
2(2m2 ) = 2k, donde k = 2m2 es un entero y por lo tanto se puede concluir
que n2 es par. Del razonamiento anterior se tiene que por la equivalencia
contrarrecproca queda demostrada la proposici
on original.
G
Programaci
48 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas XI
De los teoremas anteriores se tiene que para que n2 sea impar es necesario
que n sea impar, y de forma similar para que n sea impar es necesario que
n2 sea impar. Esto se expresa como que para que n2 sea impar es razon
necesaria y suficiente que n sea impar, de donde ambas proposiciones son
verdaderas o ambas son falsas y se puede enunciar el siguiente teorema
bidireccional general.
Teorema
Sea n un n
umero entero, n2 es impar, si y s
olo si n es impar.
Demostraci
on.
A partir de las demostraciones previas.
G
Programaci
49 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Agenda
L
ogica proposicional
Proposiciones
Lexico
Sintaxis
Sem
antica
ogicos
on de las f
ormulas l
ogicas
Tablas de verdad
ogicas
Equivalencias l
ogicas
Implicaciones l
ogicas
G
Programaci
50 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas I
En algunos casos no es necesario exigir que dos f

ormulas sean
equivalentes, tal vez sea u
til exigir que en una direcci
on de la equivalencia
la f
ormula del consecuente sea verdadera cuando la f
ormula del
antecedente sea verdadera, o lo que es lo mismo, que la formula del
antecedente sea falsa cuando la f
ormula del consecuente sea falsa.
G
Programaci
51 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas II
Argumentaci
on matem
atica
Ejemplo
A continuacion se presenta un argumento directo para demostrar el
siguiente teorema.
Teorema
Sean m y n n
umeros enteros, si m es par y n es par, entonces m + n es par.
Demostraci
on.
Si m es par y n es par, entonces m y n se pueden escribir en la forma
m = 2k1 y n = 2k2 , con k1 y k2 en los enteros; as que m + n =
2k1 + 2k2 = 2(k1 + k2 ) = 2k, donde k = k1 + k2 es un entero. De lo
anterior se puede concluir que m + n es par.
G
Programaci
52 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas III
Argumentaci
on matem
atica
Observese que en el teorema anterior el consecuente (m + n es par) es

verdadero cuando el antecedente (m es par y n es par) es verdadero.
Ahora, para el enunciado que se obtiene cuando se toma el teorema en
direccion recproca,
Si m + n es par, entonces, m es par y n es par.
se puede observar que cuando m = 3 impar y m = 5 impar, entonces
m + n = 8 par, se tiene que el consecuente es verdadero y el antecedente
es falso, de donde la implicaci
on es falsa y no se tendra una equivalencia
l
ogica, sino que se cumplira en s
olo una direcci
on.
G
Programaci
53 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas IV
Definici
on
Cuando una formula (llamada conclusi

on) se cumple siempre que una
coleccion de formulas (llamadas premisas) se cumplan simultaneamente, se
dice que las premisas implican la conclusion. Formalmente esto se expresa
de la siguiente manera.
Definici
on
Sea = {f1 , f2 , . . . , fn } una colecci
on de f
ormulas (premisas) y g una
formula (conclusion), se dice que implica l
ogicamente a g ( g ), si y
solamente si
(f1 f2 fn ) g
es una tautologa.
G
Programaci
54 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas V
Ejemplo
Las premisas = {, } implican l
ogicamente
a g = , para esto

es necesario que la formula ( ) sea una tautologa,
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
V
V
V
V
F F V

como se observa, ( ) es una tautologa, por lo tanto,
= {, } implica l
ogicamente a g = .
G
Programaci
55 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas VI
Las implicaciones logicas mas conocidas se presentan en las siguientes
tablas
Implicaci
on
{, } ( )
{, }
{, }
{} ( )
{} ( )
{, }
{, }
{ , } ( )
{ , } ( )
G
Nombre
Combinaci
on
Ley de simplificaci
on
Variante de la ley de simplificacion
Ley de adici
on
Variante de la adici
on
Modus Ponendo Ponens (Modus ponens)
Modus Tollendo Tollens (Modus tollens)
Silogismos hipoteticos
Programaci
56 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas VII
Implicaci
on
{, }
{, }
{, }
{, }
{ , }
{ } ( )
{ } ( )
{ , } ( )
{, }
{ , , } ( )
{ , , } ( )
G
Nombre
Silogismos disyuntivos
Variante de los silogismos
disyuntivos
Ley de casos
Eliminaci
on de equivalencia
Variante de eliminacion
de equivalencia
Introducci
on de la equivalencia
Ley de inconsistencia
Dilemas constructivos
Programaci
57 / 57

Lógica

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Lógica

Transféré par

Droits d'auteur :

Formats disponibles

L

Jonatan Gomez Perdomo, Ph.D.

Arles Rodrguez, Ph.D.(c)

Camilo Cubides, Ph.D.(c)

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

En la logica proposicional, el lexico esta definido por tres elementos: los

2do semestre de 2014

El smbolo proposicional (que se lee bottom) es usado para

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

En la logica proposicional la gramatica se describe en terminos de formulas

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

En el lenguaje de la logica proposicional, a diferencia del espa

2do semestre de 2014

Si f es una fbf, entonces:

2do semestre de 2014

Si f1 y f2 son fbfs, entonces:

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

Uno de las principales limitaciones de las f

2do semestre de 2014

Tabla : Prioridad de los conectivos l

2do semestre de 2014

( mas a la izquierda prioridad 4)

2do semestre de 2014

2do semestre de 2014

Una interpretacion de f es: {(q) = V , (r ) = V , (s) = F }.

Una interpretacion de f es: {(q) = F , (r ) = F , (s) = F }.

Una interpretacion de f es: {(q) = F , (r ) = V , (s) = V }.

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

Tautologas, contradicciones y contingencias I

2do semestre de 2014

Tautologas, contradicciones y contingencias II

2do semestre de 2014

Tautologas, contradicciones y contingencias III

2do semestre de 2014

Tautologas, contradicciones y contingencias IV

2do semestre de 2014

2do semestre de 2014

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

2do semestre de 2014

2do semestre de 2014

En la logica proposicional clasica, una ley l

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014

2do semestre de 2014