Logica Matematica 25 04 2013

html
head
style typetext/css
html, body font-family Open Sans, Arial font-size 11pt line-height 16pt
@page size auto margin 25mm 25mm 25mm 25mm
span.tab width 2em height 10px display inline-block
h1 font-weight 400 padding 0px margin 0 0 30px 0
h4 font-weight 400 font-style italic padding 0 0 15px 0 margin 0 0 30px 0border-bottom 1px solid black
/style
/head
meta http-equivContent-Type contenttext/html charsetutf-8
body
h1Logica Matematica/h1
h4por alejandre13 buenastareas.com/h4
Temas de ldquoLoacutegica matemaacutetica ybr /
fundamentosrdquo (2011ndash12)br /
Joseacute A. Alonso Jimeacutenezbr /
Mariacutea J. Hidalgo Dobladobr /
br /
Grupo de LoacutegicaComputacionalbr /
Dpto. de Ciencias de la Computacioacuten e Inteligencia Articialbr /
Universidad de Sevillabr /
Sevilla, 12 de Febrero de 2012br /
br /
Esta obra estaacute bajo una licencia ReconocimientondashNoComercialndashCompartirIgual 2.5 Spainbr /
de Creative Commons.br /
br /
Se permitebr /
copiar, distribuir y comunicar puacuteblicamente la obrabr /
hacer obras derivadasbr /Bajo las condiciones siguientesbr /
Reconocimiento. Debe reconocer los creacuteditos de la obra de la manera especicada por el autor.br /
No comercial. No puede utilizar esta obra para nes comerciales.br /
Compartir bajo la misma licencia. Si altera o transforma esta obra, o generabr /
una obra derivada, soacutelo puede distribuir la obra generada bajo una licenciabr /
ideacutentica aeacutesta.br /
Al reutilizar o distribuir la obra, tiene que dejar bien claro los teacuterminos de la licencia de esta obra.br /
Alguna de estas condiciones puede no aplicarse si se obtiene el permiso del titularbr /
de los derechos de autor.br /
br /
Esto es un resumen del texto legal (la licencia completa). Para ver una copia de estabr /
licencia, visitehttp//creativecommons.org/licenses/by-nc-sa/2.5/es/ o envie unabr /
carta a Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.br /
br /
2br /
br /
Iacutendice generalbr /
br /
3br /
br /
Iacutendice generalbr /
Ibr /
br /
Loacutegica proposicionalbr /
br /
3br /
br /
1 Sintaxis y semaacutentica de la loacutegica proposicionalbr /
1.1 Introduccioacuten . . . . . . . . . . . . . . . . . . . . . .br /1.1.1 Panorama de la loacutegica . . . . . . . . . . . .br /
1.1.2 Ejemplos de argumentos y formalizacionesbr /
1.2 Sintaxis de la loacutegica proposicional . . . . . . . . . .br /
1.2.1 El lenguaje de la loacutegica proposicional . . .br /
1.2.2 Recursioacuten e induccioacuten sobre foacutermulas . . .1.2.3 Aacuterboles de anaacutelisis (o de formacioacuten) . . . .br /
1.2.4Eliminacioacuten de pareacutentesis . . . . . . . . . .br /
1.2.5 Subfoacutermulas . . . . . . . . . . . . . . . . . .br /
1.3 Semaacutentica proposicional . . . . . . . . . . . . . . .br /
1.3.1 Valores y funciones de verdad . . . . . . . .br /
1.3.2 Interpretaciones . . . . . . . . . . . . . . . .br /
1.3.3 Modelos, satisfacibilidad y validez . . . . .br /
1.3.4 Algoritmos para satisfacibilidad yvalidez .br /
1.3.5 Seleccioacuten de tautologiacuteas . . . . . . . . . . .br /
1.3.6 Equivalencia loacutegica . . . . . . . . . . . . . .br /
1.3.7 Modelos de conjuntos de foacutermulas . . . . .br /
1.3.8 Consistencia y consecuencia loacutegica . . . . .br /
1.3.9 Argumentaciones y problemas loacutegicos . . .br /
2 Deduccioacuten natural proposicionalbr /
2.1 Reglas de deduccioacuten natural. . . . . . . . . .br /
2.1.1 Reglas de la conjuncioacuten . . . . . . . .br /
2.1.2 Reglas de la doble negacioacuten . . . . . .br /
2.1.3 Regla de eliminacioacuten del condicional .br /
2.1.4 Regla derivada de modus tollens (MT)br /
2.1.5 Regla de introduccioacuten del condicionalbr /
2.1.6 Reglas de la disyuncioacuten . . . . . . . .br /
2.1.7 Regla de copia . . . . . . . . . . . . ....