Beruflich Dokumente
Kultur Dokumente
VENN
"Se entiende que lo que se busca no es hacer los circulitos, sino un software
que acomode de forma automática nuestra información, pero la verdad esto no
es posible."
Intersección: A⋂B
Es el conjunto de los elementos que pertenecen tanto a A como a B.
Diferencia: A-B
Es aquel conjunto cuyos elementos pertenecen a A pero no a B.
Diferencia Simétrica: A Δ B
La diferencia simétrica de dos conjuntos A y B es el conjunto formado por los
elementos que pertenecen a A o B pero no a ambos.
(A ⋃ B) ∩ (A ⋃ C)
(A ⋃ B) ⋃ (A ⋃ C)
A ⋃ (B ⋂ C)
(((A - B) ⋂ (A - C)) ⋃ ((B - A) ⋂ (B - C)) ⋃ ((C - A) ⋂ (C - B)))'
Trabajos futuros.
Cuando un razonamiento es incorrecto se puede definir un
modelo en donde la hipótesis del razonamiento sean verdaderas y la
conclusión falsa; de esta forma se encuentra un contraejemplo para
rebatir la argumentación propuesta. Para este caso se podría crear un
generador de modelos.
Crear una página web desde la que se puedan obtener
conocimientos de la lógica de predicados monarios y la resolución
de argumentos de está lógica mediante diagramas de Venn. En esta
página se podrá ejecutar el programa para poder resolver ejercicios.