B

EQUIVALENCIAS II: ● IDENTIDADES AUXILIARES

● LEY DEL BICONDICIONAL

CIRCUITOS LÓGICOS:

1. FUNDAMENTO TEÓRICO

1.1 CIRCUITOS LÓGICOS:

● OTRAS IDENTIDADES Es la representación gráfica de un esquema
lógico formal.
Son modelos de funciones lógicas aplicados
fundamentalmente al campo de la electrónica,
cibernética e informática con fines de toma de
decisiones, es decir, para ejecutar tareas,
órdenes por un computador.
Están formados por conmutadores o
interruptores que dejan o no pasar corriente.

1.2 ELEMENTOS: INTERRUPTOR O

● IDENTIDADES AUXILIARES CONMUTADOR
Es la llave o palanquita que permite el paso o
interrupción de la corriente eléctrica. Los
conmutadores son representados por las
variables proposicionales que pueden ser
verdaderas o falsas.

Clases:

a) CIRCUITO CERRADO:

● LEY DE LA DISYUNCIÓN
EXCLUYENTE
b) CIRCUITO ABIERTO:

* CIRCUITO EN SERIE: (Conjunción)

Representación gráfica:

Representación Simbólica:
● OTRAS IDENTIDADES
*CIRCUITO EN PARALELO: (Disyunción
débil)

Representación gráfica:
 Ó
(Es válida si la inferencia es verdadera o
tautológica)

LEYES DE INFERENCIA LÓGICA

Representación Simbólica:
*CIRCUITO SERIE – PARALELO: Representa a
un esquema molecular y viceversa.
1) MODUS:
Representación gráfica
I. MODUS PONENDOPONENS (MPP)

Esquemas:

Representación Simbólica:

II. MODUS TOLLENDOTOLLENS (MTT)

Representación simbólica: Esquemas:

1.3 SIMPLIFICACION DE CIRCUITOS

Para simplificar circuitos te sugerimos los

siguientes pasos:
1. Si el circuito está dado en forma gráfica lo
primero será
formalizarlo.
2. Haciendo uso de las leyes lógicas deberás
proceder a la
simplificación de aquella expresión obtenida
del gráfico. 2) SILOGISMOS:

INFERENCIAS LÓGICAS: I. SILOGISMO DISYUNTIVO (SD)

DEFINICIÓN
Son aquellas implicaciones notables que sirven
de modelo para obtener una conclusión lógica a Esquemas:
partir de un conjunto de premisas.

ESQUEMA

II. SILOGISMO HIPOTÉTICO PURO (SHP)

Esquemas:

PROPOSICIONES CATEGÓRICAS:

ELEMENTOS DE LAS PROPOSICIONES

CATEGÓRICAS
Éstas poseen cuatro elementos:
a) CUANTIFICADOR: Indica si el término
sujeto se toma en toda su extensión o sólo
en parte.
Ejemplos:
<<Todos los árboles son verdes>>.

<<Algunos leopardos son rabiosos>>.

3) DILEMAS:
b) SUJETO: Es el término que indica un
I. DILEMA CONSTRUCTIVO (DC) conjunto o clase. Se le simboliza por
<<S>>.
Esquema:
En el ejemplo anterior los sujetos son:
<<árboles>> y <<leopardos>>.

c) VERBO: Une el Sujeto y Predicado, sea en

forma afirmativa o negativa. El verbo es el
término que está en todas sus formas,
tiempo, mayormente es el término
<<SER>> en forma afirmativa o negativa.
En el ejemplo anterior, se usa el verbo
<<SER>> en forma afirmativa.
II. DILEMA DESTRUCTIVO (DD)
d) PREDICADO: Es el término que indica
Esquema: también un conjunto o clase. Se le
simboliza por <<P>>.
En el ejemplo anterior, los predicados son:
<<verdes>> y <<rabiosos>>.

CANTIDAD DE UNA PROPOSICIÓN

CATEGÓRICA:

Es el número de elementos del término sujeto

