PSICOLOGIA

AULA PRE ASOCIACIÓN EDUCATIVA PITÁGORAS
3er Bimestre
Formalización de la Lógica
Inferencial Ps
* Formalización de inferencias (criterios)
* Validez de las inferencias
* Deducción natural
El objetivo de la Lógica es estudiar el análisis formal de validez o invalidez de las inferencias.

Es decir, que el análisis formal permite simbolizar las inferencias en esquemas moleculares y demostrar con
seguridad (mediante diversos métodos veritativos) su validez o invalidez.
Según Quine, se desprende que el objetivo más importante de la Lógica en su aplicación a la ciencia y al discurso
cotidiano es la "justificación y crítica de la inferencia” (Quine, 'Los Métodos de la Lógica", en Diógenes Rosales -
Introducción a la Lógica).
1. INFERENCIAS:
Una inferencia, llamada también argumento o razonamiento es una estructura de proposiciones en la que a partir
de una o más proposiciones llamadas “premisas” (antecedentes), se obtiene otra, llamada “conclusión”
(consecuente), en tal sentido, la inferencia siempre tendrá una forma condicional.
Premisas P1 : Si la dictadura continúa entonces la insurgencia es inminente
P2 : Lo cierto es que la dictadura continúa
Conclusión E : Por lo tanto, la insurgencia es inminente
Inmediata : Premisa Conclusión
2. CLASES DE INFERENCIAS mediata : Premisas Conclusión
3. FORMALIZACIÓN DE INFERENCIAS:
Para formalizar (simbolizar) una inferencia se debe tener en cuenta los siguientes criterios.
a. Se debe distinguir las premisas de la conclusión; por lo general, la conclusión se halla al final del argumento
(pero no siempre).
b. Las premisas siempre están separadas por signos de puntuación y forman el antecedente del argumento, la
conclusión es el consecuente del mismo.
c. Las premisas se unen con la conclusión a partir del enlace condicional directo o indirecto.
d. Se simbolizan las premisas y la conclusión respectivamente, considerando los conectores lógicos.
Ejercicios Explicativos : Formalizar las siguientes inferencias
1 . “Si Diego termina la tarea entonces irá a la fiesta. Pero Diego no va a la fiesta. Por lo tanto, no terminó la tarea”.
2. “Sebastián no participará en el campeonato porque no entrenó lo suficiente. Si no entrenó lo suficiente se quedará

estudiando. Entonces Sebastián no participará en el campeonato o se quedará estudiando.
3. “Emelly viajará al extranjero si y sólo si obtiene la visa.

Ocurre que Emelly obtiene la visa si y solo si tiene una cuenta corriente en el Banco. En tal sentido, Emelly
viajará al extranjero si y solo si tiene una cuenta corriente en el Banco”
Página -213-
4. FORMAS VÁLIDAS DE LAS INFERENCIAS:
La validez o invalidez son calificativos sólo de los razonamientos, mientras que “verdad" y “falsedad”
corresponden a las proposiciones.
En tal sentido, son formas válidas de la inferencia en los siguientes casos:
A) Si las premisas son verdaderas, la conclusión debe ser verdadera

B) Si las premisas son falsas, la conclusión es probable que sea verdadera o bien, falsa.
Página -214-
Esquematizando:
P1 : (V) (F) (F) (V) (F)
P2 : (V) (F) (F) (V) (F)
Pn (V) (F) (F) (V) (F)
C (V) (V) (F) (F) (V) (V) (F)
Validez = implicación Inválido = falacia
5. EL MÉTODO ABREVIADO
Ya hemos señalado que para analizar si un razonamiento es válido o no es necesario utilizar un procedimiento
decisorio. En este caso, el método abreviado tendrá este fin.
El método abreviado o método de reducción al absurdo.
Es un procedimiento decisorio, es decir nos permite determinar la validez o la invalidez de un razonamiento o
inferencia. Se utiliza con el propósito de abreviar el método de las Tablas de Verdad.
Reglas :
A. Se coloca el valor de Verdad a las Premisas y el valor Falso a la Conclusión.
Es decir:
B. Se debe deducir el valor de las variables y operadores del esquema, trasladando los valores encontrados. Ejm. :
C. Si cada una de las variables y operadores del esquema cumple una sola función veritativo, es monovalente (V ó F
todo el tiempo, entonces la inferencia era inválida o no correcta).
D. Si cualquiera de las variables u operadoras del esquema cumple un doble valor veritativo, es bivalente (V y F al
mismo tiempo) entonces la inferencia es válida o correcta.
LA DEDUCCIÓN NATURAL
La deducción natural es un cálculo secuencial, que consiste en deducir una conclusión a partir de una premisa o
conjunto de premisas, esta deducción se efectúa mediante una sucesión de reglas de inferencia. Estas reglas lógicas
no son, evidentemente, reglas elegidas al azar. Son de tal forma que sólo permiten hacer inferencias válidas. Una
inferencia válida es la que es consecuencia lógica de las premisas, esto significa que si las premisas son verdaderas,
la conclusión que se sigue también ha de ser verdadera.
EJEMPLO N°1
Se suponen que se tienen las premisas p ➞ q y p (verdaderas), entonces se puede deducir la conclusión q (también
verdadera), para llegar a esta conclusión se ha empleado una regla de inferencia denominada el Modus Ponens.
Veamos ahora una inferencia de la misma forma, pero cuyo contenido se ha suplido por el lenguaje cotidiano.
Las premisas son:
Si hoy día es lunes, entonces mañana es martes.
Hoy día es lunes.
La conclusión será:
Mañana es martes.
EJEMPLO N° 2
Se desea derivar la conclusión "S" a partir de las siguientes premisas:
Premisa 1 (p ∨ q) ➞ r
Premisa 2 (p ∨ q)
Premisa 3 ∼r ∨ s
Construyendo la demostración formal tenemos
(1) P1 (p ∨ q) ➞ r
(2) P2 (p ∨ q)
(3) P3 ∼r ∨ s
(1,2) P4 r ( en las premisas 1 y 2 por la regla del Modus Ponens).
(1,2,3) P5 s (en las premisas 3 y 4 por la regla del Silogismo Disyuntivo).

Página -215-
Como se puede observar a partir de las tres premisas, llegamos a deducir la conclusión "S" a base de dos reglas de
inferencia. Esto determina que la conclusión "S", es una consecuencia lógica de las premisas en mención.
Página -216-
EJEMPLO N° 3
Derivar la conclusión "(s ∨ t)" a partir de las siguientes premisas:
(1) P1 - (p ∨ q)
(2) P2 (r ∨ s) ➞ p
(3) P3 s ∨ t
(4) P4 t ➞ s // s ∨ t
(1) P5 ~p ∧ ∼q en la P1 de Morgan
(1) P6 ~p en la P5 simplificación
(1,2) P7 ~(r ∼ s) en la P2 y la P6 Modus Tollens
(1,2) P8 ∼r ∧ ∼s en la P7 de Morgan
(1,2) P9 ∼s en la P8 Simplificación
(1,2,3) P10 t en la P3 y la P9 Silogismo y Disyuntivo
(1,2,3,4) P11 s en la P4 y la P10 Modus Ponens
(1,2,3,4) P12 s ∨ t en la P11 Adición
Luego, queda demostrado que la conclusión "s ∨ t", es una consecuencia lógica de las cuatro premisas.
En las demostraciones formales o deducciones se justifica cada paso de inferencia haciendo referencia a la regla
particular de inferencia que permite aquél paso.
Se indica esta regla poniendo la abreviatura de su nombre a la derecha del paso de inferencia. Es también necesario
indicar los números de las líneas en la inferencia de los que ha deducido.
Ahora, la lista de números de la izquierda corresponde a las premisas de que depende esa línea. Si en la última línea
de premisa se justifican todas y cada una de las premisas originales, entonces la demostración formal es correcta.
PREGUNTAS PROPUESTAS
01. “Sergio es campeón de ajedrez si y solo si hace ....

buena apertura. Hace buena apertura. Sergio no es ...............................................................................
campeón de ajedrez o su oponente gana. ...
Luego, su oponente gana ...............................................................................
P1 : p ↔ q ...
P2 : q
P3 : ∼ p ∨ r C:r 06. Smith es profesional si y sólo si es graduado
universitario ocurre que Smith es un ingeniero. Por
Justifique las siguientes deducciones naturales : lo tanto, si Smith es un ingeniero entonces es
graduado universitario.
02. P1 : p↔q Rpta. :
P2 : q ➞ ∼r
P3 : p C : ∼r ...............................................................................
P4 : (p ➞ q) ∧ (q ➞ p) ....
P5 : p➞q ...............................................................................
P6 : q ...
P7 : ∼r ...............................................................................
...
03. P1 : (p ∧ q) ➞ r
P2 : (∼r ∧ p) C : ∼q 07. Si Matías está enfermo, entonces será
P3 : ∼r hospitalizado Matías está enfermo. Por lo tanto
P4 : ∼(p ∧ q) será hospitalizado.
P5 : ∼p ∨ ∼q Rpta :
P6 : P ...............................................................................
P7 : ∼∼p ....
P8 : ∼q ...............................................................................
...
04. P1 : p↔q ...............................................................................
P2 : p∨r ...
P3 : r➞s C:q∨s
P4 : (p ➞ q) ∧ (q ➞ p) 08. Si nieva o llueve, entonces Luisa usará paraguas.
P5 : p➞q Luisa no usó paraguas. Luego no llovió :
P6 : q∨s Rpta :
...............................................................................
05. Luis viajará al norte del país o se quedará en la ....
capital. Por lo tanto, si Luis viaja al norte del país ...............................................................................
entonces no se quedará en la capital. ...
Rpta. : ...............................................................................
............................................................................... ...
Página -217-
....
09. Si llueve entonces nieva y hace frío. Pero no hace ...............................................................................
frío. Por lo tanto no llueve. ...
Rpta.: ...............................................................................
...
...............................................................................
.... 15. O Bruno tiene enemigos en la administración o, si
............................................................................... excede su cuota, recibirá un ascenso Bruno no
... recibirá un ascenso, luego, Bruno tiene enemigos
............................................................................... en la administración o no excederá su cuota.
... Rpta.:
...............................................................................
10. O Carlos se dedicará a los negocios o se dedicará ....
a la investigación económica. Pero si Carlos es ...............................................................................
economista, entonces se dedicará a la ...
investigación económica. De ahí que Carlos no se ...............................................................................
dedicará a los negocios. ...
Rpta :
...............................................................................
....
...............................................................................
...
...............................................................................
...
11. Si el testigo dice la verdad entonces. Pepe estaba

