• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Lógica formal: Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas

Lógica formal: Lógica proposicional, lógica de predicados, lógica modal y lógicas no clásicas

Paperback

Fiction

ISBN10: 3695717955
ISBN13: 9783695717958
Publisher: Bod - Books on Demand
Published: Jun 18 2026
Pages: 808
Weight: 1.73
Height: 1.60 Width: 5.00 Depth: 8.00
Language: Spanish
Por qué algunos razonamientos son necesariamente válidos, mientras que otros, aunque parezcan convincentes, contienen errores ocultos? Y por qué incluso las teorías matemáticas más poderosas encuentran límites que no pueden superar? La lógica es mucho más que un conjunto de símbolos y reglas: es el lenguaje del pensamiento riguroso y una de las bases fundamentales de las matemáticas, la informática y la filosofía. Este libro ofrece una introducción clara y sistemática a la lógica formal moderna. Desde la lógica proposicional y la lógica de predicados hasta la lógica modal y diversas lógicas no clásicas, el lector descubrirá cómo analizar argumentos, construir demostraciones y comprender los principios que hacen posible el razonamiento formal. Junto a temas clásicos como equivalencias, formas normales y resolución, se presentan métodos de razonamiento automático y los célebres teoremas de incompletitud de Gödel, que revelan los límites inherentes de todo sistema formal suficientemente potente. Con numerosos ejemplos y ejercicios, esta obra es ideal para estudiantes, docentes y cualquier persona interesada en desarrollar un pensamiento más claro, preciso y crítico. Una invitación a descubrir la lógica no solo como una herramienta, sino como una de las ideas más profundas e influyentes de la historia del conocimiento.

Also from

Sina, Lucien

Also in

Fiction