mencionado en una proposición categórica.
Según la cantidad, las proposiciones
categóricas se clasifican en: Universales y
4) LEY DE CONJUNCIÓN:
particulares. Serán universales, aquellas en
cuyo sujeto se menciona a la totalidad de sus
Esquema:
elementos; y particulares, aquellas en cuyo
sujeto se menciona sólo una parte de sus
elementos.

Ejemplos:

<<Todos los animales mueren>>: Proposición

universal
5) LEY DE ADICIÓN O NUEVO FACTOR:
<<Algunas alumnas son arquitectas>>:
Proposición particular

CALIDAD O CUALIDAD DE UNA

Esquema PROPOSICIÓN CATEGÓRICA:
Es la que determina si la proposición es medieval Boeccio, que muestra las relaciones
afirmativa o negativa a través del verbo. entre estas cuatro formas típicas de las
proposiciones categóricas (con los mismos
Ejemplos: términos sujeto y predicado).
<<La Nanotecnología es nueva ciencia>>: Ejemplos:
Proposición afirmativa.
a) La contradictoria de <<A>> es O.
<<Ningún abogado es informal>>: Proposición b) La subalternante de la contradictoria de
negativa. <<E>> es A.
c) La subcontraria de la subalterna de la
FORMAS TÍPICAS DE LAS PROPOSICIONES subalternante de <<O>> es I.
CATEGÓRICAS:
INFERENCIAS INMEDIATAS EN EL CUADRO DE
BOECCIO:
REPRESENT
FOR REPR Se han establecido las siguientes inferencias
REPRE ACION
MA ES. inmediatas válidas:
S. SIMBÓLICA
TÍPI TIPO
LITE SIMBÓ CON Por equivalencia:
CA LICA CUANTIFICA
RAL
DORES A ≡~ O
E ≡~ I
Unive
Todo I ≡~ E
rsal
A S es SaP ∀x (S x→Px)
Afirm O ≡~A
P
ativo
Ley de D′ Morgan
Unive
Ningú ~∀x(~ M) ≡∃x (M) ; ~∃x (~ M)
rsal
E nS SeP ∀x (S x→~Px) ≡∀x (M)
Nega
es P
tivo
Formas especiales:
Partic
Algún
ular A) Conversa:
I S es SiP ∃x (S x∧Px)
Afirm 1) Conversa Lineal:
P
ativo 1) S e P 1) Si P
PeS PiS
Partic
Algún
ular 2) Conversa Accidental
O S no SoP ∃x (S x∧~Px)
Nega 1) S a P 1) S e P
es P
tivo PiS PoS

Son las clases de proposiciones que se B) Obversa:

distinguen, teniendo en cuenta su cantidad y
cualidad simultáneamente, son las cuatro PremisaObversa
siguiente:

SaP Se

CUADRO DE BOECCIO
SeP Sa

Si P So

SoP Si

DIABRAMAS DE VENN:

Lógica Booleana
Es la representación de clases (conjuntos) en
forma de diagramas (diagramas de Venn) y su
forma literal con fórmulas algebraicas.
Nomenclatura:
Llamado también cuadro de
oposiciones, es un gráfico atribuido al filósofo
 CUADRO DE BEOCIO PARA DOS CLASES

Todo S es P.
,
También se interpreta:
No existen elementos de S que no estén en P.

Ningún S es P

También se interpreta:
No existen elementos S que estén en P.

Algún S es P.

También se interpreta:
CUADRO DE BOECIO PARA UNA CLASE Existen elementos de S que están en P.

Algún S no es P.

También se interpreta:
Existen elementos S que no están en P.

CASOS PARTICULARES

Notas: Todo no S es no P.
● Cuando el cuantificador es universal y el
verbo (ser o estar) está negado, la negación
se coloca delante del cuantificador.
● Si el sujeto y/o predicado está negado, en
las formas típicas, las negaciones se
colocan como barra horizontal encima de
cada letra(complemento).
● Son conmutativos la forma típica “e” , “i”
Relaciones entre clases:
⮚ Inclusión total: Mediante el álgebra de Boole:

⮚ Exclusión total:
Todo no S es P.
⮚ Inclusión parcial

⮚ Exclusión parcial a=b

