Professional Documents
Culture Documents
ogica matem
atica I
L
ogica de proposiciones
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
2 / 57
L
ogica proposicional
Proposiciones
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
6 / 57
L
ogica proposicional
El lenguaje de la 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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
7 / 57
L
ogica proposicional
El lenguaje de la 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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
8 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
L
exico I
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
9 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
L
exico II
1
2
Que se representar
a abreviadamente por el smbolo F .
Que se representar
a abreviadamente por el smbolo V .
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
12 / 57
L
ogica proposicional
El lenguaje de la 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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
13 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sintaxis I
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
f2 : ( p q) (q p )
Programaci
on de computadores, Cap. 2.1
16 / 57
L
ogica proposicional
El lenguaje de la 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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
17 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sem
antica I
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
G
omez, Rodrguez & Cubides (UN)
(f )
F
V
Programaci
on de computadores, Cap. 2.1
19 / 57
L
ogica proposicional
El lenguaje de la l
ogica proposicional
Sem
antica III
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
22 / 57
L
ogica proposicional
Precedencia de conectivos l
ogicos
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
23 / 57
L
ogica proposicional
Precedencia de conectivos l
ogicos
Precedencia de conectivos l
ogicos I
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
24 / 57
L
ogica proposicional
Precedencia de conectivos l
ogicos
Precedencia de conectivos l
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
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
25 / 57
L
ogica proposicional
Precedencia de conectivos l
ogicos
Precedencia de conectivos l
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
26 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
27 / 57
L
ogica proposicional
Interpretaciones y clasificaci
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
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
28 / 57
L
ogica proposicional
Interpretaciones y clasificaci
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
29 / 57
L
ogica proposicional
Interpretaciones y clasificaci
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
omez, Rodrguez & Cubides (UN)
(q)
V
V
F
F
V
V
F
F
(r )
V
F
V
F
V
F
V
F
Programaci
on de computadores, Cap. 2.1
30 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
31 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
f =pq qp
f = p p
f = p (q r )
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
32 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
33 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
34 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
35 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
36 / 57
L
ogica proposicional
Interpretaciones y clasificaci
on de las f
ormulas l
ogicas
Tablas de verdad
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
37 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
38 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Leyes
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
39 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Nombre
Tercio excludo
Contradicci
on
Identidad
Dominaci
on
Idempotencia
Doble negaci
on
Programaci
on de computadores, Cap. 2.1
45 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Equivalencias l
ogicas VI
Equivalencia
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( )
( )
( ) ( )
( ) ( )
( )
G
omez, Rodrguez & Cubides (UN)
Nombre
Conmutativas
Asociativas
Distributivas
De Morgan
Contrarrecproca
Material
Exportacion
Programaci
on de computadores, Cap. 2.1
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
umero entero, si n2 es impar, entonces n es impar.
Demostraci
on.
Aplicando la equivalencia contrarrecproca
con
= n2 es impar
= n es impar
= n2 es par
= n es par
entonces
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
49 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
50 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas I
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
52 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas III
Argumentaci
on matem
atica
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
53 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas IV
Definici
on
G
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
Programaci
on de computadores, Cap. 2.1
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
omez, Rodrguez & Cubides (UN)
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
on de computadores, Cap. 2.1
56 / 57
L
ogica proposicional
Argumentaci
on y leyes l
ogicas
Implicaciones l
ogicas VII
Implicaci
on
{, }
{, }
{, }
{, }
{ , }
{ } ( )
{ } ( )
{ , } ( )
{, }
{ , , } ( )
{ , , } ( )
G
omez, Rodrguez & Cubides (UN)
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
on de computadores, Cap. 2.1
57 / 57