Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Recordando:
Ejemplo:
Cuadro de Boecio:
Son inferencias inmediatas que resultan de relacionar las cuatro formas típicas según el cuadro
tradicional de la oposición de Boecio (480-524).
El cuadro de Boecio suministra la base para determinar que las inferencias inmediatas sea o no
validas, para ello se debe conocer la V o F de una de las cuatro proposiciones categóricas de forma
típica, para inferir inmediatamente la verdad o falsedad de la otras.
Diagrama de Venn
Un diagrama de Venn usa círculos que se superponen u otras figuras para ilustrar las
relaciones lógicas entre dos o más conjuntos de elementos. A menudo, se utilizan para
organizar cosas de forma gráfica, destacando en qué se parecen y difieren los elementos.
Los diagramas de Venn, también denominados "diagramas de conjunto" o "diagramas
lógicos", se usan ampliamente en las áreas de matemática, estadística, lógica, enseñanza,
lingüística, informática y negocios. Muchas personas los vieron por primera vez en la
escuela cuando estudiaron Matemática o Lógica, ya que los diagramas de Venn se
convirtieron en una parte del plan de estudio de la "nueva Matemática" en la década de
1960. Estos pueden ser diagramas sencillos que involucran dos o tres conjuntos con
algunos elementos o pueden volverse muy sofisticados, por ejemplo, en presentaciones
en 3D, ya que utilizan seis o siete conjuntos o más. Se usan para hacer un análisis
detallado y para representar cómo se relacionan los elementos entre sí dentro de un
"universo" o segmento determinado. Los diagramas de Venn permiten a los
usuarios visualizar los datos de forma clara y con gran alcance y, por este motivo, se
utilizan comúnmente en presentaciones e informes. Se relacionan estrechamente con los
diagramas de Euler, pero se diferencian en que estos últimos omiten los conjuntos si estos
no contienen elementos. Los diagramas de Venn muestran las relaciones incluso si un
conjunto está vacío.
Historia
Los diagramas de Venn llevan el nombre del lógico británico, John Venn. Él escribió sobre
ellos en un artículo redactado en 1880 titulado "De la representación mecánica y
diagramática de proposiciones y razonamientos" en la revista "Philosophical Magazine
and Journal of Science".
Pero las raíces de este tipo de diagrama se remontan a un período muy anterior, al menos
600 años atrás. Alrededor del año 1200, el filósofo y lógico Ramon Llull (Raimundo Lulio en
español) de Mallorca, usó un tipo de diagrama similar, escribió la autora M.E. Baron en un
artículo redactado en 1969 que realizaba un seguimiento de su historia. Ella también
atribuye el crédito al matemático y filósofo alemán, Gottfried Wilhelm von Leibnitz de
haber dibujado diagramas similares a finales de 1600.
Ejemplo
Supón que nuestro universo es de mascotas y queremos comparar qué tipo de mascota
tenemos en común los miembros de nuestra familia.
El conjunto B contiene las preferencias del miembro B de la familia: perro, gato, pez.
El conjunto C contiene las preferencias del miembro C de la familia: perro, gato, tortuga,
serpiente.
Por supuesto que los diagramas de Venn pueden ser mucho más complicados que esto, ya
que se usan ampliamente en diversos campos.
Circuitos lógicos
Los circuitos lógicos por lo general sirven únicamente como una ayuda auxiliar necesaria para lograr
un mejor entendimiento de los caracteres simbólicos no gráficos.
Este tipo de representaciones gráficas son usados en informática y son llamados generalmente
como circuitos digitales, este nombre radica del concepto de dígito, en especial con dos dígitos, esto
son, los valores de “0” y “1”. Estos dos únicos valores se les conoce como forma binaria y significan:
Los valores de únicos 0 y 1 son los únicos dígitos binarios conocidos como bit, un bit es como una
moneda con una cara y una cruz, verdadero o falso, arriba o abajo, etc.
Pero para nuestro caso, su representación gráfica de los valores de verdad de una proposición ,
sería:
Circuito 1
Circuito Cerrado
( )=
Circuito 2
Circuito Abierto
( )=
Para el caso del circuito 1, le indica que la proposición es verdadera ( ) = , en
electrónica, significa que la corriente pasa con total normalidad y para el circuito 2, la
En los gráficos de los circuitos 1 y 2 representan los dos únicos valores de verdad de la
proposición :
Circuitos
Con estas representaciones logramos una correspondencia entre circuito y proposiciones, para ser
más exactos, con los interruptores del circuito.
Gracias a estas representaciones, podemos diseñar una representación gráfica de las proposiciones
moleculares con todos los conectivos lógicos que estudiamos en secciones anteriores. Para lograrlo,
debemos de establecer dos tipos de conecciones, esto son, los circuitos en serie y en paralelo.
( )=
Esto es, un circuito en serie donde las proposiciones representan los interruptores, para ser más
este caso, se dice que el los valores de verdad de y son verdaderas cuando la información pasa
entre las dos.
Este es un circuito en serie donde la información está cruzando con normalidad cuando los
interruptores están cerrados. Para el resto de las combinaciones, tenemos:
( )=
Si tenemos circuitos donde tanto uno o dos interruptores se encuentran abiertas, indica que la
información no cruza de extremo a extremo, decimos entonces que es falso que la información pasa
por cualquiera de la combinación de estos circuitos.
Todas estas posibles combinaciones circuitos cerrados y abiertos en serie representan a la tabla de
verdad de la conjunción, aquí un recuadro donde vemos todas sus combinaciones:
Circuitos
Por tanto, un circuito lógico en serie de dos interruptores es la representación gráfica de una
conjunción de dos proposiciones, cada proposición le corresponde un interruptor.
( )=
Esto indica que es suficiente que uno de estos interruptores esté cerrado para confirmar que la
información pase de extremo a extremo.
Estos circuitos con interruptores en paralelo indica significa que estamos tratando con una
proposición disyuntiva inclusiva para las proposiciones y . Para el resto de las combinaciones
posibles de la disyunción inclusiva, tenemos:
( )=
( )=
( )=
Por tanto, un circuito en paralelo de dos interruptores representa gráficamente a dos proposiciones
donde cada proposición le corresponde un interruptor.
La tabla de verdad de todas estas posibilidades de la disyunción inclusiva es la siguiente.
Circuitos
Tenga en cuenta que un circuito lógico con interruptores solo muestra una de las posibles
combinaciones de la tabla de verdad de un esquema molecular.
proposición , estos circuitos puede representar cualquier esquema molecular donde podemos
reducirlo en una combinación de esquemas moleculares de proposiciones disyuntivas y/o
conjuntivas.
Su representación gráfica de estas ultimas es:
( ) ( )
Pero también se puede representar con circuitos lógicos, para lograrlo, tenemos que reducirlo bajo
la posibles combinaciones de la disyunción inclusiva, la conjunción y la negación.
Como se habrán dado cuenta, la disyunción exclusiva y la bicondicional son proposiciones opuestas,
por tanto, podemos escribir esta disyunción así:
( )
Donde ( ) ( ), tenemos:
p [( ) ( )] ( ) ( )
Pero: y , reemplazando:
p ( ) ( )
( ) ( )
Con esta identidad lógica podemos realizar nuestro circuito lógico, como podemos ver, la disyunción
exclusiva se puede expresar como una disyunción inclusiva. Nuestro circuito sería: