Download La logica, ejemplos y aplicaciones al razonamiento matematico

Document related concepts

Negación lógica wikipedia , lookup

Leyes de De Morgan wikipedia , lookup

Álgebra de Boole wikipedia , lookup

Disyunción exclusiva wikipedia , lookup

Disyunción lógica wikipedia , lookup

Transcript
1. El conjunto de partes de un conjunto tiene estructura de álgebra de Boole con las operaciones
e∩
y complementario.
2. El conjunto de proposiciones lógicas tiene estructura de álgebra de Boole con la conjunción,
disyunción y negación.
∪
Las equivalencias entre las 3 álgebras y sus operaciones se manifiestan en la tabla:
Algebra de conjuntos
Unión ∪
Intersección
∩
Algebra de proposiciones
Disyunción ∨
Conjunción
Algebra de Boole
Suma
∧
+
Producto .
φ
Falso
F
Elemento 0
Vacío
Universal
E
Verdad
V
Elemento 1
Complementario -
Complementario
Negación
●
Bibliografía
•
Introducción a la Lógica Matemática. Aut.: P. Suppes y S. Hill. Edit.: Reverté
•
Elementos de Lógica Teórica. Aut.: D. Hilbert y W. Ackermann. Edit.: Tecnos
•
Fundamentos de Lógica Matemática. Aut.: j. Aranda y Varios. Edit. Sanz y Torres.
•
Matemáticas Especiales para Computación: Editorial Mc Graw Hill.
•
Oxford 1º Bachillerato Proyecto Tesela “Ciencias y Tecnología”
Aut: García Valle
Publ icacionesDidacticas.com | Nº 61 Agos to 2015
81 de 125