3: Lógica
- Page ID
- 117169
lógica formal
Puedes escribir cualquier letra que elijas; Lógica
formal, aunque, como\(p\)'s y\(q\)'s
Para formar declaraciones —mucho,
Usando SI, OR, Y, NO—
Para determinar las falsas y las verdades.Goldie, El Omnificent Diccionario de inglés en forma de Limerick
En este capítulo, presentaremos algunos de los conceptos básicos de la lógica matemática. Para comprender a fondo algunos de los conceptos posteriores de este libro, debe ser capaz de reconocer argumentos lógicos válidos. Si bien estos argumentos suelen ser aplicados a las matemáticas, emplean las mismas técnicas que utiliza un abogado en una sala de audiencias o un médico que examina a un paciente. Una razón añadida de la importancia de este capítulo es que los circuitos que conforman las computadoras digitales están diseñados utilizando el mismo álgebra de proposiciones que estaremos discutiendo.