Professional Documents
Culture Documents
Reglas de transformacin
Lgica proposicional
Reglas de inferencia
Modus tollendo tollens / ponens
Modus ponendo ponens / tollens
Introduccin / eliminacin del bicondicional
Introduccin / eliminacin de la conjuncin
Introduccin / eliminacin de la disyuncin
Silogismo disyuntivo / hipottico
Dilema constructivo / destructivo
Absorcin
Reglas de reemplazo
Asociatividad Conmutatividad Distributividad Doble negacin Leyes de De
Morgan Transposicin Implicacin material Exportacin Tautologa
Introduccin de la negacin
Lgica predicativa
Generalizacin / instanciacin universal
Generalizacin / instanciacin existencial
Lgica modal
vde
La lgica proposicional o lgica de orden cero es un sistema formal cuyos
elementos ms simples representan proposiciones, y cuyas constantes
lgicas, llamadas conectivas lgicas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor
complejidad.1
ndice [ocultar]
1
Introduccin
1.1
Conectivas lgicas
1.2
1.3
2.1
Sistema axiomtico
2.1.1 Alfabeto
2.1.2 Gramtica
2.1.3 Axiomas
2.1.4 Reglas de inferencia
2.2
Deduccin natural
3.1
Semntica
5.1
Tablas de verdad
Formas normales
Vase tambin
10
Notas y referencias
10.1 Bibliografa
10.2 Enlaces externos
Introduccin[editar]
Considrese el siguiente argumento:
poq
No q
Por lo tanto, p
Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as:
Ni p ni q
No q
Por lo tanto, p
Conectivas lgicas[editar]
Artculo principal: Conectiva lgica
Conectivas lgicas
Hasse diagram of the 16 logical connectives
Tautologa {\displaystyle \top } {\displaystyle \top }
Conjuncin opuesta {\displaystyle \uparrow } \uparrow
Conectiva
Expresin en el
lenguaje natural
Ejemplo
Smbolo en
no
{\displaystyle \land }
Disyuncin o
{\displaystyle \lor }
{\displaystyle \lor }
Condicional material
da.
si... entonces
{\displaystyle \supset }
{\displaystyle \supset }
Bicondicional
si y slo si
{\displaystyle
o bien... o bien
Negacin
Disyuncin exclusiva
{\displaystyle {\begin{array}{c||c}\phi &\neg \phi \\\hline
V&F\\F&V\\\end{array}}} {\displaystyle {\begin{array}{c||c}\phi &\neg \phi
\\\hline V&F\\F&V\\\end{array}}}
q
Por lo tanto, r
Pero esta es una forma de argumento invlida, y eso contradice nuestra
intuicin de que el argumento es vlido. Para teorizar sobre la validez de
este tipo de argumentos, se necesita investigar la estructura interna de las
variables proposicionales. De esto se ocupa la lgica de primer orden. Otros
sistemas formales permiten teorizar sobre otros tipos de argumentos. Por
ejemplo la lgica de segundo orden, la lgica modal y la lgica temporal.
Sistema axiomtico[editar]
Alfabeto[editar]
El alfabeto de un sistema formal es el conjunto de smbolos que pertenecen
al lenguaje del sistema. Si L es el nombre de este sistema axiomtico de
lgica proposicional, entonces el alfabeto de L consiste en:
Gramtica[editar]
Una vez definido el alfabeto, el siguiente paso es determinar qu
combinaciones de smbolos pertenecen al lenguaje del sistema. Esto se
logra mediante una gramtica formal. La misma consiste en un conjunto de
reglas que definen recursivamente las cadenas de caracteres que
pertenecen al lenguaje. A las cadenas de caracteres construidas segn
estas reglas se las llama frmulas bien formadas. Las reglas del sistema L
son:
Frmula
Error Correccin
Sobran parntesis
Faltan parntesis
Faltan
r)\,}
Por otra parte, dado que la nica funcin de los parntesis es desambiguar
las frmulas, en general se acostumbra omitir los parntesis externos de
cada frmula, ya que estos no cumplen ninguna funcin. As por ejemplo,
las siguientes frmulas generalmente se consideran bien formadas:
Frmula
Lectura correcta
Lectura incorrecta
{\displaystyle (\neg
{\displaystyle (p\land
Axiomas[editar]
Los axiomas de un sistema formal son un conjunto de frmulas bien
formadas que se toman como punto de partida para demostraciones
ulteriores. Un conjunto de axiomas estndar es el que descubri Jan
ukasiewicz:
{\displaystyle (\phi \to (\psi \to \phi ))\,} {\displaystyle (\phi \to (\psi \to
\phi ))\,}
{\displaystyle ((\phi \to (\psi \to \chi ))\to ((\phi \to \psi )\to (\phi \to \chi )))\,}
{\displaystyle ((\phi \to (\psi \to \chi ))\to ((\phi \to \psi )\to (\phi \to \chi )))\,}
{\displaystyle ((\neg \phi \to \neg \psi )\to (\psi \to \phi ))\,} {\displaystyle
((\neg \phi \to \neg \psi )\to (\psi \to \phi ))\,}
Reglas de inferencia[editar]
Una regla de inferencia es una funcin que va de conjuntos de frmulas a
frmulas. Al conjunto de frmulas que la funcin toma como argumento se
lo llama premisas, mientras que a la frmula que devuelve como valor se la
llama conclusin. En general se busca que las reglas de inferencia
transmitan la verdad de las premisas a la conclusin. Es decir, que sea
imposible que las premisas sean verdaderas y la conclusin falsa. En el caso
de L, la nica regla de inferencia es el modus ponens, el cual dice:
{\displaystyle (\phi \to \psi ),\phi \vdash \psi } {\displaystyle (\phi \to
\psi ),\phi \vdash \psi }
Recordando que {\displaystyle \phi \,} \phi \, y {\displaystyle \psi \,} \psi \,
no son frmulas, sino metavariables que pueden ser reemplazadas por
cualquier frmula bien formada.
Deduccin natural[editar]
Artculo principal: Deduccin natural
Un sistema de lgica proposicional tambin puede construirse a partir de un
conjunto vaco de axiomas. Para ello se especifican una serie de reglas de
inferencia que intentan capturar el modo en que naturalmente razonamos
acerca de las conectivas lgicas.
Introduccin de la negacin
De {\displaystyle (p\to q)} {\displaystyle (p\to q)} y {\displaystyle (p\to \neg
q)} {\displaystyle (p\to \neg q)}, se infiere {\displaystyle \neg p} \neg p.
Eliminacin de la disyuncin
De {\displaystyle (p\lor q)} {\displaystyle (p\lor q)} y {\displaystyle (p\to r)}
{\displaystyle (p\to r)} y {\displaystyle (q\to r)} {\displaystyle (q\to r)}, se
infiere {\displaystyle r} r.
Esto es, {\displaystyle \{p\lor q,p\to r,q\to r\}\vdash r} {\displaystyle \{p\lor
q,p\to r,q\to r\}\vdash r}.
Introduccin del bicondicional
De {\displaystyle (p\to q)} {\displaystyle (p\to q)} y {\displaystyle (q\to p)}
{\displaystyle (q\to p)}, se infiere {\displaystyle (p\leftrightarrow q)}
{\displaystyle (p\leftrightarrow q)}.
Esto es, {\displaystyle \{p\to q,q\to p\}\vdash (p\leftrightarrow q)}
{\displaystyle \{p\to q,q\to p\}\vdash (p\leftrightarrow q)}.
Eliminacin del bicondicional
De {\displaystyle (p\leftrightarrow q)} {\displaystyle (p\leftrightarrow q)}, se
infiere {\displaystyle (p\to q)} {\displaystyle (p\to q)}.
De {\displaystyle (p\leftrightarrow q)} {\displaystyle (p\leftrightarrow q)}, se
infiere {\displaystyle (q\to p)} {\displaystyle (q\to p)}.
Esto es, {\displaystyle (p\leftrightarrow q)\vdash (p\to q)} {\displaystyle
(p\leftrightarrow q)\vdash (p\to q)} y {\displaystyle (p\leftrightarrow
q)\vdash (q\to p)} {\displaystyle (p\leftrightarrow q)\vdash (q\to p)}.
Modus ponens (eliminacin del condicional)
De {\displaystyle p} p y {\displaystyle (p\to q)} {\displaystyle (p\to q)}, se
infiere {\displaystyle q} q.
Esto es, {\displaystyle \{p,p\to q\}\vdash q} {\displaystyle \{p,p\to
q\}\vdash q}.
Prueba condicional (introduccin del condicional)
De [aceptando que {\displaystyle p} p permite una prueba de {\displaystyle
q} q], se infiere {\displaystyle (p\to q)} {\displaystyle (p\to q)}.
Esto es, {\displaystyle (p\vdash q)\vdash (p\to q)} {\displaystyle (p\vdash
q)\vdash (p\to q)}.
Consecuente
Modus ponens
Descripcin
Si {\displaystyle
Either {\displaystyle p} p
r))\vdash (q\lor s)} {\displaystyle ((p\to q)\land (r\to s)\land (p\lor r))\vdash
(q\lor s)}
Si {\displaystyle p} p entonces
s))\vdash (q\lor \neg r)} {\displaystyle ((p\to q)\land (r\to s)\land (p\lor \neg
s))\vdash (q\lor \neg r)} Si {\displaystyle p} p entonces {\displaystyle q} q;
y si {\displaystyle r} r entonces {\displaystyle s} s; but {\displaystyle p} p o
Si
\neg q)} {\displaystyle \neg (p\land q)\vdash (\neg p\lor \neg q)}
La
\neg q)} {\displaystyle \neg (p\lor q)\vdash (\neg p\land \neg q)}
La
( {\displaystyle p} p y {\displaystyle q} q)
{\displaystyle p} p
(p\land r))} {\displaystyle (p\land (q\lor r))\vdash ((p\land q)\lor (p\land r))}
{\displaystyle p} p y ( {\displaystyle q} q o {\displaystyle r} r) es
equivalente a ( {\displaystyle p} p y {\displaystyle q} q) o ( {\displaystyle
p} p y {\displaystyle r} r)
Distribucin (2)
no {\displaystyle p} p
Transposicin
Si {\displaystyle p} p
( {\displaystyle p} p si {\displaystyle q} q)
( {\displaystyle p} p si {\displaystyle
desde (si
{\displaystyle p} p
{\displaystyle p} p o no {\displaystyle
p} p es verdadero
Principio de no contradiccin
{\displaystyle p} p y no
{\displaystyle p} p es falso
Ejemplo de una demostracin[editar]
Demostrar: {\displaystyle A\to A\,} {\displaystyle A\to A\,}
Una posible prueba de esto (que, aunque vlida, pasa a contener ms pasos
de los necesarios) se puede disponer de la siguiente manera:
Paso Frmula
Razn
{\displaystyle A} APremisa.
introduccin de la disyuncin.
3
{\displaystyle A} {\displaystyle A}
conjuncin.
5
Resumen de
Desde
V\\F&V&V&V&F&V&V\\F&V&F&V&F&V&V\\F&F&V&F&V&V&V\\F&F&F&F&V&V
&V\\\end{array}}} {\displaystyle {\begin{array}{c|c|c||c|c|c|
c}p&q&r&(p\lor q)&\neg (p\lor q)&(p\to r)&\neg (p\lor q)\to (p\to r)\\\hline
V&V&V&V&F&V&V\\V&V&F&V&F&F&V\\V&F&V&V&F&V&V\\V&F&F&V&F&F&
V\\F&V&V&V&F&V&V\\F&V&F&V&F&V&V\\F&F&V&F&V&V&V\\F&F&F&F&V&V
&V\\\end{array}}}
Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada
lnea de la tabla, donde n es el nmero de variables proposicionales (en
este caso 3, es decir p, q, r) , y resulta ser una tautologa, es decir que bajo
todas las interpretaciones posibles de las variables proposicionales, el valor
de verdad de la frmula completa termina siendo V.
Formas normales[editar]
A menudo es necesario transformar una frmula en otra, sobre todo
transformar una frmula a su forma normal. Esto se consigue transformando
la frmula en otra equivalente y repitiendo el proceso hasta conseguir una
frmula que slo use los conectivos bsicos ( {\displaystyle \land ,\lor
,\neg } {\displaystyle \land ,\lor ,\neg }). Para lograr esto se utilizan las
equivalencias lgicas:
{\displaystyle (\neg p\lor q)\land (q\lor p)\land (\neg p\lor \neg q)}
{\displaystyle (\neg p\lor q)\land (q\lor p)\land (\neg p\lor \neg q)}
Se dice que una frmula est en forma normal disyuntiva (FND) si y slo si
tiene la siguiente forma:
{\displaystyle p\lor (q\land s)\lor (\neg q\land p)} {\displaystyle p\lor (q\land
s)\lor (\neg q\land p)}
Se dice que una frmula est en forma normal conjuntiva (FNC) si y slo si
tiene la siguiente forma:
{\displaystyle p\land (q\lor s)\land (\neg q\lor p)} {\displaystyle p\land (q\lor
s)\land (\neg q\lor p)}
Por las leyes de De Morgan, es posible pasar de una forma normal
disyuntiva a una forma normal conjuntiva y viceversa:
Las FNC y FND son mutuamente duales. La demostracin hace uso de las
leyes de De Morgan y de la propiedad distributiva de la conjuncin y la
disyuncin. Se debe cumplir que:
Vase tambin[editar]
lgebra de Boole
Clculo lgico
Clculo proposicional de Frege
Grficos existenciales
Lgica matemtica
Lgica de primer orden
Lgica modal
Tabla de valores de verdad
Teora de grafos
Silogismo
Valor de verdad
Razonamiento diagramtico
Notas y referencias[editar]
Volver arriba Simon Blackburn (ed.). propositional calculus. Oxford
Dictionary of Philosophy (en ingls). Oxford University Press. Consultado el
13 de agosto de 2009.
Volver arriba Klement, Kevin C. Propositional Logic. Internet
Encyclopedia of Philosophy (en ingls). Consultado el 6 de febrero de 2012.
Volver arriba Toida, Shunichi (2 de agosto de 2009). Proof of
Implications. CS381 Discrete Structures/Discrete Mathematics Web Course
Material (en ingls). Department Of Computer Science, Old Dominion
University. Consultado el 10 de marzo de 2010.
Bibliografa[editar]
Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic
Press.
Hamilton, A. G. (1981). Lgica para matemticos. Paraningo.
Mendelson, E. (1997). Introduction to Mathematical Logic (4 edicin).
Chapman and May.
Pla, J. (1991). Llions de lgica matemtica. P.P.U.
Badesa, C.; Jan, I.; Jansana, R. (1998). Elementos de lgica formal. Ariel.
Barnes, D. W.; Mack, J. M. (1978). Una introduccin algebraica a la lgica
matemtica. Eunibar.
Bridge, J. (1977). Beginning Model Theory. Oxford University Pres.
Ershov, Y.; Paliutin, E. (1990). Lgica matemtica. Mir.
Hofstadter, D. (1987). Gdel, Escher, Bach: un Eterno y Grcil Bucle.
Tusquets Editores.
Jan, I. (1989). lgebras de Boole y lgica. Publicaciones U.B.
Monk, J. D. (1976). Mathematical Logic. Springer-Verlag.
Nidditch, P. H. (1978). El desarrollo de la lgica matemtica. Ctedra.
Van Dalen, D. (1983). Logic and Structure (2 edicin). Universitext,
Springer-Verlag.