Mediante el álgebra de Boole:
c)
No hay elementos no S que estén en no P

Algún no S es P.

Formalización booleana:
Se interpreta como: Existen elementos no S que
están en P.

Algún no S Son no P.

d)

Formalización booleana:
Se interpreta como: Existen elementos no S que
son no P.

Son equivalentes
a)

e)

=
b)

f)
 Nombres medievales de los modos válidos:

I figura

● 𝑎𝑎𝑎 ⇒ 𝐵𝑎𝑟𝑏𝑎𝑟𝑎
● 𝑒𝑎𝑒 ⇒𝐶𝑒𝑙𝑎𝑟𝑒𝑛𝑡
● 𝑎𝑖𝑖 ⇒𝐷𝑎𝑟𝑖𝑖
= ● 𝑒𝑖𝑜 ⇒𝐹𝑒𝑟𝑖𝑜
g)
II figura

● 𝑒𝑎𝑒 ⇒ 𝐶𝑒𝑠𝑎𝑟𝑒
● 𝑎𝑒𝑒 ⇒𝐶𝑎𝑚𝑒𝑠𝑡𝑟𝑒𝑠
● 𝑒𝑖𝑜 ⇒𝐹𝑒𝑠𝑡𝑖𝑛𝑜
● 𝑎𝑜𝑜⇒𝐵𝑎𝑟𝑜𝑐𝑜

IIII figura

● 𝑎𝑖𝑖 ⇒𝐷𝑎𝑡𝑖𝑠𝑖
● 𝑖𝑎𝑖 ⇒ 𝐷𝑖𝑠𝑎𝑚𝑖𝑠
● 𝑜𝑎𝑜⇒ 𝐵𝑜𝑐𝑎𝑟𝑑𝑜
● 𝑒𝑖𝑜 ⇒𝐹𝑒𝑟𝑖𝑠𝑜𝑛

● 𝑎𝑎𝑖 ⇒ 𝐷𝑎𝑟𝑎𝑝𝑡𝑖
● 𝑒𝑎𝑜 ⇒𝐹𝑒𝑙𝑎𝑝𝑡𝑜𝑛

IV figura

● 𝑎𝑒𝑒 ⇒𝐶𝑎𝑚𝑒𝑛𝑒𝑠
● 𝑖𝑎𝑖 ⇒ 𝐷𝑖𝑚𝑎𝑡𝑖𝑠
● 𝑒𝑖𝑜 ⇒𝐹𝑟𝑒𝑠𝑖𝑠𝑜𝑛
● 𝑎𝑎𝑖 ⇒ 𝐵𝑎𝑚𝑎𝑙𝑖𝑝
● 𝑒𝑎𝑜 ⇒𝐹𝑒𝑠𝑎𝑝𝑜

SILOGISMO ARISTOTÉLICO:

Un silogismo es una inferencia mediata

compuesta por tres proposiciones categóricas.
Para determinar su validez tenemos el
<<Método de las figuras y Modos válidos>> de
la lógica tradicional.

Características del silogismo

𝑃𝑟𝑒𝑚𝑖𝑠𝑎 𝑀𝑎𝑦𝑜𝑟 ⟹ 𝑀 𝑃

𝑃𝑟𝑒𝑚𝑖𝑠𝑎 𝑀𝑒𝑛𝑜𝑟 ⟹ 𝑆 𝑀

𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛 ⟹ ∴ 𝑆 𝑃

Donde:
● 𝑆 = 𝑆𝑢𝑗𝑒𝑡𝑜 ⟹ 𝑇é𝑟𝑚𝑖𝑛𝑜 𝑚𝑒𝑛𝑜𝑟
● 𝑀 = 𝑀𝑒𝑑𝑖𝑜 ⟹ 𝑇é𝑟𝑚𝑖𝑛𝑜 𝑚𝑒𝑑𝑖𝑜
● 𝑃 = 𝑃𝑟𝑒𝑑𝑖𝑐𝑎𝑑𝑜⟹𝑇é𝑟𝑚𝑖𝑛𝑜 𝑚𝑎𝑦𝑜𝑟

Figuras de los silogismos