en su casa antes del medio día; pero si Pepe pasó
el día en el club entonces no estaba en su casa
antes del medio día. Pepe pasó el día en el club.
Por lo tanto, el testigo no dice la verdad.
Rpta.:
...............................................................................
....
...............................................................................
...
...............................................................................
...
12. El arma del delito será descubierta si la huella es

auténtica, puesto que, si la huella es auténtica, el
motivo del crimen fue el robo y el arma del delito
será descubierta si el motivo del crimen fue el robo
y el arma del delito será descubierta si el motivo
del crimen fue el robo.
Rpta :
...............................................................................
....
...............................................................................
...
...............................................................................
...
13. Si te vas, no me quedaré si te quedas no me voy.

Pero no te irás o no te dejarás de marchar. Por lo
tanto, no me iré o será imposible que no me
marche.
Rpta :
...............................................................................
....
...............................................................................
...
...............................................................................
...
14. Si dices la verdad, los hombres te odiarán y si

mientes, Dios te odiará. Pero dirás la verdad o
mentiras. Luego los hombres o Dios te odiarán.
Rpta :
...............................................................................
Página -218-
16. Si la verdad es eterna, la lógica es inmodificable.

Las cosas son mudables o la verdad es eterna. Si
las cosas son mudables luego la verdad es eterna
o la lógica es inmodificable. O las cosas no son
mudables o la lógica no es inmodificable. Por lo
tanto las cosas no son mudables y la verdad no es
eterna.
Rpta :
...............................................................................
....
...............................................................................
...
...............................................................................
...
17. Si se inician las vacaciones, las clases se

suspenden o la universidad se cierra. Se inician
las vacaciones, y las clases no se suspenden. Por
lo tanto, la universidad está cerrada.
Rpta :
...............................................................................
....
...............................................................................
...
...............................................................................
...
18. No aprendiste la lectura. Pero si te educaron mal,

no pudiste corregirte, o aprendiste la lectura.
Por lo tanto:
...............................................................................
....
...............................................................................
...
...............................................................................
...
19. No es cierto que no seas el asesino y no hayas

estado en la cárcel, pero si estás condenado
entonces has mentido, ya que eres el asesino o
estuviste en la cárcel.
Luego:
...............................................................................
....
...............................................................................
...
...............................................................................
...
20. Es falso que seas publicista o estudio de mercado.

Si trabajas en publicidad y en un estudio de
mercados, eres publicista o estudio de mercado.
De ahí que :
...............................................................................
....
...............................................................................
...
...............................................................................
...
Página -219-
3er Bimestre
Deducciones Naturales Ps
01. Cuando las fórmulas lógicas pueden asumir P6 : q
distintas funciones veritativas, estamos hablando P7 : ∼r
de:
A) Esquemas lógicos 07. P1 : (p ∧ q) ➞ r
B) Silogismos P2 :(∼r ∧ p) C:∼q
C) Falsedades P3 : ∼r
D) Falacias P4 : ∼(p ∧ q)
E) Verdades P5 : ∼p ∨ ∼ q
P6 : p
02. Esquema lógico, cuya matriz resultante es P7 : ∼∼ p
totalmente verdadera : P8 : ∼q
A) Tautología
B) Consistentes 08. P1 : p ↔ q
C) Contradictorios P2 : p ∨ r
D) Inconsistentes P3 : r ➞ s C:q∨s
E) A y B P4 : (p ➞ q) ∧ (q ➞ p)
P5 : p ➞ q
03. ¿Cómo se llama el esquema en el cual los P6 : q ∨ s
elementos son verdaderos pero hay también
elementos falsos?
A) Tautológicos
B) Consistentes
C) Inconsistentes
D) Falsos
E) Verdaderos
04. ¿Cuál es el otro nombre de los esquemas lógicos

contingentes?
A) Veritativos
B) Correctos
C) Incorrectos
D) Consistentes
E) Contradictorios
05. “Sergio es campeón de ajedrez si y solo si hace

buena apertura. Hace buena apertura. Sergio no es
campeón de ajedrez o su oponente gana”
P1 : p ↔ q
P2 : q
P3 : ∼ p ∨ r C:r
06. Justifique las siguientes deducciones naturales :

P1 : p ↔ q
P2 : q ➞ ∼r
P3 : p C:r
P4 : (p ➞ q) ∧ (q ➞ p)
P5 : p ➞ q
Página -220-
09. P1 : (p ∧ q) ➞ r
P2 : (q ➞ r) ➞ s 16. (1) (∼A . B) ⊃ C P
P3 : p C:s (2) A ∨ (D ⊃ E) P
P4 : p ➞ (q ➞r) (3) ∼ A . ∼C P//∴B ⊃ E
P5 : p➞s (4) ∼A
P6 : s (5) D ⊃ E
(6) ∼C
10. P1 : ∼p (7) ∼(∼A . B)
P2 : ∼q ➞ ∼ r (8) ∼∼A ∨ ∼B
P3 : q ↔ p (9) ∼∼∼A ⊃ ∼B
P4 : t ➞ r C:∼t (10) ∼A ⊃ ∼B
P5 : (q ➞ p) ∧ (p ➞ q) (11) ∼A ∨ D
P6 : q ➞ p (12) ∼B ∨ E
P7 : r ➞ q (13) ∼∼B ⊃ E
P8 : t ➞ q (14) B ⊃ E
P9 : t ➞ p
P10 : ∼p ➞ ∼ t 17. (1) ∼(s ∨ ∼q) ⊃ r P
P11 : ∼ t (2) t ∨ p P
11. La fórmula ∼(p ∧ ∼ p) es equivalente al principio : (3) ∼r ∨ ∼p P//∴(s ∨ ∼q) ∨t
A) Del tercio excluido (4) p ∨ t
B) De idempotencia (5) ∼p ⊃ t
C) De identidad (6) ∼∼r ⊃ ∼p
D) De Morgan (7) r ⊃ ∼p
E) Del condicional (8) ∼(s ∨ ∼q) ⊃ ∼p
12. Determine la conclusión de la siguiente estructura : (9) ∼(s ∨ ∼q) ⊃ t
P1 : (p ∨ q) (10) ∼∼(s ∨ ∼q) ∨ t
P2 : ∼ p (11) (s ∨ ∼q) ∨ t
C=?
A) p ∧ qB) p C) q 18. (1) ∼(p ≡ q) ∨ r P
D) p ∨ q E) ∼q (2) ∼r . ∼s P
(3) ∼s ⊃ (q ⊃ p) P//∴q ⊃∼p
13. (1) ∼p ∨ ∼q P (4) q
(2) p . r (5) ∼s
(3) ∼(∼q . r) ∨ ∼s P (6) q ⊃ p
(4) p P//∴∼s (7) ∼r
(5) ∼q (8) ∼(p ≡ q)
(6) ∼∼(∼q . r) ⊃ ∼s (9) ∼(p ⊃ q . q ⊃ p)
(7) ∼q . r . ⊃ . ∼s (10) ∼(p ⊃ q) ∨ ∼(q ⊃ p)
(8) r (11) ∼(p ⊃ q)
(9) ∼q . r (12) ∼(∼p ∨ q)
(10) ∼s (13) p . ∼q
(14) ∼q
14. (1) q . r P
(15) ∼q ∨ ∼p
(2) p ≡ q P//∴∼q ⊃ s
(16) ∼p
(3) p ⊃ q . q ⊃ p
(17) q ⊃ ∼p
(4) q ⊃ p
(5) q
(6) p
(7) p ⊃ q
(8) q
(9) q ∨ s
(10) ∼q ⊃ s
15. (1) ∼p ⊃ ∼ (∼ q ⊂ r) P
(2) ∼p . ∼s P
(3) r ∨ (∼t ∨ r) P//∴∼t
(4) ∼p
(5) ∼(∼q ⊃ r)
(6) ∼(∼∼q ∨ r)
(7) ∼∼∼q . ∼r
(8) ∼q . ∼r
(9) ∼r
(10) ∼t ∨ r
(11) ∼t
19. (1) ∼s ⊃ ∼r P (5) ∼q ∨ r

(2) p ⊃ (∼q ∨ r) P (6) r
(3) p P//∴q ⊃ s (7) s
(4) q (8) q⊃s
Página -221-
20. (1) p ≡≢ ∼q P
(2) ∼(∼p ⊃ ∼q) ∨ ∼r P
(3) ∼r ⊃ ∼(q . ∼s) P//∴p ⊃ s
(4) p
(5) p ∨ ∼q . ∼(p . ∼q)
(6) ∼(p . ∼q)
(7) ∼p ∨ q
(8) q
(9) (∼p ⊃ ∼q) ⊃ ∼r
(10) (∼p ⊃ ∼q) ⊃ ∼(q . ∼s)
(11) p ∨ ∼q
(12) ∼p ⊃ ∼q
(13) ∼(q . ∼s)
(14) ∼q ∨ s
(15) s
(16) p ⊃ s
Página -222-
3er Bimestre
La Lógica - La Informática Ps
RELACIÓN ENTRE LA LÓGICA Y LA INFORMÁTICA
Existe una íntima relación entre la lógica y la informática, puesto que la lógica constituye el fundamento teórico de la
informática, en cuanto le proporciona comprende mejor las computadoras y su respectiva construcción de lenguajes
de programación. Entre sus múltiples aplicaciones, la lógica se aplica a la tecnología. En este campo, la lógica se
aplica a la construcción de circuitos lógicos y entre ellos los circuitos eléctricos, compuertas lógicas, los diagramas de
flujo, etc.
I. CIRCUITOS ELÉCTRICOS
Entre sus múltiples aplicaciones, la lógica se aplica a la construcción de circuitos lógicos y, entre ellos, los
circuitos eléctricos.
Para cualquier fórmula proposicional podemos construir un circuito eléctrico, que resultará más fácil en tanto la
fórmula tenga sólo operadores “∧”, “∨” y/o “~”.
Los circuitos eléctricos están formados por conmutadores o interruptores que son los órganos lógicos que
dejan pasar o no dejan pasar la corriente eléctrica.
Un interruptor o conmutador será representado por

. Cuando el interruptor está cerrado pasa la corriente eléctrica, que equivale a un dato verdadero (V), pero cuando
el interruptor está abierto no pasa la corriente eléctrica, lo que equivale a un dato falso (F).
“V” y “F” son los estados lógicos de un circuito. Si un circuito está cerrado, la corriente pasa y la lámpara se
enciende, pero si un circuito eléctrico está abierto, la corriente no pasa y la lámpara no se enciende. En el
siguiente cuadro podemos apreciar los estados del interruptor y de la lámpara.
Estado lógico Interruptor Lámpara

V Cerrado Encendida
F Abierto Apagada
Ahora podemos construir los circuitos. El procedimiento que se sigue es el mismo que se emplea en la
construcción de computadoras electrónicas. Estos circuitos son de dos clases: en serie y en paralelo.
Circuitos en serie. Los circuitos en serie constan de dos o más interruptores, donde un interruptor está después
de otro y así sucesivamente. El gráfico de un circuito en serie es la representación de una fórmula proposicional
conjuntiva, cuya expresión más simple es “p ∧ q”, y que se representa de la siguiente manera:
p q
Si añadimos a este circuito la batería y la lámpara, entonces el gráfico es como sigue:
p q
@
lámpara
batería
Página -223-
Para que este circuito quede cerrado y la lámpara se encienda, “p” y “q” deben estar cerrados, esto es, “p” y “q” deben
ser verdaderos a la vez. En otros términos, es la aplicación de la tabla de verdad de la fórmula “p ∧ q”.
Circuitos en paralelo. Los circuitos en paralelo constan de dos o más interruptores, donde un interruptor está en la
otra línea y así sucesivamente. El gráfico de un circuito en paralelo es la representación de una fórmula proposicional
disyuntiva, cuya expresión más simple es “p ∨ q”, y que se representa así:
p
Si añadimos a este circuito la batería y la lámpara, entonces el gráfico es como sigue:

p
q @
lámpara
batería
Página -224-
Para que este circuito quede cerrado y la lámpara se encienda, bastará que uno de los interruptores esté cerrado. Esto
es, el circuito quedará cerrado, o bien cuando “p” sea verdadero o cuando “q” sea verdadero, o bien cuando ambos
sean verdaderos. Solamente no se encenderá la lámpara cuando los dos interruptores estén abiertos, o sea, cuando
“p” y “q”, ambos, sean falsos a la vez. Este caso es la aplicación de la tabla de verdad de “p ∨ q”.
La Contradicción y la Tautología. El circuito lógico de una fórmula contradictoria siempre quedará abierto. Por
ejemplo, si graficamos la contradicción “p ∧ ~p” se tiene:
p ~p
@
En este circuito en serie la lámpara nunca se encenderá, por que si “p” es verdadero, “~p” será falso, por lo tanto, la
corriente eléctrica no pasa. De igual modo, si ocurre que “p” es falso y “~p” es verdadero, la corriente eléctrica no
pasará.
En cambio, el circuito lógico de una fórmula tautológica siempre quedará cerrado. Por ejemplo, si construimos el
circuito lógico del tercio excluido “p ∨ ~p” se tiene:
p
~p @
En este circuito la lámpara siempre estará encendida, porque si “p” es verdadero y “~p” es falso, el circuito estará
cerrado, dado que por cualesquiera alternativa la corriente eléctrica pasa; lo mismo ocurrirá si “p” es falso y “~p” es
verdadero.
II. COMPUERTAS LÓGICAS

Circuitos lógicos a compuertas
Los circuitos, que hemos presentado en la sección anterior, proporcionan una idea precisa sobre la forma como la
lógica proposicional puede ser aplicada al diseño de computadoras electrónicas. Dichos circuitos que son
conocidos como circuitos a conmutadores, llaves o switches, han sido, sin embargo, reemplazados por
dispositivos más ágiles, conocidos como circuitos lógicos a compuertas, que son más acordes con las
exigencias de la tecnología contemporánea.
La necesidad de diseñar compuertas está ligada al hechos de que la computadora actual se encuentra en la
práctica muy alejada de las llaves o switches, a los que ha sustituido gradualmente por relays, transistores y
circuitos integrados (chips). Pero esto no debe llevar a la creencia de que las compuertas complican el manejo
lógico de los circuitos, pues la situación es exactamente al revés. Lo facilitan y permiten visualizar mejor la
aplicación de las fórmulas lógicas.
Una compuerta es un artefacto que en general tiene entradas y una salida, las mismas que se representan con
líneas. El artefacto mismo se representa convencionalmente por una media luna o por un triangulito y su función
es dejar o no pasar un tipo de impulso eléctrico, bajo ciertas condiciones.
III. COMPUERTAS LÓGICAS
Las compuertas lógicas son bloques de circuitos que producen señales de salida de “lógica 1” o “lógica 0” si se
satisfacen las condiciones de las entradas lógicas. “1” y “0” son las señales binarias o estados binarios de una
variable, y los circuitos lógicos que ejecutan las operaciones lógicas de las compuertas NOT, AND, OR (“no”, “y”,
“o” respectivamente en español) son representados en función de sus respectivos estados binarios. A continuación
cada una de ellas.
Compuerta NOT. La compuerta NOT o inversor responde a los siguientes estados binarios:
p ~p Si “p = x”, entonces “~p” en

1 0 función algebraica es “x”
0 1
El circuito completo se representará gráficamente como sigue:

p ~p
Como se puede apreciar, la compuerta NOT tiene una sola entrada que es la proposición “p”, y una salida que es la
proposición “~p”. La corriente pasará al exterior de la compuerta cuando la lámpara se encienda, pero si la lámpara no
se enciende, la corriente no pasará la compuerta.
Página -225-
Compuerta AND. Podemos identificar la compuerta AND con los conmutadores “p” y “q”. La función binaria responde
a la fórmula “p ∧ q” tal como sigue:
p, q p q “p q” en función algebraica
1 1 1 es “xy”
1 0 0
0 1 0
0 0 0
Página -226-
y el diseño gráfico que la representa es:

p p q
q
La compuerta AND, en este caso, tiene dos entradas, “p” y “q”, pero puede tener más de dos entradas. En el gráfico la
única salida es “p ∧ q” y representa a la lámpara en el diseño de un circuito eléctrico.
p, q p q “p q” en función algebraica
1 1 1 es “x + y”
1 0 1
0 1 1
0 0 0
Compuerta OR. La función binaria de la compuerta OR corresponde a la fórmula “p ∨ q” como sigue:
y el diseño gráfico que la representa es:

p p q
q
El gráfico muestra dos entradas, “p” y “q”, para la compuerta OR. En este caso la salida es “p ∨ q”, que representa a
la lámpara en el circuito eléctrico.
01. Indicar la alternativa correcta: q]; indicar el circuito lógico equivalente a: (p ⇒ ∼q)
p
p q
p A) ~q
p q
B) p q
A) [(p ∧ ∼q) ∧ (∼p ∧ q)] ∨ p
B) [(p ∨ ∼q) ∧ (∼p ∧ q)] ∧ p
C) [(p ∧ ∼q) ∨ (∼p ∨ q)] ∨ p p
D) [(p ∨ ∼q) ∧ (∼p ∨ q)] ∨ p
E) [(p ∧ ∼q) ∨ (∼p ∧ q)] ∧ p C) q
02. Escribe el equivalente de la siguiente expresión:
p ∧ (~p ∨ q)
A) p q
p
p
B) q
p
p
C) q
p
q
D) p
p
q
E) p
03. Recordando que (p ⇒ q) es equivalente a [(∼p) ∨

Página -227-
p
06. Represente la fórmula básica para la siguiente
D) q compuerta:
p
q
A
E)
p q r
04. ¿Cuál de los circuitos mostrados a continuación es A) (p ∨ q) ∧ (q ∨ r) B) (∼p ∨ ∼q) ∧ r

equivalente al lenguaje lógico (∼p ⇒ ∼q)? C) (p ➞ q) ∧ (q ➞ r) D) (∼p ∨ q) ∧ (q ∧ r)
E) (∼p ➞ q) ∧ (∼q ➞ r)
p
07. En la compuerta siguiente, señale lo correcto:
A) p p
q
A
B) p q r
DNO
p A) La lámpara no se enciende
B) Está formada por compuertas AND
C) q C) Está formada por compuertas AND y NOT
D) Está formada por compuertas AND; OR y NOT
E) La lámpara se enciende
D) p q
08. ¿A qué responden la compuerta AND y OR en
p fórmulas lógicas?
p p
E) q ; q
q
A) (p ∧ q); (p ∨ q) B) (p ➞ q); (p ↔ q)
05. De los circuitos lógicos que se muestran a C) (p ∧ q); (p → q) D) (p ∨ q); (p ↔ q)
continuación señale a: E) N.A.
p ⇒ (∼p ⇒ q) 09. Los circuitos lógicos son:

A) Una técnica de la lógica
p B) Un proceso lógico, que consta de proposiciones
p C) Esquemas que se forman por intermedio de las
A) q diferentes fórmulas lógicas
D) Todas las anteriores
p E) Sólo vale B
p
10. En los circuitos lógicos solamente se utilizan:
B) q A) Conjunción
B) Disyunción
p C) Condicional
D) Bicondicional
p E) A y B
C) q
11. Todo circuito lógico se construye en:
p A) Serie B) Paralelo C) Conjunto
p D) Alterna E) A y B
D) q 12. Indique la alternativa correcta:
A
E)
p p q
B C
A) A➞(B∧C) B) A ∧(B∧C) C) A ∧(B∨C)

D) A∨(B∨C) E) A∨(B∧C)
13. Indique la fórmula correcta:
Página -228-
A B 14. Indique la fórmula correcta:
A
C
C D
B
A) (A∧B)∨(C∧D) B) (A∧B)∧(C∧D) D E
C) (B∨A)∨(C∧D) D) (A∧B)∧(C∨D)
E) (A∨B)∨(C∨D)
A) [(A∨B)∨∼C]∨(∼D∨E)
B) [(A∧B)∧∼C]∧(∼D∧E)
C) [(A∨B)∧∼C]∨(∼D∧E)
D) [(A∨B)∨∼C]∧(∼D∧E)
E) [(A∧B)∨∼C]∧(∼D∨E)
15. Relacione correctamente:
I. p q
p
II. q
III. p
A. p
B. (p ∧ q)
C. (p ∨ q)
A) IB; IIC; IIIA B) IB; IIA; IIIC C) IA; IIB; IIIC

D) IA; IIC; IIIB E) IC; IIB; IIIA
16. Expresar mediante el lenguaje lógico el siguiente

circuito:
p ~q
A) p ∨ ∼ q B) p ∧ (∼q) C) p ∨ q
D) p ∧ q E) Todas
17. Expresar el siguiente circuito mediante el lenguaje

lógico:
p
p
q
A) ∼p ∨ (p ∧ q)
B) (∼p) ∨ (p ∧ q)
C) p ∨ q
C) (∼p) ∧ (p∨q)
D) p∧(∼p∨∼q)
E) (∼p)∨(p∨q)
18. La fórmula del siguiente gráfico de circuito lógicos

es:
Página -229-
p q 20. La lógica al aplicarse a la electrónica, producto del

desarrollo tecnológico, dio como origen a la
llamada:
p
p' A) Inteligencia
B) Inteligencia artificial
r s C) Modelos cibernéticos
D) Circuitos lógicos
E) Sólo B y C
A) p ∧ (p ∧ q) ∨ p ∧ r ∧ s)
B) p ∧ {(p . q) ∨ [~ p ∨ (r ∧ s)]}
C) p ∧ {(p ➔ p) ∨ [p' ∧ (r ∧ s)]}
D) T.A.
E) Sólo vale A
19. La siguiente fórmula se representa gráficamente en
el sistema de circuitos lógicos:
(p ∧ q) ∨ [q ∧ (p ∧ q) ∨ (~p ∧ ~q)]
A) p q p q
~p ~q
B) p q
p q
q
~q
C) p q
p q
q
p' q'
D) T.A.
E) Sólo vale B
Página -230-
3er Bimestre
Proposiciones Categóricas I Ps
CONCEPTO - Cualidad (calidad) :
Afirmativa - negativa : Indica que la inclusión o
PC : Aserciones acerca de clases que afirman o exclusión de clases (total o parcial) sea afirmada o
niegan si una clase está incluida o excluida en otra, sea negada en la proposición
total o parcialmente.
- Cantidad :
CARACTERÍSTICAS Universales - particulares : Cuando la proposición
- Cuantificador : Se ha tomado íntegra o se refiere a todos o algunos de los miembros de la
parcialmente al sujeto. clase sujeto. Los cuantificadores indican la
- El sujeto y el predicado : Son términos que indican cantidad
clase o conjunto.
- El verbo copulativo : Es el término SER que está en - Distribución : Una proposición distribuye un término
presente indicativo según los tiempos que sean si se refiere a todos los miembros de la clase
necesarios designada por ese término
FORMAS TÍPICAS
Palabras latinas
AFFIRMO - NEGO
(medievales)
relación de clases
A : Todo S es P (SAP) Inclusión total
E : Ningún S es P (SEP) Exclusión total
I : Algún S es P (SIP) Inclusión parcial
O : Algún S no es P (SOP) Exclusión parcial
Ejem:
A : Todos los sociólogos son políticos
E : Ningún sociólogo es político
I : Algún sociólogo es político
O : Algún sociólogo no es político
CLASIFICACIÓN DE LAS PROPOSICIONES

CATEGÓRICAS
Se clasifican por su :
Página -231-
Término S distribuido
Término su fórmula booleana es : SP = O

A: Todo S es PE: Ningún S es P
P no Término P
O: Algún S no es P distribuido
distribuido I: Algún S es P
Término S no distribuido
Así, se encierra en un círculo el término distribuido
A : Todo func { SCALESYM 120  HORZ -100

VERT 10 S}
es P
E : Ningún func { SCALESYM 120  HORZ -100
VERT 10 S}
es func { SCALESYM 120  HORZ -100 VERT 10 P}
I : Algún S es P
O : Algún S no es func { SCALESYM 120  HORZ
-100 VERT 10 P}
Considerando estos elementos de clasificación, se tiene

cuatro formas de PC
1. Universal afirmativa : Todo S es P
2. Universal negativa : Ningún S es P
3. Particular afirmativa : Algún S es P
4. Particular negativa : Algún S no es P
DIAGRAMACIÓN DE LAS PROPOSICIONES

CATEGÓRICAS
Se realiza a través de gráficos geométricos propuesto

por el lógico inglés John Venn (1834 - 1923), donde los
diagramas determinan cuando una sección está o no
vacía
1. Universal afirmativa (A)
Todas S son P
S P
su fórmula booleana es : Sfunc { overline P}

=O
2. Universal negativa (E)
Ningún S es P
S P
Página -232-
3. Particular afirmativa (I)
Algunos S son P
U
x
S P
su fórmula booleana es : SP ≠ O
4. Particular negativa (O)
Algunos S no son P
U
x
S P
su fórmula booleana es : Sfunc { overline P}

≠O
01. Es una relación de clases entre el sujeto y el C) Exclusión total

predicado, que establece si es afirmativa o D) Inclusión total
negativa, si es inclusiva o exclusiva.... nos D) Distribución real
referimos:
A) Proposiciones categóricas 06. Las proposiciones: “Toda serpiente es venenosa” y
B) Tautológicas “ningún mamífero no es ovíparo”, son de tipo :
C) Cuantificaciones A) Inclusión parcial y total
D) Relaciones B) Inclusión total y parcial
E) Conclusiones C) Inclusión total y exclusión total
D) Inclusión real y universal
02. Señala qué elemento no es una característica de E) Inclusión semiparcial y exclusión real
las
proposiciones categóricas: 07. Todas las señoritas son hermosas doncellas, ¿qué
A) Verbo copulativo término se distribuye?
B) Sujeto A) El término : señorita
C) Predicado B) El término : hermosa
D) Conclusión C) El término : doncellas
E) Cuantificador
03. Indique cuáles son las formas típicas de las

proposiciones :
A) Todos los S son P
B) Ningún S son P
C) Algún S no es P
D) Algún S es P
E) Todos
04. En la expresión:
“Todos los psicólogos son empáticos”; es una
proposición :
A) Exclusión parcial
B) Inclusión total
C) Exclusión individual
D) Exclusión e inclusión total
E) Inclusión semi - parcial
05. En la proposición :
Es imposible que algún alemán sea humano es :
A) Inclusión parcial
B) Exclusión parcial
Página -233-
D) El término : todos “Algunos marinos son soberbios”, se representan

E) La cúpula de la proposición en fórmula booleana
08. ¿Cuáles fueron los descubrimientos hechos por A) Sfunc { overline P}

Aristóteles en el Tratado de los analíticos, cuya =O B) Sfunc { overline P}
obra es muy famosa : ≠O C) ∼(Sfunc { overline P}
A) Proposiciones - tablas de verdad ≠ O)
B) Proposiciones simples e inferencias D) SP ≠ O E) SP = O
C) Proposiciones - silogismos
D) Principios lógicos 16. La expresión :
E) Principio de identidad “Ningún postulante no es precavido”
A) ∼(Sfunc { overline P}
09. Es falso que algún albañil sea trabajador, se = O) B) ∼(SP ≠ O) C) SP = O
distribuye : D) Sfunc { overline P}
A) Es falso que ≠O E) Sfunc { overline P}
B) algún =O
C) albañil - trabajador
D) trabajador 17. La expresión :
E) Algún no “No es el caso que todo submarino no sea
marítimo” es:
10. En la expresión “Todos los pitagorinos no son
idealistas”, se distribuye : A) ∼(SP = O) B) ∼ (SP ≠ O) C) SP = O
A) Todos D) Sfunc { overline P}
B) los pitagorinos ≠O E) Sfunc { overline P}
C) no =O
D) idealistas
E) El verbo 18. El diagrama respectivo representa a la siguiente
proposición :
11. “No se cumple que no todo pavo real no es un U
pájaro de adorno”, se distribuye : S P
A) pavo real
B) El predicado
C) El sujeto
D) Las negaciones
E) La cúpula
12. Indica qué elementos son de una proposición

categórica o se relacionan con esta : A) Los invertebrados son animales irracionales
A) Son tautológicas implicativas B) Todo varón es valiente
B) Pueden ser comprobadas por bivalencias C) Algún cobarde es rebelde
C) Se pueden representar por fórmulas booleanas D) No es posible que algunos niños sea
D) Son monovalentes insoportables
E) Respeto a los silogismos implicativos E) Ningún incompleto es integral
13. Dada la proposición :

Ningún alumno es malcriado, se afirma que :
I. Se distribuye solo el sujeto
II. Su fórmula Sfunc { overline P}
=O
III. Es de cuantificador definido
IV. Es tipo E
A) Todas son ciertas
B) I y II son verdaderas
C) II y III son falsas
D) I y IV son verdaderas
E) III y IV son verdaderas
14. La expresión :
“Unos cuantos alumnos de la academia no serán
bienvenidos por su conducta negativa”; es definida
como:
A) Proposición universal afirmativa
B) Su fórmula es Sfunc { overline P}
= O, tipo O
C) Particular afirmativa
D) Es una SEP
E) Proposición negativa universal
15. La expresión :
Página -234-
19. La siguiente gráfica puede ser representada por la

proposición:
S P U
A) Es falso que los ricos no sean colaboradores

B) Es falso que algún niño es malo
C) Todo payaso no es amable
D) Algún S es P
E) Ninguna ira es buena
20. El diagrama a qué fórmula booleana

corresponde:
S P
A) Sfunc { overline P}
=O B) func { overline Sòverline P}
≠O C) func { overline S}
P≠O
D) func { overline SP}
=O E) ∼(Sfunc { overline P}
= O)
Página -235-
3er Bimestre
Proposiciones Categóricas II Ps
Como ya señalamos, las inferencias son CLASES DE INFERENCIAS INMEDIATAS
razonamientos es decir los procesos lógicos donde a
partir de una o más premisas obtenemos una 1. POR CONVERSIÓN :
conclusión.
Cuando la conclusión tiene los términos S y P
Asimismo, mencionamos que estos razonamientos permutamos con respecto a la premisa, pero
pueden ser mediatos (cuando tienen varias ambas proposiciones tienen la misma cualidad a
proposiciones) e inmediatos (cuando sólo tienen dos su vez pueden ser :
proposiciones)
a) CONVERSAS SIMPLES
En la lógica tradicional, las inferencias inmediatas Cuando la premisa y la conclusión tienen la
están constituidas por “Proposiciones Categóricas”; es misma cantidad.
decir :
PREMISA → CONCLUSIÓN
A : Todos S es P (SAP) Inclusión total SEP → PES
E : Ningún S es P (SEP) Exclusión total SIP → PIS
I : Algún S es P (SIP) Inclusión parcial
O : Algún S no es P (SOP) Exclusión parcial
Esto significa que una proposición categórica establece

una relación entre sus términos S y P (relación entre
clases)
Ejemplos :
Premisa Conclusión
Ningún vegetal es animal por lo tanto ningún animal es vegetal

❃ S E P P E S
Algunos hombres son famosos , luego algunos famosos son hombres

S I P P I S
❃
b) CONVERSAS ACCIDENTALES (POR LIMITACIÓN)
Cuando la premisa tienen cantidad universal pero la conclusión es de cantidad particular
SAP → PIS
SEP → POS
Página -236-
Ejemplos:
Premisa Conclusión
Todo peruano es latino ; luego algunos latinos son peruanos

S A P P I S
❃
Ningún ave es un pez ; entonces algunos peces no son aves

S E P P O S
❃
Ejercicios : * Todos los hombres son inteligentes

Halle la conversión en cada una de las siguientes * Algunos comerciantes son usureros
premisas : * Ningún político es honesto
* Algunos ciudadanos no son patriotas
2. POR OBVERSIÓN : Consiste en reemplazar el sujeto por la negación

del predicado y el predicado por la negación del
Tanto la premisa como la conclusión son de la sujeto. La contraposición propiamente dicha debe
misma cantidad pero de diferente calidad, los conservar la misma letra simbólica, no debe
términos S y P no se permutan pero el predicado cambiar la cantidad, ni la cualidad.
debe ser sustituido por su complemento.
SAP → func { overline P}
Afunc { overline S}
SAP → SEfunc { overline P} SEP → func { overline P}
Ofunc { overline S}
SEP → SAfunc { overline P} (por limitación)
SIP → (No es válida)
SOP → func { overline P}
SIP → SOfunc { overline P}
Ofunc { overline S}
SOP → SIfunc { overline P}
4. POR OPOSICIÓN
Son inferencias inmediatas que resultan de

Ejemplos : relacionar las cuatro formas típicas según el
❃ SAP → SEfunc { overline P} cuadro tradicional de la oposición o de Boecio (480
- 524).
El cuadro de Boecio suministra la base para
Todos los mangos son frutas, luego ningún mango determinar que las inferencias inmediatas sean o
es no - fruta no válidas, para ello se debe conocer la V ó F de
una de las cuatro PC de forma típica para inferir
inmediatamente la verdad o falsedad de las otras
❃ SEP → SAfunc { overline P}
Ningún juez es corrupto, luego todos los jueces son

no - corruptos
❃ SIP → SOfunc { overline P}
Algunos jóvenes son responsables, luego algunos

jóvenes no son no - responsables
❃ SOP → SIfunc { overline P}
Algunos autos no son nuevos, luego algunos autos

son no - nuevos
3. POR CONTRAPOSICIÓN
Página -237-
(SAP) A Contrarias E (SEP) * Entre las subcontrarias

~I → O
~O → I
Subalternante
Subalternante
Con
Subalterna
trad
* Entre las subalternas
Subalterna
ic t
oria
A → I
s
E → O
tori
as ~I → ~A
~O → ~E
ic
trad
Con
(SIP) I Sub - contrarias O (SOP)
- Contradictorias
A E I O V F
O I E A F V
- Contrarias
A E V F
E A F ?
- Subcontrarias
I O V F
O I ? V
- Subalternas
A E V F
I O V ?
- Subalternantes
I O V F
A E ? F
Además se tiene las siguientes relaciones :

1. Por equivalente
A ≡ ~O
E ≡ ~I
I ≡ ~E
O ≡ ~A
2. Por implicación
* Entre las contrarias
A → ~E
E → ~A
Página -238-
01. Aquellos razonamientos que en su estructura está E) Algún periodista no es no investigador

constituida por una sola premisa y una conclusión :
A) Inferencia inmediata 11. Si la conclusión es :
B) Inferencia mediata “Ningún estudioso es no responsable” se deduce
C) Razonamiento ascendente que su premisa es :
D) Silogismo A) Ningún responsable es estudioso
E) Falacia B) Algún responsable es estudioso
02. Son aquellos razonamientos o inferencias
inmediatas:
A) Conversas
B) Silogismo hipotético puro
C) Dilema destructivo
D) Dilema constructivo
E) Simbolización
03. Son aquellos razonamientos que para sacar su

conclusión cambian la clase S por la clase
predicado:
A) Obversas B) Contraposición
C) Cuadro de BoecioD) Oposición
E) Conversas
04. Son aquellos razonamientos que obligan aplicar
como regla el comportamiento del predicado :
A) Silogismos B) Principios lógicos
C) Tautologías D) Obversas
E) Conversas
05. Indica cuál no es un razonamiento inmediato:

A) Dilema destructivo B) Silogismo
C) Contraposición D) Falacia
E) Todos menos la C
06. “Todos los trabajadores son servidores públicos y
privados”, se concluye:
A) Algún servidor público y privado es trabajador
B) Ningún trabajador es servidor público y privado
C) Algún servidor público y privado no es
trabajador
D) Ningún trabajador es servidor
E) No todo servidor no es trabajador
07. “Algún bebe es llorón”, se concluye:
A) Ningún bebe es llorón
B) Algún llorón es bebe
C) Algún bebe no es no llorón
D) A y B
E) B y C
08. En la proposición :
“No es posible que ningún salvavidas sea nadador”
A) Todo salvavidas es nadador
B) Algún salvavidas no sea no nadador
C) Ningún salvavidas es nadador
D) Algún nadador sea salvavidas
E) B y D
09. En la proposición:
Es falso que ningún mercader sea pesimista
A) Todo mercader es pesimista
B) Ningún mercader no sea pesimista
C) Algún pesimista es mercader
D) Algún pesimista no es mercader
E) Es imposible que todo mercader es pesimista
10. La contraria de “Todo periodista es investigador” es
:
A) Ningún periodista es investigador
B) Algún periodista es investigador
C) Algún no periodista es investigador
D) Todo periodista no es pesimista
Página -239-
C) Todo estudioso es responsable

D) Ningún no estudioso es responsable
E) Algún estudioso no es estudioso
12. Si la conclusión es :
“Algún astronauta no es filósofo”, su premisa es :
A) Ningún filósofo es astronauta
B) Todo astronauta es filósofo
C) Algún astronauta es astronauta
D) Algún astronauta es filósofo
E) Es falso que algún astronauta es filósofo
13. La contradictoria de :
“Es falso que algún pistolero es hábil”, es :
A) Algún pistolero no es hábil
B) Algún pistolero es hábil
C) Todo pistolero no es hábil
D) Ningún pistolero es hábil
E) Algún no pistolero es hábil
14. La subalterna de: Es imposible que los leones no
sean salvajes”
A) Ningún león no es salvaje
B) Algún león no es salvaje
C) Todo león es salvaje
D) A y B
E) B y C
15. De la proposición :
“Los corruptos son criminales”
A) Algún criminal es corrupto
B) Todo no criminal es no corrupto
C) Ningún corrupto es no criminal
D) Es no dable que algún corrupto es no criminal
E) Todas
16. De la proposición :
“Algún nadador no es atleta”
A) Todo nadador es atleta
B) Ningún atleta es nadador
C) Algún nadador es no atleta
D) Algún atleta es nadador
E) Es falso que todo nadador es atleta
17. Si es verdad que :
“Todo profesor es educador”; es falso que :
A) Algún profesor no es educador
B) Ningún profesor es educador
C) Todo profesor es educador
D) A y B
E) B y C
18. Si es verdad que :
“Ningún árbol es mineral”, su conclusión verdadera
será:
A) Todo árbol es mineral
B) Algún árbol es mineral
C) Algún árbol no es mineral
D) Ningún mineral es árbol
E) Algún mineral es árbol
19. Es falso que :
Todo guerrero es valiente, concluimos:
A) Algún guerrero es no valiente
B) Todo guerrero no es valiente
C) Ningún guerrero es valiente
D) A y B
E) A y C
20. La subcontraria de algún soldado es valiente es:
A) Es imposible que todo soldado es valiente
B) Todo soldado no es valiente
C) Es imposible que no los soldados no sean
valientes
D) Ningún soldado es valiente
E) Todas menos la D
Página -240-
3er Bimestre
Silogismo Categórico I Ps
DEFINICIÓN
El silogismo categórico es una inferencia mediata constituida por proposiciones categóricas típicas, donde a partir de
dos premisas se deduce la conclusión.
Para que se establezca una estructura silogística los dos primeros juicios (premisas), deben tener algo común entre
ellos, y a su vez, el tercer juicio (conclusión) es el resultado de la relación entre los dos primeros
Ejemplo :
P1 : Algunos deportistas son atletas
P2 : Todo atleta está en buena forma
C : Algunos que están en buena forma son deportistas
A) CARACTERÍSTICAS
1. Tiene premisa mayor (P1), premisa menor (P2) y una conclusión (// ∴)
2. Todo silogismo contiene 3 términos o clases :
A. Término Mayor : Representado por (P). Es el predicado del silogismo; se encuentra ubicado en la primera
premisa (premisa mayor) y en la conclusión.
B. Término Medio : Representado por (M). Se encuentra repetido en las premisas. Es el término más
importante del silogismo
C. Término Menor : Representado por (S). Es el sujeto del silogismo; se encuentra ubicado en la segunda
premisa (premisa menor) y en la conclusión.
Ejemplos explicativos :
1. P1 (Premisa mayor) : Algunos músicos no son cantantes

P2 (Premisa menor) : Todo músico es artista
C : conclusión: Luego, algunos artistas no son cantantes
En este silogismo, los términos son :
✴ Mayor (P) = cantantes (P1 y conclusión)

✴ Medio (M) = músicos (se repite en las premisas)
✴ Menor (S) = artistas (P2 y conclusión)
Página -241-
P1 : Toda ciencia es un conocimiento objetivo
P M
P2 : Ningún saber vulgar es un conocimiento objetivo
S M
C : Ningún saber vulgar es ciencia
2. S P
Es decir : P1 : Toda P es M
P2 : Ningún S es M
C : Ningún S es P
Página -242-
B) FIGURAS DEL SILOGISMO

Son las diferentes posiciones que asume el término medio en el silogismo, éstas son :
Primera Segunda Tercera Cuarta
Figura Figura Figura Figura
M P P M M P P M
S M S M M S M S
S P S P S P S P
1 2 3 4
M M M M
M M
“Las figuras del silogismo permiten estructurar correctamente un silogismo”
C) MODOS DEL SILOGISMO

Los modos del silogismo categórico son las letras que resultan de los tipos de proposiciones categóricas que
constituyen el silogismo. Así el modo estará formado por tres letras típicas que secuencialmente representan a la
premisa mayor, premisa menor y la conclusión. Estos modos que se obtienen de combinar todas las posibilidades
de A; E; I; O son sesenta y cuatro para cada figura, y como son cuatro figuras, se tendría doscientos cincuenta y
seis modos distintos que pueden adoptar los silogismos categóricos.
Cabe considerar que todo silogismo categórico de la forma típica pertenece a una figura y un modo
Ejemplo :
P1 : Algunos periodistas son literatos (I)
P M
P2 : Todo literato es escritor (A)

M S
C : Algunos escritores son periodistas (I)
S P
Es decir :
func { left. stack { alignl`` P_ 1~: ~P ~``{`} sub I`` ~M # alignl `` P _ 2~: ~M ~{`} sub A ~S # alignl overline{````C ~:~S
~```{`} sub I`~`` P``}} right\}}
Este silogismo pertenece

a la cuarta figura y su
modo es I - A - I
* Modos Válidos del Silogismo :

De los 256 solamente son válidos 24 modos, de los cuales a 19 de ellos, los lógicos medievales, les dieron
nombres latinos.
Primera Segunda Tercera Cuarta

Figura Figura Figura Figura
BARBARA CESARE DARAPTI BAMALIP

CELARENT CAMESTRES FELAPTON CAMENES
DAR II FESTINO DATISI DIMATIS
FERIO BAROCO DISAMIS FESAPO
AAI AEO BOCARDO FRESISON
EAO EAO FERISON AEO
Un silogismo categórico de forma típica es válido si pertenece a uno de los 24 modos válidos que aparecen en la
lista ya citada. Ejemplos :
Página -243-
1.
Todo limeño es latino
Ningún latino es europeo
Ningún europeo es limeño
PAM
➮ MES
SEP
∴ Este silogismo es de la cuarta figura y su modo es A - E - E, y en la lista de modos válidos lleva el nombre
latino de CAMENES
Página -244-
2.
Algunos ingenieros no son físicos
Todo ingeniero es matemático
Algunos matemáticos no son físicos
MOP
➮ MAS
SOP
∴ El silogismo pertenece a la cuarta figura y su modo es O - A - O y en la lista aparece con el nombre de

BOCARDO
“Los silogismos se diferencian por su figura y por su modo; si los silogismos son de igual figura pueden diferenciarse
por su modo; y si son de igual modo pueden diferenciarse por su figura, y pueden diferenciarse por la figura y por el
modo.
01. Son inferencias mediatas constituidas por

proposiciones, elaboradas por Aristóteles en su func { STACK { P overline M``=`Ò # M S `` = `` O }
obra el Órganon: over { S P ``=`` O}}
A) Proposiciones
B) Silogismo
C) Realismo su modo se llama .................. en la .................
D) Idealismo figura
E) Circuitos
02. Indica en qué parte de la obra de Aristóteles

aparece el silogismo :
A) Predicamentos
B) Sofística
C) Inferencia
D) Cantidad
E) Los analíticos
03. Es aquel término que sólo aparece en la premisa

mayor y en la conclusión, se le conoce o llama :
A) Término mayor
B) Predicado
C) Sujeto
D) A y B
E) B y C
04. Es el término que se repite en la premisa mayor y

en la premisa menor, se llama :
A) Término mayor
B) Predicado
C) Sujeto
D) Término medio
E) Término menor
05. En el silogismo siguiente, que modo encontramos :

Es imposible que todo venado es veloz
No se da el caso que ningún veloz sea animal
Algún animal no es veloz
A) O - I - O B) A - E - O C) E - E - A
D) A - I - O E) I - I - I
06. En el siguiente silogismo encontramos el siguiente

modo :
Ningún héroe es cobarde
Todo valiente es héroe
Ningún valiente es cobarde
A) CESARE B) CAMENES C) DATISI
D) CELARENT E) FESADO
07. En la siguiente fórmula :

Página -245-
A) CAMENES - cuarta
B) CELARE - primera 14. Indica la figura del silogismo que no corresponde:
C) CAMISUS - segunda
D) CAMENES - primera A) func { STACK { M P # SM } over { S P }}
E) CERARE - tercera B) func { STACK { P M # M S } over { S P }}
C) func { STACK { P M # S M } over { S P }}
08. Las expresiones BAMALIP, FRESISON, FESTINO,
DATISI, son términos que indican : D) func
A) Modos del silogismo { STACK { M P #
B) Figuras del silogismo M S } over { S
C) Clases de figuras P }}
D) Proposiciones categóricas E) func { STACK {
E) Dilemas M S# PM }
over { S P }}
09. Qué figura y modo es :
Todo P no es M
Ningún S es M 15. Si tengo como premisa una :
Algún S no es P P1 MAP; P2 MEP; Conclusión SEP. ¿Qué figura es?
A) 1era - A - E - O B) 2da - E - I - O A) 1ra figura B) 2da figura C) 3ra figura
C) 2da - O - E - O D) 4ta - A - I - E D) 4ta figura E) 5ta figura
E) 3ra - A - E - O
16. Marque la respuesta correcta son referencia modo
10. Indique cuál es la figura y modo de : y figura :
Todo marino es fuerte A) BANALIP - cuarta figura
Algún marino es valiente B) DARAPTI - segunda figura
Algún valiente es fuerte C) CESARE - cuarta figura
A) 2da figura : A - O - E D) FRESISO - primera figura
B) 3era figura : A - I - I E) CELARENT - cuarta figura
C) 4ta figura : A - E - O
D) 1ra figura : A - E - O 17. La conclusión de :
E) 2da figura : A - E - A PM PAM; Pm MES es :
A) SIP B) SOP C) SEP
11. Indica los términos en el silogismo : D) SAP E) ∼ (SIP)
Pm Ningún peruano es ecuatoriano;
Pm Algún ecuatoriano es europeo;
C Algún europeo es peruano
(Término mayor, medio y menor)
A) peruano - ecuatoriano - europeo
B) europeo - ecuatoriano - peruano
C) peruano - europeo - ecuatoriano
D) europeo - peruano - ecuatoriano
E) ecuatoriano - peruano - europeo
12. ¿Cuál de las expresiones no se relaciona al del

silogismo?
A) Inferencia B) Medio C) Figura
D) Tautología E) Término medio
13. Indica el término que se relaciona directamente con

el silogismo :
A) Bivalente
B) Inconsistente
C) Silogismo hipotético puro
D) Predicado
E) Contingente
18. Indica figura y modo : Ningún santo es desdichado

PM Algún sacerdote es pecador Algún hombre es desdichado
Pm Todo sacerdote es religioso Algún hombre no es santo
Algún religioso no es pecador A) FESAPO B) FESTINO C) BAROCO
A) Primera, I - A - E D) FRESISON E) FERIO
B) Segunda, O - E - A
C) Tercera, I - A - O 20. Observamos qué modo y figura :
D) Cuarta, E - A - O P1 PIM
E) Tercera, E - I - O P2 MAS
C : SIP
19. Qué nombre tiene el siguiente silogismo, utilice los A) DIMATIS - 4ta figura
modos : B) CAMENES - 2da figura
Página -246-
C) BOCARDO - 1ra figura

D) DISAMIS - 1ra figura
E) FISTANI - 4ta figura
Página -247-
3er Bimestre
Silogismo Categórico II Ps
A) REGLAS DEL SILOGISMO U
SMP
Para poder establecer que el razonamiento o SMP 3
SMP
silogismo sea formalmente válido o lógicamente SMP
2
correcto debe ceñirse a las siguientes reglas de SMP
4
estructuración lógica: 5 7 P
S 6 SMP
SMP
1. El silogismo debe contener solamente los tres 8
términos : menor, medio y mayor, cada uno de SMP
ellos usado en el mismo sentido en todo el
razonamiento
2. El término medio debe aparecer sólo en las dos M

premisas y no en la conclusión
3. El término medio debe estar distribuido por lo 1. func { OVERLINE S `ÒVERLINE M` ÒVERLINE
menos en una de las premisas P}
4. No puede haber en la conclusión ningún término 5. func { S ``M` OVERLINE P}

distribuido que no esté también distribuido en las
premisas 2. func { S `ÒVERLINE M`` OVERLINE P}
6. S M P
5. De dos premisas afirmativas no se puede concluir 3. func { S`ÒVERLINE M` `P}
en una proposición negativa 7. func { OVERLINE S ``M `` P}
6. De dos premisas negativas nada se concluye 4. func { OVERLINE S`ÒVERLINE M``P}
7. La conclusión sigue siempre a la premisa más 8. func { OVERLINE S ``M`ÒVERLINE P}

débil, entendiéndose por tal a la premisa particular
o la premisa negativa
8. De dos premisas particulares nada se concluye ❇ Para demostrar la validez o invalidez de un

silogismo categórico, mediante los diagramas
de Venn, se tienen que dar los siguientes
B) DIAGRAMAS DE VENN pasos :
1. Simbolizar el silogismo con fórmulas
Es un método que se utiliza con la finalidad de booleanas, tanto las premisas como la
verificar si las reglas del silogismo se han aplicado conclusión
correctamente, es decir analizan y demuestran la
validez o invalidez de un silogismo categórico 2. Trazar el diagrama de Venn, indicando el
contenido de cada uno de los círculos
❇ Para analizar un silogismo se utiliza un
diagrama con tres clases : 3. Graficar las premisas. La conclusión nunca
se grafica
4. Constatar la conclusión. Si al graficar las

premisas se ha graficado también la
Página -248-
conclusión el silogismo es válido; en

cambio, si al graficar las premisas no ha C) LA LEY DEL CONTENIDO EXISTENCIAL EN EL
quedado graficada la conclusión, el SILOGISMO
silogismo no es válido
La Ley del contenido existencial dice : “ Si la
Ejemplos: premisa o las premisas de una inferencia son
proposiciones universales y la conclusión es una
1. P1 : Todo atleta es deportista proposición particular, se supone la premisa
M P existencial”
P2 : Algunos niños son atletas
S M En el silogismo esta ley se aplica cuando las dos
C : Luego, algunos niños son deportistas premisas son proposiciones particulares y la
S P conclusión es una proposición particular.
Esta ley se utiliza sobre todo para comprobar
mediante diagramas, casos específicos de la lista
Simbolizando : de modos válidos.
func alignl { P _ 1~: ~M` OVERLINE P ``=``Ò}# Ejemplos:
func alignl { P _ 2~: ~S` M ``≠``Ò}#
func alignl {overline { C```~: ~S`` P ``≠``Ò``}} 1. Ningún obrero es capitalista
Todos los obreros son proletarios
U Luego, algunos proletarios no son capitalistas
S ✳ Reemplazando ✳
P func alignl {````~ M `` {`}sub
x E `` P~~→~~M `` P``=`` O}#
func alignl {````~ M``{`} sub A``S~~→~~M `òverline S
``=``Ò}#
func alignl {∴`òverline { ````S`ò``P}~~→ ~~overline
M {S`` OVERLINE P ``≠``Ò``}}
Diagramando:
Es válido : La conclusión se lee en el diagrama
2. P1 : Algunos americanos son europeos

P M P
P2 : Todos español es europeo S
S M
C : Algunos españoles no son americanos M
S P
✳ Analizando
Simbolizando : La conclusión func { S overline P}
func alignl { P _ 1~: ~P`M ``≠``Ò}# ≠ O no se lee en el diagrama, por lo tanto
func alignl { P _ 2~: ~Sòverline M ``=``Ò}# podríamos afirmar que es un silogismo
func alignl {overline { C```~: ~S`` OVERLINE P inválido, puesto que las premisas son
``≠``Ò``}} universales y la conclusión particular.
U ≠ Aplicando el contenido existencial
func alignl {````~ M

`` {`} sub E `` P~~→~~M `` P``=`` O}#
x P
S
func alignl {````~ M `` {`} sub A `` S~~→~~M `` overline
S``=`` O}#
M func alignl {Pr. ~Ex.~`~→~~``````M ```` ``≠``Ò}#
func alignl {∴`òverline { ````S`ò``P}~~→ ~~overline
{S`` OVERLINE P ``≠``Ò``}}
Es inválido : La conclusión no se lee en el

diagrama
Página -249-
x P
S
- Ahora si la inferencia es válida, ya que func { S

overline P}
≠ O se lee en el diagrama; demostrándose en tal
sentido que el modo EAO (Felapton) de la
tercera figura es válido
- Recuerde que el contenido o premisa
existencial es la variable que se repite
idénticamente en las premisas
2. Todo abogado es jurista

Todo juez es abogado
Algunos jueces son juristas
func { left. stack { alignl `` M `` overline P``=`` O #
alignl `` S `` overline M``=`` O # alignl `` overline {S``P
``` ≠``Ò}} ``right\}}
Primera figura modo : A-A-I
P
S
Como la conclusión no se lee en el diagrama

porque es particular, y las premisas son
universales se aplica la ley del contenido
existencial.
func alignl { M `` overline P``=`` O}#
func alignl {S`òverline M``=`` O}#
func alignl {~~M``≠`Ò}#
func alignl {òverline { `S``P`` ≠`Ò}}
x P
S
Ahora si la conclusión se lee en el diagrama, por lo

tanto el silogismo es válido
01. En el siguiente silogismo sacar su conclusión :

PM Algunos reyes son católicos 02. Sacar la conclusión del silogismo :
Pm Algunos católicos son justos PM Algún alumno no es brillante
C. Pm Ningún flojo es brillante
C.
A) Todo rey es justo
B) Todo justo es rey
C) Algún rey es justo
D) Algún justo es rey
E) No hay conclusión
Página -250-
A) Algún flojo no es alumno

B) Algún flojo es alumno
C) Todo flojo es alumno
D) Ningún flojo es alumno
03. Sacar la conclusión del silogismo

PM Alguna gaviota es ave marina
Pm Toda ave marina no es guanera
C.
A) Alguna guanera es gaviota
B) Alguna guanera no es gaviota
C) Toda guanera es gaviota
D) Ninguna guanera es gaviota
04. Sacar la conclusión del silogismo :
PM Ninguna bella es fea 09. Determina en fórmula booleana :P MAlgún holandés
Pm Ninguna fea es mujer es europeo
C.
A) Ninguna mujer es bella Pm Todo europeo es inteligente
B) Ninguna mujer es fea Algún inteligente es holandés
C) No hay conclusión
D) Toda mujer es bella A) func { STACK { P overline M ~=~O # {M
E) Alguna mujer no es bella overline S ~=~O } over { SP ~=~O}}}
B) func { STACK { P M ~≠~O # {M overline S ~=~O }
05. Sacar la conclusión del silogismo: over { SP ~≠~O}}}
PM Todo dinosaurio no es mamífero C) func { STACK { P overline M ~≠~O # {M
overline S ~≠~O } over { S overline P ~≠~O}}}
Pm Todo animal no es mamífero
C. D) func { STACK {
A) Todo animal no es dinosaurio P M ~=~O # { S M ~=~O } over
B) Ningún animal es dinosaurio { SP ~=~O}}}
C) Algún animal no es dinosaurio E) func { STACK { P overline M
D) No hay conclusión ~≠~O # {S overline M ~≠~O }
E) Algún animal es dinosaurio over { S overline P ~≠~O}}}
06. Sacar la conclusión del silogismo:

PM Todo artista no es inteligente 10. Determinar la fórmula booleana :
Pm Ningún artista no es niño PM Todo león es dominante en su territorio
C. Pm Todo dominante en su territorio es agresivo y
A) Ningún niño es inteligente valiente
B) Ningún artista es inteligente Algún agresivo y valiente es león
C) No existe conclusión
D) Todo niño no es inteligente
A) func { STACK { P overline M ~=~O # {M
E) Algún niño no es inteligente overline S ~=~O } over { SP ~=~O}}}
07. Sacar la conclusión del silogismo: B) func { STACK { P M ~=~O # {M S ~=~O } over
PM Es falso que todo inglés es sudamericano { SP ~=~O}}}
Pm Ningún inglés es latino C) func { STACK { P overline M ~≠~O # {M overline S
C. ~≠~O } over { S overline P ~≠~O}}}
A) Ningún latino es sudamericano
B) Algún latino no es sudamericano
C) Algún latino es sudamericano
D) No hay conclusión D) func { STACK { P M ~≠~O # {M S ~≠~O }
over { SP ~≠~O}}}
E) Todo latino es sudamericano
E) func { STACK { P overline M ~=~O # {S overline M
~≠~O } over { S overline P ~≠~O}}}
08. Sacar la conclusión del silogismo :
PM No es posible que ningún mago no sea brujo
Pm No se da el caso que todo adivino sea brujo
C. 11. Determina la fórmula booleana :
A) Ningún adivino es mago PM Todo EE.UU. es norteamericano
B) Algún adivino no es brujo Pm Algún norteamericano no es honrado
C) Todo adivino es mago Algún honrado no es EE.UU.
D) Algún adivino es mago
Página -251-
A) func { STACK { P overline M ~≠~O # {S M

~≠~O } over { SP ~≠~O}}}
B) func { STACK { P overline M ~=~O # { S M
C) func { STACK { P overline M ~=~O # {M overline S
D) func { STACK { P overline M ~=~O # {M S

~=~O } over { SP ~≠~O}}}
E) func { STACK { P M ~=~O # {M overline S ~≠~O }
over { S overline P ~≠~O}}}
12. Determina la fórmula booleana :

Ninguna boa es herbívora
Algún animal es herbívora
Algún animal no es boa
A) func { STACK { M overline P ~=~O # {S M

~≠~O } over { SP ~≠~O}}}
B) func { STACK { P M ~=~O # { S M ~≠~O } over
{ S overline P ~=~O}}}
C) func { STACK { P M ~≠~O # {S overline M ~≠~O }
over { S P ~≠~O}}}
D) func { STACK { P M ~=~O # { S M ~≠~O }

E) func { STACK { P overline M ~=~O # {S M ~≠~O }
13. Determina la fórmula booleana :

Ningún amigo no es egoísta
Todo egoísta es envidioso
Algún envidioso es amigo
A) func { STACK { P overline M ~≠~O # {S

overline M ~≠~O } over { S overline P ~≠~O}}}
B) func { STACK { P M ~≠~O # { M overline S
~=~O } over { S P ~≠~O}}}
C) func { STACK { P overline M ~≠~O # {M overline S
D) func { STACK { P M ~=~O # { S M~=~O }

over { SP ~=~O}}}
E) func { STACK { P overline M ~≠~O # {S overline M
~≠~O } over { S P ~=~O}}}
14. Si:
Página -252-
P1 17. Indique que áreas están diagramadas en el

P M silogismo:
S P
x
P2 M S
A) func { STACK { P overline M ~=~O # {M S

~≠~O } over { S P ~≠~O}}}
A) SP = O B) Sfunc { overline P} B) func { STACK { P M ~≠~O # { S overline M ~≠~O }
=O C) SP ≠ O over { S P ~=~O}}}
D) Sfunc { overline P} C) func { STACK { M P ~=~O # {S M ~≠~O } over { S
≠O E) ∼ (Sfunc { overline P} P ~≠~O}}}
= O)
D) func
15. Si : { STACK { M P
P1 ~≠~O # { S
P M
M~≠~O } over { SP
~≠~O}}}
E) func { STACK {
M overline P
~=~O # {S
overline M ~=~O }
P2 S M over { S overline
P ~=~O}}}
x
18. Del silogismo :

Todo P es M
concluimos :
Algún S es M
Algún S es P
A) SP = O B) Sfunc { overline P}
encuentre la fórmula booleana
≠O C) Sfunc { overline P}
=O
A) func { STACK { P M ~=~O # { S M ~≠~O }
D) SP ≠ O E) ∼(Sfunc { overline P}
over { S P ~=~O}}}
≠ O)
B) func { STACK { S overline P ~=~O # { S M ~≠~O }
over { S P ~≠~O}}}
16. Si
M P C) func
{ STACK { P
overline M ~=~O #
{S M ~≠~O } over
{ S P ~≠~O}}}
D)
S M func { STACK
{ P M ~≠~O #
{ S M~=~O } over
{ S overline P
~≠~O}}}
E) func { STACK { P overline M ~=~O # {S M ~≠~O }

concluimos : over { S overline
A) Sfunc { overline P} P ~=~O}}}
≠O B) SP = O C) Sfunc { overline P}
=O
D)func { overline S} 19. Determine la conclusión :
func { overline P} P1 Todo M es P
=O E) SP ≠ O P2 Ningún S es N
A) Ningún S es P
B) Algún S es P
C) Algún S no es P
D) Todo S es P
Página -253-
E) Muchos S son P
20. Determine la conclusión :

P1 Ningún M es P
P2 Algún M es S
A) Algún S es P
B) Todo S es P
C) Ningún S es P
D) Algún S no es P
E) Varios S son P
Página -254-
3er Bimestre
Miscelánea Ps
01. En una inferencia llamada razonamiento o también el método abreviado se debe partir de la siguiente
argumento de una premisa o de dos premisas se regla:
sigue que debe terminar: A) Asignar el valor de verdad a las premisas y de
A) Antecedente verdad a la conclusión
B) Causa B) Asignar el valor de verdad a las premisas y de
C) Silogismo falsedad a la conclusión
D) Conclusión C) Asignar el valor de falsedad a las premisas y de
E) Proposiciones falsedad a la conclusión
D) Asignar el valor de falsedad a las premisas y de
02. Son aquellos razonamientos que están constituidos verdad a la conclusión
o formado sólo por dos proposiciones, la cual E) Aceptar que la inferencia es válida
constituye una premisa y una conclusión
A) Inferencia inmediata 07. Aplicando el método abreviado, bastará que una
B) Inferencia extensa variable tenga los valores de verdad y falsedad a la
C) Inferencia válida vez para que la inferencia.
D) Inferencia mediata A) Tenga validez
E) Inferencia corta B) No tenga validez
03. En una inferencia las premisas siempre están

separadas por signos de puntuación y forman
el ................. del argumento, la conclusión es
el ............... del mismo
A) inicio - final
B) antecedente - consecuente
C) proposición - conclusión
D) formalización - simbolización
E) Ninguna de las anteriores
04. La siguiente inferencia : “El juez respeta la ley si y

sólo si se ejerce él el control adecuado. Se da el
caso que sí se ejerce el control adecuado. Por lo
tanto, respeta la ley :
A) Es una falacia
B) No tiene validez
C) Tiene validez
D) Es un sofisma
E) Es un Modus Tollendo Tollens
05. El método abreviado de las tablas de valores es

aplicable básicamente a esquemas :
A) Disyuntivos
B) Incondicionales
C) Condicionales
D) Negativa
E) Conjuntivos
06. Para demostrar si una inferencia es válida o no por

Página -255-
C) Si acepte la hipótesis inicial D) Ningún animal puede pensar.

D) Se anula lógicamente E) Algunos animales no pueden pensar.
E) No exista formalmente
08. Existe por lo menos un alumno que asistió al

examen :
U
S P
09. Todas las mujeres aman el trabajo

U
S P
10. Ningún inhumano es no terrícola

U
S P
11. Algunos no engreídos no son incultos

U
S P
12. Es falso que todos los no - deportistas sean

triunfadores
U
S P
13. No se da el caso que algunos indóciles sean

huraños
U
S P
14. La contradictoria contraria de : “Algunos sujetos

fueron al parque”
A) Todos los que fueron al parque son sujetos.
B) Ninguno que fue al parque es un sujeto.
C) Todos los sujetos fueron al parque.
D) Algunos sujetos no fueron al parque.
E) Ningún sujeto fue al parque.
15. Es falso que algunos animales puedan pensar, es

equivalente a :
A) Todos los animales no pueden pensar.
B) Ninguno que no pueda pensar es un animal.
C) Algunos que piensan son animales.
Página -256-
16. Todos los trabajadores tomaron vacaciones,

equivale a :
A) Es falso que algunos trabajadores tomen
vacaciones.
B) Ningún trabajador tomó vacaciones.
C) Los que tomaron vacaciones no fueron
trabajadores.
D) No es cierto que algunos trabajadores no hayan
tomado vacaciones.
E) Es falso que los trabajadores no tomen
vacaciones.
17. 1. Ningún filósofo es artista.

2. Todos los artistas son pintores.
A) Algunos artistas son filósofos
B) Ningún filósofo es artista
C) Todos los pintores son filósofos
D) Algunos pintores son filósofos
E) Ningún pintor es filósofo
18. 1. Algunas flores son rojas

2. Todas las flores son vegetales
A) Algunas flores son vegetales
B) Algunos vegetales no son rojos
C) Ningún vegetal es una flor
D) Algunos vegetales son rojos
E) Todas las flores no son rojas
19. 1. Algunos fanáticos no son amistosos.

2. Algunos amistosos son educados.
A) Todos los educados son fanáticos
B) Algunos educados son fanáticos
C) Ningún fanático es educado
D) Todos los fanáticos no son educados
E) No existe conclusión
20. Para demostrar la validez de una inferencia se

puede utilizar un método abreviado por medio de
cual ya no es necesario desarrollar toda su tabla de
verdad, este método también se le denomina :
A) Reducción al absurdo
B) Implicaciones notables
C) Simplificación condicional
D) Equivalencia al absurdo
E) Reducción condicional
Página -257-

PSICOLOGIA

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

PSICOLOGIA

Hochgeladen von

Copyright:

Verfügbare Formate

AULA PRE ASOCIACIÓN EDUCATIVA PITÁGORAS

El objetivo de la Lógica es estudiar el análisis formal de validez o invalidez de las inferencias.

Premisas P1 : Si la dictadura continúa entonces la insurgencia es inminente

P2 : Lo cierto es que la dictadura continúa

Conclusión E : Por lo tanto, la insurgencia es inminente

Inmediata : Premisa Conclusión

2. CLASES DE INFERENCIAS mediata : Premisas Conclusión

Ejercicios Explicativos : Formalizar las siguientes inferencias

2. “Sebastián no participará en el campeonato porque no entrenó lo suficiente. Si no entrenó lo suficiente se quedará

3. “Emelly viajará al extranjero si y sólo si obtiene la visa.

4. FORMAS VÁLIDAS DE LAS INFERENCIAS:

A) Si las premisas son verdaderas, la conclusión debe ser verdadera

P1 : (V) (F) (F) (V) (F)

P2 : (V) (F) (F) (V) (F)

Pn (V) (F) (F) (V) (F)

C (V) (V) (F) (F) (V) (V) (F)

Validez = implicación Inválido = falacia

(1,2) P4 r ( en las premisas 1 y 2 por la regla del Modus Ponens).

(1,2,3) P5 s (en las premisas 3 y 4 por la regla del Silogismo Disyuntivo).

Derivar la conclusión "(s ∨ t)" a partir de las siguientes premisas:

01. “Sergio es campeón de ajedrez si y solo si hace ....

11. Si el testigo dice la verdad entonces. Pepe estaba

12. El arma del delito será descubierta si la huella es

13. Si te vas, no me quedaré si te quedas no me voy.

14. Si dices la verdad, los hombres te odiarán y si

16. Si la verdad es eterna, la lógica es inmodificable.

17. Si se inician las vacaciones, las clases se

18. No aprendiste la lectura. Pero si te educaron mal,

19. No es cierto que no seas el asesino y no hayas

20. Es falso que seas publicista o estudio de mercado.

04. ¿Cuál es el otro nombre de los esquemas lógicos

05. “Sergio es campeón de ajedrez si y solo si hace

06. Justifique las siguientes deducciones naturales :

19. (1) ∼s ⊃ ∼r P (5) ∼q ∨ r

Un interruptor o conmutador será representado por

Estado lógico Interruptor Lámpara

Si añadimos a este circuito la batería y la lámpara, entonces el gráfico es como sigue:

II. COMPUERTAS LÓGICAS

p ~p Si “p = x”, entonces “~p” en

El circuito completo se representará gráficamente como sigue:

y el diseño gráfico que la representa es:

Compuerta OR. La función binaria de la compuerta OR corresponde a la fórmula “p ∨ q” como sigue:

y el diseño gráfico que la representa es:

02. Escribe el equivalente de la siguiente expresión:

03. Recordando que (p ⇒ q) es equivalente a [(∼p) ∨

04. ¿Cuál de los circuitos mostrados a continuación es A) (p ∨ q) ∧ (q ∨ r) B) (∼p ∨ ∼q) ∧ r

p ⇒ (∼p ⇒ q) 09. Los circuitos lógicos son:

D) q 12. Indique la alternativa correcta:

A) A➞(B∧C) B) A ∧(B∧C) C) A ∧(B∨C)

13. Indique la fórmula correcta:

A B 14. Indique la fórmula correcta:

15. Relacione correctamente:

A) IB; IIC; IIIA B) IB; IIA; IIIC C) IA; IIB; IIIC

16. Expresar mediante el lenguaje lógico el siguiente

17. Expresar el siguiente circuito mediante el lenguaje

18. La fórmula del siguiente gráfico de circuito lógicos

p q 20. La lógica al aplicarse a la electrónica, producto del

A : Todo S es P (SAP) Inclusión total

E : Ningún S es P (SEP) Exclusión total

I : Algún S es P (SIP) Inclusión parcial

O : Algún S no es P (SOP) Exclusión parcial

A : Todos los sociólogos son políticos