Clase 4. Bloques Lógicos
Clase 4. Bloques Lógicos
Clase 4. Bloques Lógicos
La determinación de 𝐴 ={ 𝑏 ∈ 𝐵 | 𝑏 𝑒𝑠 circular}
corresponde a la elección de los bloques.
La determinación de 𝐴 ={ 𝑏 ∈ 𝐵 | 𝑏 𝑒𝑠 grande}
corresponde a la elección de los bloques.
La determinación de 𝐴 ={ 𝑏 ∈ 𝐵 | 𝑏 es grueso}
corresponde a la elección de los bloques.
𝐴 = 𝑏 ∈ 𝐵 ¬𝑃𝑏 }
corresponde a la operación concreta de elegir los bloques que no
satisfacen la propiedad 𝑃.
Sean 𝐴 = 𝑏 ∈ 𝐵 𝑃𝑏 },
𝐵 = 𝑏 ∈ 𝐵 𝑄𝑏 }
𝐴 ∪ 𝐵 = 𝑏 ∈ 𝐵 𝑃𝑏 ∨ 𝑄𝑏 }
a) ¿Es necesario que un bloque sea un triángulo amarillo para que esté
en la reunión?
La determinación de
𝐴 = {𝑏 ∈ 𝐵 | 𝑏 𝑒𝑠 𝑎𝑧𝑢𝑙 𝑜 𝑛𝑜 𝑒𝑠 𝑐í𝑟𝑐𝑢𝑙𝑜}
• Copi, I. (1998). Lógica Simbólica. México. Cecsa. 16a. reimpresión. Hurley, P. (2000). A consice
introduction to logic. Belmont. Editorial Thomson Learning.
• Jaramillo, A. (1997). Fundamentos de Lógica y Teoría de Conjuntos. Medellín. Universidad de
.
Antioquia.
• Jurado, F., Londoño, R. (2005). Diseño de una entrevista socrática para la construcción del
concepto de suma de una serie vía áreas de figuras planas. Tesis de Maestría, Medellín, Colombia.
• Monsalve, A. (1992). Teoría de la argumentación. Medellín. Universidad de Antioquia. 1a.
edición.
• Oleas, G. (1986). Lógica y Teoría de Conjuntos. Medellín. Universidad de Antioquia. • Restrepo,
G. (1998). Los fundamentos de la Matemática. Santiago de Cali. Universidad del Valle. 2a. edición.
• Sierra, M. (2003). Lógica con diagramas. Medellín. MS-Print