You are on page 1of 5

1.

Lgica Matemtica

Eduardo Salgado Enrquez

IIA

Quito, junio 2013 Iia.edu1@gmail.com


1. Lgica Matemtica

George Boole (1815-1864), hombre modesto y autodidacta, hijo de


un humilde zapatero ingls, public The Mathematical Analysis of
Fundamentos Logic
de
Matemticas Este y otros trabajos fueron motivo de su nombramiento como
profesor de matemticas (pese a carecer de ttulos universitarios)
1. Lgica
del Queens College (hoy University College) de Cork, en Irlanda
Matemtica

Eduardo Salgado

IIA

Junio 2013

Lmina 2

Fig. 1.1 George Boole


1. Lgica Matemtica

Boole escribi su tratado An Investigation of the Laws of Thought,


on Which are Founded the Mathematical Theories of Logic and
Fundamentos Probabilities (Londres, 1854).
de
Matemticas La idea fundamental (sustituir por smbolos todas las palabras
utilizadas en lgica formal)
1. Lgica
Matemtica

Eduardo Salgado

IIA

Junio 2013

Lmina 3

Fig. 1.1 Chip: millones de circuitos


1. Lgica Matemtica

La Lgica Matemtica es la disciplina que trata de mtodos de


razonamiento
Fundamentos
de
El razonamiento lgico se emplea en matemtica para demostrar
Matemticas teoremas
En Ciencias de la Computacin para verificar si son o no correctos
1. Lgica los Programas
Matemtica
En Ingeniera para sacar conclusiones de experimentos
En Arquitectura para resolver una multitud de problemas
Eduardo Salgado

IIA

Junio 2013

Lmina 4

Fig. 1.2 Circuito Lgico


1. Lgica Matemtica

Proposicin: es una expresin con sentido en algn lenguaje que


afirma o niega algo y que nos proporciona informacin
Fundamentos
de
Las proposiciones se denotan con la letras p, q, r,
Matemticas

Ejemplo 1:
1. Lgica
Matemtica

p: El pizarrn es verde
Eduardo Salgado q: 2 +3 = 7
IIA r: A ella le gusta la msica
Junio 2013

Lmina 5