Logica

Pre-Cadete “FERMIN TANGUIS”
Lógica Proposicional I
LÓGICA
Es la ciencia de tipo formal que estudia a la inferencia, estableciendo los procedimientos y métodos que
permiten determinar su validez.
PROPOSICIÓN
Es el significado de una expresión aseverativa que tiene la cualidad de ser verdadera o falsa.
Ejemplos:
• Marte tiene 2 satélites naturales.
• Todos los filósofos son ateos.
• A – B = C si B + C = A
• “O.E.A.” significa Organización de los Estados Americanos
• Italia es un país africano.
INFERENCIA
Estructura de proposiciones en la cual a partir de una o más proposiciones llamadas premisas, se deriva una
nueva proposición llamada conclusión.
ESTRUCTURA DE UNA INFERENCIA

(proposición)P1 Todos los marsupiales son vertebrados
Premisas
(proposición)P2 Todos los canguros son marsupiales Elementos
(proposición)C Todos los canguros son vertebrados Conclusión
TIPOS DE INFERENCIAS
A. Inductiva
A partir de premisas particulares se llega a una conclusión de carácter general.
Ejemplo:
P1: Pedro es tarmeño y le gusta la música.
P2: Marco es tarmeño y le gusta la música.
P3: José es tarmeño y le gusta la música.
________________________________________________
C: Probablemente a todos los tarmeños les guste la música.
B. Deductiva
Cuando a partir de premisas generales se obtiene una conclusión que se deriva necesariamente de
ellas.
Ejemplo:
P1: Todos los impulsivos son temperamentales.
P2: Todos los adolescentes son impulsivos.
__________________________________________
C: Todos los adolescentes son temperamentales.
A su vez las inferencias deductivas se dividen en:

1. Inmediatas: son aquellas que están conformadas por una premisa y una conclusión.
Ejemplo:
P: Todos los poetas son románticos.
______________________________
C: Algunos poetas son románticos.
2. Mediatas: Son aquellos que están conformadas por 2 o más premisas y su respectiva conclusión.
Ejemplo:
135
Jr. Joaquín Bernal Nº 370 Zona “A” San Juan de Miraflores
 702 - 2050 / 702 – 2049 www.ftanguis.edu.pe
P1: Todo cuzqueño es peruano.

P2: Todo quillabambino es cusqueño.
_____________________________
C: Todo quillabambino es peruano.
PROPOSICIONES SIMPLES Y COMPUESTAS
La clasificación más general que puede hacerse de las proposiciones, aceptada tanto en los tratados de
Lógica como en los de Gramática, es la de proposiciones simples y compuestas. En la mayoría de las
gramáticas se toma como criterio de división la intervención del verbo en la proposición. Una proposición que
tiene un solo verbo es simple, mientras que una proposición que tiene varios verbos (por lo menos dos) es
compuesta. Este criterio es correcto, pero no es útil para la Lógica, es decir, para el estudio de la inferencia.
Mucho más eficaz es el criterio estructural, basado en el empleo de las conjunciones. Para la Lógica, una
proposición que no tiene conjunciones entre sus términos integrantes es simple, mientras que una proposición
que tiene por lo menos una conjunción es compuesta. Este es un criterio natural, pues, como veremos, las
conjunciones son términos dependientes o estructurales cuya función lingüística consiste, precisamente, en
unir proposiciones, en combinarlas para formar expresiones más complicadas. Por eso es evidente que
cuando una proposición contiene una conjunción se trata de una proposición compuesta. Así, “El hombre es
racional” es una proposición simple, mientras “El número dos es par y el número tres es impar” es una
proposición compuesta por dos proposiciones simples.
c) sólo hay 2 premisas

d) la conclusión es necesaria
01. Identifica de las siguientes expresiones la e) la verdad es probable
que es una proposición:
a) Espero que te vaya bien en tu nuevo 06. La Lógica presenta como objeto de estudio
trabajo. a:
b) Me parece que domina la materia que a) el pensamiento d) la inferencia
enseña. b) las proposiciones e) el lenguaje
c) ¿Tú crees que sea demasiado tarde? c) la verdad
d) ¡Deja de fumar!
e) Ayer pinté todo el local. 07. Señala lo correcto con respecto a la
inferencia:
02. ¿Cuál de las funciones del lenguaje se usa a) es una estructura sólo de premisas
para dar órdenes o hacer pedidos? b) únicamente son deductivas
a) informativa d) descriptiva c) puede ser verdadera o falsa
b) directiva e) expresiva d) es una estructura de proposiciones
c) desiderativa e) se clasifican en universales y
particulares
03. En referencia a las proposiciones, es cierto
que: 08. Señala la expresión que representa una
a) tienen la cualidad de ser válidas o proposición:
inválidas a) ¡Cuánto tiempo sin verte!
b) son enunciados expresados en b) ¿Estás bien?
cualquier función del lenguaje c) Cede el asiento.
c) se les considera así también a las d) La separata es de Vanessa.
preguntas e) Debes tener fe.
d) tienen como cualidad ser afirmativas o 09. En toda inferencia inductiva:
negativas a) la conclusión es necesaria
e) se clasifican en mediatas e inmediatas b) las premisas son generales
c) la conclusión es probable
04. ¿En cuál de las siguientes expresiones no d) encontramos una sola premisa
encontramos una proposición? e) la conclusión es particular
a) Mi laptop es de marca Olidata.
b) Todo colono es invasor. 10. Todo silogismo es una:
c) René Descartes fue un filósofo francés. a) inferencia deductiva
d) Javier practica ciclismo o juega fútbol.
b) proposición particular
e) El Banco de la Nación. c) inferencia inmediata
d) proposición afirmativa
05. En una inferencia deductiva: e) inferencia inductiva
a) se parte de premisas particulares
b) la conclusión es probable
136
11. Completa adecuadamente la siguiente 04. ¿Cuál de las siguientes expresiones son
afirmación: “La ___________ diferencia al proposiciones?
razonamiento deductivo del inductivo” 1. Mi deseo es trabajar por los pobres.
a) mayor o menor probabilidad de 2. La teoría de la relatividad.
conclusión 3. El sol es un planeta.
b) cantidad de premisas 4. Ciertos mamíferos son carnívoros.
c) verdad de las proposiciones a) todas b) 1 y 2 c) 3 y 4
d) manifestación de una falacia d) sólo 4 e) ninguna
e) derivación necesaria y lógica de la
conclusión 05. Una inferencia es inmediata cuando:
a) presenta varias conclusiones
12. Se le considera como “Padre de la Lógica” b) muestra una sola premisa
a) Sócrates d) Aristóteles c) tiene 2 premisas
b) Platón e) Thales d) está compuesta sólo por 2
c) Parménides proposiciones
e) b y d responden la pregunta
13. Una proposición simple puede ser o bien
__________ o bien __________: 06. ¿En qué alternativa hallamos una
a) atómica – molecular proposición?
b) condicional – bicondicional a) Más vale pájaro en mano que ciento
c) afirmativa – negativa volando.
d) conjuntiva – disyuntiva b) Come toda tu sopa.
e) predicativa – relacional c) Amo al Perú.
d) ¿Hasta cuándo voy a esperar que me
14. ¿Qué alternativa no encierra una pagues lo que me debes?
proposición? e) El profesor Javier enseña Lógica o
a) Luis Angel estudió derecho en una Economía.
universidad del extranjero.
b) Ana es miraflorina. 7. ¿Cuántas proposiciones simples hay en el
c) El Perú es un mendigo sentado en un siguiente texto: ‘‘Diana canta y baila, a la
banco de oro. vez ríe o no ríe’’?
d) Heráclito no fue un filósofo materialista. a) 1 b) 2 c) 3
e) Si la temperatura es baja, hace frío. d) 4 e) 5
15. Ubica la proposición simple: 8. Es una proposición simple:

a) Juan no es policía. a) Estudio en las mañanas o trabajo por las
b) 3 > 2 y 2 > 1 tardes.
c) Hoy es viernes. b) Voy a Piura y luego a Trujillo.
d) Si a – b, b > c c) Viajaré el viernes a Lunahuaná.
e) Es mentira que yo hable coreano. d) Hoy no fui a la escuela.
e) Si hace calor, no llevo la chompa
puesta.
01. El enunciado “Cristina y Ana Flavia son 9. ¿Cuál de las siguientes características no
amigas”, es una proposición de tipo: le corresponde a una proposición simple?
a) simple relacional d) bicondicional a) tiene un solo mensaje
b) conjuntiva e) condicional b) es indivisible
c) simple predicativa c) no lleva enlaces
d) la información puede estar negada
02. Las proposiciones simples: e) sólo afirma
a) presentan enlaces gramaticales
b) sólo pueden estar afirmando 10. El enunciado: ‘‘Sebastián se encuentra
c) niegan el mensaje enfermo desde ayer’’, es una proposición
d) puede ser afirmativas o negativas de tipo:
e) expresan ambigüedades a) simple relacional
b) compuesta negativa
03. El enunciado “Claudio y Elena son c) compuesta condicional
casados” es una proposición simple: d) simple predicativa
a) relacional d) predicativa e) categórica
b) conjuntiva e) negativa
c) disyuntiva
137
 702 - 2050 / 702 – 2049 www.ftanguis.edu.pe Lógica Pro
PROPOSICIONES COMPUESTAS
Son las que están formadas por dos o más proposiciones simples, unidas por conjunciones gramaticales
(conectivos) o hacen uso del adverbio de negación (no).
Se clasifican en:
A. Proposición conjuntiva
Son aquellas que utilizan la conjunción copulativa “y” o sus expresiones equivalentes.
Ejemplo: Carlos estudia y trabaja
B. Proposición disyuntiva
Son proposiciones que contienen la conjunción disyuntiva “o”. Pueden ser:
1. Fuertes: Se vinculan a través del conectivo “O ... o ...”

Ejemplos:
O Pedro viaja a Europa o viaja a Asia.
O la filosofía es una ciencia o es un arte.
2. Débil: Se vinculan a través del conectivo “o”.

Ejemplos:
Luis es psicólogo o estudia derecho.
El canario es un ave o es un animal vertebrado.
C. Proposición condicional
Son aquellas que contienen la conjunción condicional compuesta “Si ... entonces” o sus expresiones
equivalentes.
La proposición condicional consta de dos elementos: el antecedente y el consecuente. La
proposición que sigue a la palabra “si” recibe el nombre de antecedente, y la que sigue a la palabra
“entonces” se denomina consecuente.
Antec. Consec.
Si ................ entonces ................
Ejemplo: Si Carlos es un alumno aplicado entonces estudia mucho.
D. Proposición biocondicional
Son aquellas proposiciones que están unidas por la conjunción compuesta “si y sólo si” o sus
expresiones equivalentes.
Ejemplos:
Es un animal herbívoro si y sólo si come vegetales.
Iré a la fiesta cuando y sólo cuando me entreguen mi invitación.
E. Proposición negativa
Son aquellas que hacen uso del adverbio negativo “no” o sus expresiones equivalentes.
Ejemplos:
Hoy no es fin de mes.
Es falso que Perú clasificó al mundial del 2014.
138
08. ¿Qué expresión de las siguientes

representa una negación?
01. Identifica el enlace de tipo conjuntivo: a) no obstante
a) entonces b) sin embargo
b) luego c) es mentira que
c) siempre y cuando d) de ahí que
d) a menos que e) ni
e) sin embargo
09. El enlace que no corresponde al grupo es:
02. ¿Cuál de las siguientes representa una a) no obstante
proposición disyuntiva débil? b) sin embargo
a) O te vas o te quedas. c) a la vez que
b) René es varón a menos que sea mujer. d) incluso
c) Hoy es martes o es miércoles. e) por ello
d) En mi desayuno tomé café o tomé
leche. 10. Las proposiciones que llevan los
e) O Dios existe o no existe. conectores si, porque, en conclusión,
entonces, son:
03. En las siguientes alternativas la proposición a) condicionales
compuesta es: b) bicondicionales
a) Ayer fue lunes. c) disyuntivas
b) Algunos alumnos son estudiosos. d) negativas
c) Juan no es sociólogo. e) atómicas
d) Manuel es más astuto que Julio.
e) Alfredo se gana la vida haciendo taxi. 11. “Clarita se graduará como profesora si y
sólo si aprueba el examen final”; esta es
04. “Si aumenta el índice inflacionario, habrá una proposición compuesta de tipo:
mayor desempleo”. Esta es una a) disyuntiva fuerte
proposición: b) condicional
a) conjuntiva c) conjuntiva
b) bicondicional d) disyuntiva débil
c) condicional e) bicondicional
d) disyuntiva
e) negativa 12. “No es el caso que mi hermano no estudie
en la universidad de Harvard”. La anterior
05. La proposición de tipo conjuntiva es: proposición es compuesta pero de tipo:
a) Elena toma té o café. a) disyuntiva débil
b) Cada vez que te vas, lloro. b) condicional directa
c) Abel estudia, también trabaja c) bicondicional
d) Mi perro es inteligente o no lo es. d) negativa simple
e) Habrá huayco si llueve. e) negativa compuesta
06. Es un enlace que usan las proposiciones 13. Identifica el término que sería equivalente a
condicionales: una “y”:
a) sin embargo a) a menos que d) pues
b) pero b) pero e) nunca
c) si y sólo si c) porque
d) no obstante
e) de ahí que 14. La proposición __________ plantea una
relación alternativa entre sus componentes:
07. Un enlace conjuntivo sería: a) disyuntiva
a) ______ o ______ b) conjuntiva
b) ______ si______ c) negativa
c) ______ entonces ______ d) condicional
d) ______ además ______ e) bicondicional
e) No es verdad que ______
139
15. En el proceso de simbolización, son a) Hoy es fin de mes.

usados(as) para representar a las b) Miguel Grau murió en el combate de
proposiciones simples: Iquique.
a) los operadores lógicos c) Tomo jugo o tomo leche.
b) las variables proposicionales d) Perú es un país tercermundista.
c) los signos de agrupación e) Cualquier ave nace de un huevo.
d) los conectores
e) las negaciones 7. ¿Qué tipo de proposición compuesta es
“Sigmund Freud fue un médico psiquiatra y
fundó el Psicoanálisis”?
a) simple
01. “Mario Vargas Llosa, autor de “La ciudad y b) disyuntiva
los perros”, ganó el premio Nobel de c) bicondicional
Literatura”. ¿Cuál de las fórmulas d) conjuntiva
siguientes es la correcta simbolización de la e) negativa
proposición anterior?
a) p Λ q 8. Identifica el enunciado que es falso:
b) p a) Las proposiciones simples siempre se
c) p → q expresan en sentido afirmativo.
d) p ∆ q b) Decir que una proposición está
e) p ↔ q afirmando algo es lo mismo que decir
que es verdadera.
02. Simboliza el siguiente enunciado: “Si un c) Las proposiciones compuestas pueden
número es par, entonces es divisible por 2 llevar enlaces gramaticales, p.e. “y”, “o”,
o es múltiplo de 2” “si y sólo si” entre otros.
a) p → ( q  r ) d) Una condicional es una proposición
b) p Λ ( q ↔ r ) formada por un antecedente y un
c) ( p Λ q ) → r consecuente.
d) p → ( q Λ r ) e) Toda proposición puede asumir un
e) p ↔ q valor de verdad o de falsedad.
03. “Vanessa es alta o es delgada, si y sólo si 9. “Te accidentarás si corres muy rápido”. La
practica deportes a la vez que no come anterior es una proposición:
mucho”. ¿Qué alternativa simboliza a) disyuntiva fuerte
correctamente a la proposición anterior? b) condicional inversa
a) ( p  q ) ↔ ( r  s ) c) conjuntiva
b) ( p  q ) ↔ ( r  s ) d) disyuntiva débil
e) condicional directa
c) ( p ↔ q ) → ( r  s )
d) ( p  q ) → ( r ↔ s )
10. Cuando en una proposición condicional
e) ( p  q )  ( r   s ) primero aparece el consecuente y luego el
antecedente, se le denomina:
04. “Javier o es filósofo o es psicólogo”. ¿Cuál
a) fuerte
es la fórmula que le corresponde a la
b) inclusiva
proposición anterior?
c) directa
a) p  q d) inversa
b) p ↮ q e) exclusiva
c) p → q
d) p   q
e) p ↔ q
05. Identifica la simbolización correcta de “Si

hace frío así como llueve, entonces es
invierno”:
a) ( p  q ) → r
b) ( p → q )  r
c) p  ( q → r )
d) p  q → r
e) p  ( q → r )
06. Identifica la proposición que es compuesta

o molecular:
140
Simbolización de Proposiciones
La simbolización de proposiciones consiste en la representación del lenguaje ordinario mediante el lenguaje
artificial (convencional). Formalizar, significa reemplazar cada proposición por una variable y cada conectivo
o modificador por un operador lógico, todo ello correctamente jerarquizado mediante signos de agrupación.
1. VARIABLES
Se utilizan para representar a las proposiciones simples. Son las letras minúsculas: p, q, r, s, t, ....., etc.
Ejemplo:
J u a n Pa b lo e s co m p osito r.
a) p
Rosa rio es empresa ria así como estudia nte universitaria .
b) p q
2. OPERADORES LÓGICOS
Son de dos tipos:
a) Diádicos.- Se utilizan para representar a las conectivas (términos de enlace).
Conectiva .... y .... .... o .... o ... o ... si ... entonces ... ... si y solo si ...
Operador    
b) Monádico.- Sirve para reemplazar al modificador "no" o sus expresiones equivalentes (no es cierto,
es falso que, no es el caso que, etc.)
Modificador no
Operador ~
3. SIGNOS DE AGRUPACIÓN
Se utilizan para agrupar a las variables y operadores así como darles jerarquía. Son los siguientes:
Paréntesis ( )
Corchetes [ ]
Llaves {}
Barras ||
JERARQUIZACIÓN
Jerarquizar significa agrupar las variables y los operadores dentro de los signos de colección, llamados
también de agrupación.
Para jerarquizar hay que tener en cuenta los siguientes requisitos:

* Sólo presentan jerarquía los conectivos lógicos (y, o, entonces, si y solo si, etc.)
* Para realizar una correcta jerarquización hay que tener en cuenta los signos de puntuación del texto
a jerarquizar, en cuanto ellos indican la ubicación de los signos de colección.
* En un texto, el punto seguido tiene mayor jerarquía, le sigue en 2º lugar el punto y coma, y en 3er
lugar la coma.
141
REGLAS PARA JERARQUIZAR

1. Donde esté ubicado el signo de puntuación más importante del texto, ahí se encuentra ubicado el
conectivo principal.
2. Donde se encuentre un signo de puntuación ahí se abre o cierra un signo de colección (paréntesis,
corchete o llave)
3. El conectivo que se encuentre fuera o en la parte más externa de los signos de colección es el que
tiene mayor jerarquía.
4. Si encontramos un texto donde se presente una sucesión de idénticos signos de puntuación, será
mayor el que presente como conectivo entonces, luego o cualquiera de sus sinónimos.
5. La negación antecede a la variable (~p), no enlaza proposiciones pues no es conectivo.
01. Indica cuál no es una característica del ingeniería”. La fórmula que le corresponde
lenguaje formalizado: a la proposición anterior es:
a) es simbólico d) es universal a) [ ( p V q ) Λ q ] → p
b) es formal e) es hablado b) [ ( p Λ q ) Λ ~ q ] → p
c) es más operativo c) [ ( p V q ) Λ ~ q ] ↔ p
d) [ ( p V q ) Λ ~ q ] → p
02. ¿Cuántas variables proposicionales se e) [ ( p V q ) Λ q ] → ~ p
usarán para simbolizar la expresión “Juan
Carlos y Clay son profesores pero no 08. A pesar de que su función no es la de unir
bailarines de ballet”? proposiciones simples sí está considerado
a) dos b) tres c) cuatro como un operador lógico, nos referimos a:
d) cinco e) seis a) → b) ≡ c) ↔
d) Λ e) 
03. Las proposiciones se simbolizan mediante
__________ y cada enlace por 09. «No es posible que Javier no coma ceviche
__________: o no tome cerveza». Su simbolización es:
a) letras – un operador monádico a) ~ p V ~ q d) ~ ( ~ p V ~ q )
b) fórmulas – metavariables b) p V ~ q e) ~ ( ~ p Λ ~ q )
c) un operador – una variable c) ~ p V q
d) números – los signos de colección
e) variables – un operador lógico 10. Simboliza el siguiente enunciado: “Si un
número es par, entonces es divisible por 2
04. Simboliza el siguiente enunciado: “El o es múltiplo de 2”
profesor Javier jugó de ahí que su equipo a) p → ( q r ) d) p Λ ( q ↔ r )
goleó” b) ( p Λ q ) → r e) p → ( q Λ r )
a) p Λ q b) p → q c) p V q c) p ↔ q
d) p ∆ q e) p ≡ q
11. Indica la fórmula lógica de la siguiente
05. ¿Cuál es la conectiva que tiene mayor proposición “No es cierto que Carmen o es
jerarquía en la siguiente afirmación: "Noemí alta o es baja, siempre y cuando Enrique no
viajó a Brasil, también a EE.UU.; más aún, sea acromegálico”
aprendió el idioma portugués e inglés. a) ( p ≢ q ) → r
Consecuentemente su viaje fue b) ~ ( p ≢ q ) ≡ ~ r
provechoso"? c) ( p ≢ q ) ≡ ~r
a) también d) ~ ( p → q ) ≡ ~ ( r ∧ s )
b) más aún e) ( p V q ) ≡ ~ r
c) consecuentemente
d) e 12. «O el cartero olvidó el recado y no entró a
e) más aún y consecuentemente la casa, o no olvidó el recado sin embargo
no entró a la casa». Al simbolizar se
06. Formaliza: “Daniel es brigadier de su salón obtiene:
así como sus compañeros lo apoyan” a) ( p Λ ~ q ) ↔ ( ~ p Λ ~ q )
a) p → q b) p Λ q c) p ∆ q b) ( p → ~ q ) ↔ ~ ( p → q )
d) p V q e) p ↔ q c) ( p V ~ q ) → ( ~ r V ~ s )
d) ( p Λ ~ q ) ∆ ( ~ p Λ ~ q )
07. “Juan Carlos estudia ingeniería o e) p ∆ ( ~ r V ~ s )
arquitectura, sin embargo no estudia
arquitectura. Por lo tanto estudia
142
13. Señala la formalización del siguiente Nobel de Literatura 2010”. ¿Cuál de las
enunciado: “No iré a la biblioteca a menos fórmulas siguientes es la correcta
que mi papá me compre los libros que me simbolización de la proposición
hacen falta” anterior?
a) ~ p ∨ ~ q d) ~ ( ~ p ∧ ~ q )
b) ~ ( p → q ) e) ~ p V q
a) p  q b) p c) p → q
c) ~ p ∧ q ) d) p  q e) p ↔ q
14. La simbolización correcta de “Llegaré 05. Halla la fórmula simbolizada de la
temprano al trabajo si y sólo si viene el siguiente proposición “Anoche
ómnibus, o no viene el ómnibus y no llegaré Sheyene durmió en su casa o en la de
temprano al trabajo” es: su amiga Dhalia”:
a) ( p ↔ q ) V ( ~ q Λ ~ p)
b) ( p Λ q ) V ( ~ q ↔ ~ p)
a) p ↮ q d) p  q
c) ( p ↔ q ) Λ ( ~ q V ~ p) b) p ~ q e) p → q
d) ( p ↔ q ) V ( q Λ p) c) p ↔ q
e) ( p → q ) V ( ~ q Λ ~ p)
06. Simboliza “Los tigres y los leones son
15. Simbolizando la proposición ''No es verdad mamíferos, de ahí que son
que salgas a correr al parque y vayas a la vertebrados”:
playa, debido a que estás enfermo" se a) ( p  q )  r
obtiene:
a) ( ~ p Λ q ) → r b) ( p  q )  ( r  s )
b) r → ~ ( p Λ q ) c) ( r  s )  ( p  q )
c) ~ ( p Λ q ) → r d) r  ( p  q )
d) r Λ ( ~ p Λ q ) e) ( r  s )  ( p  q )
e) r → ( ~ p Λ q )
07. Expresa en lenguaje lógico la siguiente
proposición: “El río Amazonas cruza e
irriga la selva peruana”
01. En el proceso de formalización de a) ( p  q )  r d) p  q
proposiciones, son símbolos auxiliares b) p  q e) p v q
que permiten denotar la jerarquía entre c) ( p  q ) v r
los operadores lógicos y así evitar la
ambigüedad: 08. Simboliza “Tony Joel estudia aritmética
a) los conectivos lógicos y álgebra, pues tendrá un examen de
b) las variables proposicionales conocimientos”:
c) los signos de agrupación a) ( p  q )  r d) r  ( p  q )
d) los operadores
b) ( p v q )  r e) r v ( p  q )
e) las meta variables
c) ( p  q ) v r
02. “Javier Héctor es filósofo o es
09. Formaliza la siguiente expresión: “Si
psicólogo”. ¿Cuál es la fórmula que le
Maira estudia o se esfuerza, logrará
corresponde a la proposición anterior?
ingresar a la universidad a la vez que
a) p  q d) p  q
ser una profesional”
b) p → q e) p   q
a) ( p  q )  ( r v s )
c) p ↔ q
b) ( p  q )  ( r  s )
03. Identifica la simbolización correcta de c) [ p  ( q v r ) ]  s
“Si hace frío y cae nieve, entonces no d) ( p v q )  ( r  s )
es verano”: e) ( r  s )  ( p  q )
a) ( p  q ) →  r
b) ( p → q )   r 10. Señale la formalización del siguiente
enunciado “No iré a la biblioteca o
c) p  ( q →  r )
saldré a comprar libros”:
d) p  q →  r
a) p ∨ ~ q d) ~ p ∧ q
e) p  ( q →  r ) b) ~ p → q e) ~ p ∨ q
c) q → ~ p
04. “Mario Vargas Llosa, autor de “La
ciudad y los perros”, ganó el premio
143
Funciones Veritativas
FUNCIONES VERITATIVAS DE LOS OPERADORES LÓGICOS
 Negación ( ~ )
Si una proposición es verdadera, su negación será falsa, y viceversa.
 Conjunción (Λ )
Asume un valor de verdad únicamente cuando relaciona 2 componentes verdaderos.
 Disyunción débil (V )
Asume un valor de falsedad únicamente cuando relaciona 2 componentes falsos.
 Condicional ( → )
Será falsa sólo cuando relacione un antecedente verdadero con un consecuente falso.
 Bicondicional ( ↔ )
Es verdadera cuando los 2 componentes que relaciona tienen el mismo valor veritativo, es decir que
ambos sean verdaderos o falsos a la vez.
01. En la disyunción débil cuando ambos

valores que relaciona son falsos, el valor
que asume dicho operador es: 04. La conjunción es verdadera sólo en el caso
a) verdadero que relacione:
b) falso a) 2 valores iguales
c) indeterminado b) un valor de verdad con otro de falsedad,
d) idéntico al valor de su antecedente en ese orden
e) idéntico al valor de su consecuente c) 2 valores verdaderos
d) un valor de falsedad con otro de verdad,
02. Para que una bicondicional asuma un valor en ese orden
de falsedad debe relacionar dos e) 2 valores diferentes
componentes:
a) verdaderos 05. En la disyunción exclusiva cuando el primer
b) con diferente valor veritativo valor es verdadero, también el segundo,
c) falsos entonces dicho operador resulta
d) con igual valor veritativo asumiendo un valor:
e) válidos a) verdadero d) falso
b) ambiguo e) negativo
03. Una condicional asumirá un valor de c) indeterminado
falsedad si:
a) el antecedente y el consecuente tienen 06. Si la proposición ( ~ p Λ r ) → ( ~ r V q ) es
idéntico valor falsa, halla el valor de verdad de p, q, y r:
b) el antecedente es falso pero el a) V F F b) F V V c) F F V
consecuente es verdadero d) V F V e) V V V
c) el antecedente es verdadero sin
embargo el consecuente es falso 07. Si el esquema ~ ( p Λ ~ s ) V ( ~ q → r ) es
d) el antecedente es falso y el consecuente falso, diga cuántas de las variables asumen
también lo es un valor falso:
e) el antecedente es verdadero, también el a) una b) dos c) tres
consecuente lo es d) cuatro e) ni una sola
144
~ q es F
r es F
s es V
~ t es F
08. Sabiendo que el esquema: Determina el valor de verdad de las

~ [ ( q → p ) V ~ ( p V r ) ] es verdadero, siguientes fórmulas lógicas:
entonces determina los valores que I. ( p → ~ t ) Λ q
asumen cada una de las variables: II. ( r V s ) ∆ ( p → ~ q )
a) V F F b) V V V c) F F F III. ( t Λ ~ p ) → ~ ( q V ~ r )
d) F V V e) V V F a) V V V b) V V F c) V F V
d) F V F e) F F F
09. Señala el valor de cada variable si el
esquema ~ ( p → q ) V [ p → ( r ↔ q ) ] es
falso:
a) V V V b) F F F c) V F V
01. Una disyunción fuerte ( ↮ ) es falsa cuando
d) V V F e) F F V
relaciona:
a) 2 valores iguales
10. Tenemos las siguientes fórmulas lógicas:
b) un valor de verdad con otro de falsedad
 (pΛ ~r)=F
c) 2 valores falsos
 (r→q)=V d) un valor de falsedad con otro verdadero
 (qV t)=F e) más de una alternativa es correcta
Halla los valores de p, q, r y t 02. Si en una proposición condicional, su
respectivamente: antecedente es verdadero pero el
a) V F F F b) V V F V consecuente presenta un valor contrario,
c) F F F F d) V V F F entonces necesariamente el operador
e) V V V V asume un valor:
a) falso
11. Si el esquema ( p Λ q ) → ( s → r ) no es b) verdadero
verdadero, halla el valor de p, q, r y s c) igual al del antecedente
respectivamente: d) indefinido
a) V F F V d) F V V F e) negativo
b) V V F V e) V V V F
c) V F V F 03. Se tiene que la proposición siguiente ~ [ ( r
12. Considerando que el siguiente esquema ↮ q )  ( p  q ) ] es falsa. A partir de ello
(p ↔ q ) → ( q → r ) es falso, determinar lo deduce el valor de p, q y r:
correcto para las siguientes proposiciones: a) VFF b) VVF c) FVV
I. ( p ≡ q ) no es falso d) FFF e) VVV
II. ( q Λ r ) es falso
III. ( q V p ) es verdadera 04. Si la fórmula siguiente
a) sólo I cumple d) I y II cumplen ( p  q ) → ( s → r ) es falsa, halla el valor
b) todas cumplen e) sólo III cumple de cada una de las variables
c) II y III cumplen (p, q, r, s):
a) VFFF b) FVVF c) VFVF
d) VVVF e) VVFV
13. [ ( ~ p ↮ q ) Λ r ] Λ ~ [ ( r ↔ p ) V s ] Siendo
este esquema verdadero, señala el valor de 05. Si se tiene que:
las variables:  q=F
a) F V V F b) F F V F c) F V F V  ~r=F
d) V F V F e) V V F F  s=V
Halla los valores de verdad de cada uno de
14. Sabiendo el valor verdadero de: los siguientes esquemas lógicos:
[qΛ (p≡~r)]Λ ~(r  s)
entonces señala los valores que asumen I. [ p  q   r ]  s
cada una de las variables: II. r  s  q 
III.  p  r   (r  ~ s)
a) F V V F b) V V F V c) V V F F
d) V V V F e) F F F F
a) VFF b) FVV c) VVV
15. Si tenemos que: d) VVF e) FFF
p es V
145
d) FVF
e) VFF
09. Sabiendo que p  q es falsa, s  p es

06. ( q  p ) → ( r ν s ) es una fórmula que no verdadera y r  s es falsa, determina en
es verdadera. Determina el valor que cuáles de las siguientes proposiciones
presenta cada una de las variables en el podemos definir sus valores de verdad con
orden correspondiente: los datos previos:
I. r  x  ~ p  s 
a) FVVV
b) VFVV
c) FVFV II. s  q  x
d) VVFF III.  p  s   r  q 
IV. w  p   x  ~ w  p 
e) VVVF
07. Si ~ p ~ q  rq es una

proposición falsa, determinar el valor de a) sólo I
verdad de las siguientes proposiciones: b) I y III
I.  p  q   r ~ q 
c) II, III y IV
d) II y IV
II. ~ q  [ p  q   r ] e) sólo IV
a) VF b) VV c) FV
d) FF e) faltan datos 10. Determina el valor de la fórmula
[( q → ~ r) ∆ ~ (p ν s)] ↔ ~ [(~ p ↮ r) → (s . q )]
08. Determina los valores de las variables r, q y considerando los siguientes datos:
p en ese orden sabiendo que la siguiente ~ p = V, q = F, r = V, ~ s = F
proposición ~ ( q → p ) → ( p ↔ ~ r ) es a) es verdadera
falsa: b) no es falsa
a) FVV c) es falsa
b) VVF d) no se puede determinar su valor
c) VFV
e) indefinida
146
Tablas de Verdad
Método decisorio que permite determinar si una inferencia es válida o no, en función de los valores de
verdad que asumen las proposiciones que la integran.
En toda tabla de verdad encontramos:
I: Variables proposicionales
II: Fórmula o esquema molecular
III: Combinaciones de V y/o F de las variables
IV: Matrices
El número de combinaciones se establece de acuerdo a la siguiente fórmula: 2n = K, donde:
n: número de variables
K: número de filas
Negación
Si una proposición es verdadera, su negación será falsa, y viceversa.
Conjunción
Asume un valor de verdad únicamente cuando relaciona 2 componentes verdaderos.
Disyunción débil
Asume un valor de falsedad únicamente cuando relaciona 2 componentes falsos.
Condicional
Será falsa sólo cuando relacione un antecedente verdadero con un consecuente falso.
Bicondicional
Es verdadera cuando los 2 componentes que relaciona tienen el mismo valor veritativo, es decir que
ambos sean verdaderos o falsos a la vez.
A partir del resultado de las combinaciones de los valores de verdad de las proposiciones, tendremos los
siguientes tipos de esquemas:
a) Tautológicos:
Aquellos esquemas cuyos valores de su matriz principal son todos verdaderos.
b) Consistentes:
Aquellos cuya matriz principal contiene valores verdaderos y falsos.
c) Contradictorios:
Aquellos esquemas en los que su matriz principal contiene únicamente valores falsos.
1. Con signos de agrupación:

La mayor jerarquía corresponde al operador libre. Este operador señala la matriz principal y final.
2. Sin signos de agrupación
La jerarquía se determina según el siguiente criterio:

1º bicondicional
2º condicional
147
3º donjunción
4º disyunción
5º negación
d) ( p Λ q ) → ~ r
e) [ ( p → q ) Λ ( q → r ) ] ↔ ( p → r )
01. En la conjunción cuando el primer valor es 08. Teniendo el siguiente esquema ( p  q ) 

verdadero, también el segundo, entonces p, ¿cuáles son los valores de la matriz
dicho operador resulta siendo: principal?
a) verdadero d) falso a) FFFV d) VVFF
b) ambiguo e) negativo b) VVVF e) FVFF
c) indeterminado c) VFFF
02. Una condicional es falsa si: 09. Al evaluar la siguiente fórmula ( p  q )  p

a) el antecedente y el consecuente tienen se obtiene como resultado:
igual valor a) FFFF d) VVFF
b) el antecedente es falso pero el b) VVVV e) FFVF
consecuente es verdadero c) VFFF
c) el antecedente así como el
consecuente son verdaderos 10. ¿Cuál será el resultado de ( p  q )   q?
d) el antecedente es falso, el consecuente a) FFFV d) VVFF
también lo es b) VVVV e) FFFFF
e) el antecedente es verdadero y el c) VFVF
consecuente es falso
11. Luego de simbolizar la siguiente expresión
03. Cuando en el resultado final de una tabla de “La Filosofía es objetiva o es especulativa,
verdad se observa que todos los valores pero no es especulativa. Entonces la
son verdaderos, entonces dicho esquema Filosofía es objetiva”, procedemos a
representa una: evaluar a través de una T.V. obteniéndose
a) invalidez lógica como matriz:
b) contingencia a) FFFF d) VVVF
c) consistencia b) FVFV e) VVFF
d) tautología c) VVVV
e) contradicción
12. El esquema es ( p Λ q ) → ( q ν ~ p ) es:
04. Una fórmula o esquema lógico será a) tautológico
contradictorio cuando en su matriz b) contradictorio
principal: c) consistente
a) hayan más valores falsos que d) contingente
verdaderos e) no determinado
b) todos los valores sean falsos
c) hayan valores verdaderos y falsos 13. Si negamos un esquema contradictorio se
d) todos los valores sean verdaderos obtiene una:
e) hayan más valores verdaderos que a) tautología
falsos b) fórmula contradictoria
c) falsedad
05. La matriz del esquema ~ q ν ( p → q ) es: d) consistencia
a) VVVF d) VVVV e) contingencia
b) FFVV e) VFVF
c) FVVV 14. La matriz tabular del esquema ( q Λ ~ p ) →
( ~ p ν r ) tiene como valores principales:
06. Descubre el esquema que es tautológico: a) VVVVVVVV
a) [ ( p ν q ) Λ p ] → q b) FFFFVVVV
b) p → ( ~ q ν p ) c) FFFFFFFF
c) ( p Λ q ) → ~ ( p Λ q ) d) FVFVFVFV
d) [ ( p ν q ) Λ ~ q ] → ~ p e) VVVVFFFF
e) [ ( p → ~ q ) Λ q ] → ~ p
15. Determinar los valores de la matriz principal
07. Identifica el esquema contradictorio: de [ ( p → q ) ν ~ q ] Λ [ (~ q Λ p ) ↔ p ] :
a) p → ~~ p a) VVVV d) FVVV
b) ( p ν q ) ∆ ( q ν p ) b) FFFF e) VFFV
c) [ ( p → q ) Λ p ] → q
148
c) VFVF a) consistente
b) tautológica
c) contingente
d) contradictoria
e) inconsistente
01. Defina los valores de la matriz principal del

7. Si un esquema presenta 3 variables
siguiente esquema: [ p → ( p → q ) ] → ~ (p, q y r) entonces la cantidad de
(~q→~p) combinaciones de verdad y falsedad
a) FVVV para cada una será:
b) FVFF a) 3
c) VVVV b) 6
d) VFVF c) 8
e) VFVV d) 10
e) 12
02. Define el tipo de esquema para: [ ~ ( p ν q )
→r]→~(qΛp)
a) tautológico
8. Halla la matriz principal del esquema
b) contradictorio siguiente: ( p  q )  ( p   q )
c) contingente a) VVVV
d) consistente b) FFVF
e) c y d c) FFFF
d) FFVV
03. El esquema [ ( p → q ) Λ ( q → r ) ] → ( p → e) VFFF
r ) es de tipo:
a) contradictorio 9. Señala la afirmación correcta respecto
b) contingente
a la siguiente fórmula:
c) tautológico
d) verdadero (~pq)p~q
e) consistente a) es el esquema de una inferencia
válida
04. De los siguientes 5, señala aquel esquema b) el resultado es una tautología
que es de tipo tautológico: c) es un esquema molecular conjuntivo
a) ( p ↔ q ) Λ p d) su resultado es una consistencia
b) [ ( p → q ) Λ ~ p ] → q e) la fórmula posee 4 variables
c) [ ( p → q ) Λ ~ p ] → ~ q
d) [ ( p → q ) Λ q ] → p
10. ¿Cuál de los siguientes operadores
e) [ ( p Λ q ) Λ p ] → q
lógicos debe reemplazar al asterisco
05. Determinar la matriz del siguiente para que el esquema ~ q  ~ p resulte
esquema: ( ~ p ↔ q ) → ( q Λ ~ r ) con la cifra tabular VFVV?
a) VVFFFVVV a) 
b) VVFVFVVV b) 
c) FFVVVFFF c) v
d) FFFFFVVV
d) 
e) VVVFFVVV
e) ~
6. De un esquema cuya matriz principal
no presenta ni un solo valor verdadero,
se deduce que se trata de una fórmula:
149
Equivalencia e Implicación
EQUIVALENCIA LÓGICA
Decimos que una proposición cualquiera (A) es equivalente a otra (B), si luego de ser unidas por un operador
bicondicional, se les evalúa a través de una T.V. dando como resultado una relación lógicamente verdadera.
IMPLICACIÓN LÓGICA
Decimos que una proposición cualquiera (A) implica a otra (B), si luego de ser unidas por un operador
condicional, se les evalúa a través de una T.V. dando como resultado una relación lógicamente verdadera.
Cuidado precadete, una cosa es que la proposición A implique a la

proposición B, y otra distinta que la proposición B implique a la proposición A.
Profesor
Milton
01. Siendo A  p  q y B   p   q,
determine el enunciado correcto: 04. Teniendo las siguientes fórmulas A = ( p Λ
a) A equivale a B q ) y B = ( ~ q ν p ), determina la verdad de
b) A implica a B cada uno de los enunciados propuestos a
c) ambas tienen la misma matriz continuación:
d) B implica a A I. B implica a A
e) se cumple todo lo anterior II. A y B son equivalentes
III. A implica a B
02. Dadas las fórmulas A = ~ p Λ ~ q, B = ~ (p ν a) sólo I b) sólo II c) sólo III
q), determinar si A y B son equivalentes: d) I y II e) I y III
a) A y B son equivalentes
b) A y B no son equivalentes 05. Existe equivalencia lógica entre 2
c) faltan datos proposiciones cualesquiera cuando se
d) es imposible demostrar que sean unen a través de un operador __________
equivalentes y luego de evaluarse la nueva fórmula a
e) la negación de A es equivalente a B través de una T.V. se demuestra que se
trata de un esquema __________:
03. ¿Qué significa que una fórmula A sea a) condicional – tautológico
equivalente a otra B? b) conjuntivo – contradictorio
a) que tienen matrices con diferentes c) disyuntivo – consistente
valores d) negativo – contingente
b) que al ser unidas por un operador e) bicondicional – tautológico
condicional, la fórmula que resulta será
tautológica 06. Existe implicación lógica entre 2
c) que tienen matrices con iguales valores proposiciones cualesquiera cuando son
d) que al ser unidas por un operador unidas a través de un operador
bicondicional, la fórmula que resulta __________ y luego de evaluarse la nueva
será tautológica fórmula a través de una T.V. se demuestra
e) c y d responden la pregunta que se trata de un esquema __________:
150
a) condicional – tautológico 13. Simbolizar:

b) bicondicional – contingente Andrea juega o escucha música.
c) disyuntivo – contradictorio a) p V q d) p Λ q
d) condicional – consistente b) p q e) p q
e) conjuntivo – tautológico c) p
07. Si una proposición A implica a otra 14. Simbolizar:

proposición B entonces: Voy a la pre- policial y estudio, pero si no
a) A se deduce lógicamente de B estudio, no ingreso.
b) A y B son equivalentes entre sí a) ( p Λ q) Λ ( p r)
c) B es causa suficiente de A b) ( p Λ q ) V ( p r)
d) A y B se implican mutuamente c) ( p r)
e) B es consecuencia necesaria de A d) ( pΛ q)Λ( p r)
e) ( p Λ q V r )
08. Asumiendo que tenemos una fórmula A que
es tautológica y otra fórmula B que es 15. Simbolizar:
contradictoria, entonces necesariamente Jeremy , Julio y Ramón son primos.
se cumple que: a) p V q V r d) p Λ q Λ r
a) se trata de fórmulas equivalentes entre b) (p Λ q Λ r) e) p Λ ( q Λ r)
sí c) p
b) A equivale a B
c) B implica a A
d) A implica a B
e) B es equivalente a A 01. Señale solo el operador monádico:
a) v b) Λ c)
09. ( p  q ) equivale a ( q   p ) porque la d) e)
relación ………… entre las dos fórmulas es
…………: 02. Los signos de agrupación se utilizan para:
a) condicional – lógicamente falsa a) Jerarquizar los operadores.
b) conjuntiva – contrastable b) Establecer enlaces.
empíricamente c) Determinar los símbolos.
c) bicondicional – verdadera en todos sus d) Comprobar la validez.
casos e) Evidenciar una verdad.
d) disyuntiva – lógicamente verdadera
e) condicional – lógicamente verdadera 03. El signo “~” simboliza a una proposición:
a) Disyuntiva.
10. Si A = ( p   p ), B = (  q   q, entonces b) Bicondicional.
es verdadero que: c) Disyuntiva exclusiva
a) A no implica a B d) Condicional.
b) si A es equivalente de B, B no es e) Negativa.
equivalente de A
c) cualquier fórmula implica a B 04. En la proposición “Estudio Matemáticas o
d)  B no es equivalente de  A hago ejercicios de Física”, se emplea el
e) A implica a  B símbolo:
a) Λ
11. Si luis ingresa , no trabajará pero si no b) V
ingresa , trabajará. c) ~
a) (p q) Λ ( p q) d) ↔
b) (p q)V ( p q) e) →
c) ( p q) (p q)
d) p q 05. Simboliza la siguiente proposición: “Si
e) ( p q) Andy va al cine o va al teatro entonces se
divertirá”
12. Simbolizar: a) (p Λ q) ↔ r
Andrea no tiene hambre pero si tiene sueño b) p Λ q V r
pero si tiene sueño entonces se va a dormir. c) p → q Λ ~r
a) ( p Λ q) Λ ( q r) d) (p V q) → r
b) ( p Λ q) V ( q r) e) r → (p V q)
c) (p Λ q) Λ ( q r)
d) (p Λ q) V ( q r) 06. Si nunca estudias entonces no aprobaras
e) ( q r) los cursos”; simboliza esta proposición:
a) p ↔ ~q
151
b) ~ (p → q)
c) ~p → q
d) p → q
e) ~ p → ~q
07. Un elemento de la simbolización

proposicional:
a) Las bicondicionales.
b) Signos de agrupación.
c) La disyuntiva exclusiva.
d) El operador molecular.
e) Las tablas de verdad.
08. “O el cartero olvidó el recado y prefirió no

entrar a la casa, o no olvido el
recado sin embargo prefirió no entrar a la
casa”.
Formalizado, da lugar a la fórmula:
a) (p   q) ( p   q)
b) (p   q)   (p  q)
c) (p   q) ( r   s)
d) (p   q)  ( p   q)
e) p  ( r   s)
09. “No es posible que Javier no deteste el

ceviche”. Su simbolización, es:
a) ~p
b) q p
c) p
d) p v q
e) p ~ q
10. Se usa la ley de idempotencia para:

a) convertir esquemas conjuntivos en
disyuntivos o viceversa
b) agrupar indistintamente los elementos
unidos por un mismo operador
c) eliminar negaciones
d) transformar una fórmula condicional en
otra disyuntiva
e) eliminar una variable o esquema que se
halla repetida innecesariamente
152
Equivalencias Notables
Son leyes lógicas que van a permitir la

transformación y simplificación de esquemas
moleculares en otros más simples. Se 01. No es una equivalencia notable:
denominan equivalencias porque tanto la a) absorción
expresión original como la resultante, luego de b) de Morgan
haberse aplicado alguna ley equivalente, c) principio de no contradicción
resultan mostrando su matriz principal con d) conmutación
idénticos valores de verdad y falsedad. e) definición de la condicional
1. Idempotencia 02. Señale la expresión equivalente a la

AA..A siguiente afirmación “No se da el caso que,
trabajas y no tienes dinero”:
AA..A a) No trabajas o tienes dinero.
b) Trabajas y tienes dinero.
2. Doble Negación c) No trabajas y tienes dinero.
 A .  . A d) No trabajas o no tienes dinero.
A .  .  A e) Si no trabajas, no tienes dinero.
A..A
03. La proposición “Si me preparo en la
3. Conmutatividad academia “Fermín Tangüis”, entonces
A  B..BA ingreso a la primera”, es equivalente a:
A  B..BA a) Ingresé a la primera, de ahí que me
preparé en la academia “Fermín
A  B..BA
Tangüis”.
AB..BA b) Si no me preparo en la academia
“Fermín Tangüis” entonces no ingreso a
4. Leyes de De Morgan la primera.
(AB)..AB c) No es posible que me preparo en la
(AB)..AB academia “Fermín Tangüis” y no ingrese
A  B .  .  ( A   B) a la primera.
 B .  .  ( A   B) d) Ingreso a la primera si y sólo si me
preparo en la academia “Fermín
5. Definición de la condicional Tangüis”.
AB.. AB e) No ingreso a la primera o no me preparo
en la academia “Fermín Tangüis”.
 ( A   B)
04. La proposición "Es falso que si voy a
6. Transposición Chosica entonces no me distraiga" tiene
AB..BA como expresión equivalente a:
AB..BA a) No voy a Chosica pero me distraigo.
b) Voy a Chosica y me distraigo.
7. Absorción c) No me distraigo sin embargo voy a
Chosica.
a. Caso Normal: d) Me distraigo o no voy a Chosica.
A(AB)..A e) Es falso que vaya a Chosica y no me
A(AB)..A distraiga.
b. Caso Especial:
A(AB)..AB
A(AB)..AB
153
05. Señale la expresión equivalente a la d) Estoy estudiando una carrera o voy a la

siguiente afirmación "No es cierto que viajo universidad.
en taxi y no llego temprano a mi trabajo". e) No voy a la universidad pero estoy
a) No viajo en taxi y llego temprano a mi estudiando una carrera.
trabajo.
b) Viajo en taxi y llego temprano a mi 10. La proposición equivalente de “Francisco
trabajo. Pizarro conquistó el Perú o no derrotó a
c) No viajo en taxi y llego tarde a mi Atahualpa” es:
trabajo. a) Si derrotó a Atahualpa entonces
d) Si no viajo en taxi, no llego temprano a conquistó el Perú.
mi trabajo. b) Si conquistó el Perú, entonces derrotó a
e) No viajo en taxi o llego temprano a mi Atahualpa.
trabajo. c) Si no conquistó el Perú, entonces
derrotó a Atahualpa.
06. "No se da el caso que Alejandro sea d) Si no derrotó a Atahualpa, entonces no
cirujano y no sea médico". Lo anterior tiene conquistó el Perú.
como equivalente a: e) Conquistó el Perú si y sólo si derrotó a
I. Alejandro es cirujano de ahí que es Atahualpa.
médico.
II. Alejandro es médico o es falso que sea 11. “No se da el caso que Josefina sea
cirujano. deshonesta” tiene por expresión
III. Si Alejandro no es médico entonces no equivalente a:
es cirujano. a) Josefina no es honesta.
IV. Alejandro no es cirujano o es médico. b) Josefina es y no es honesta.
a) sólo I c) Josefina nunca fue honesta.
b) I, II y IV d) Josefina quisiera ser honesta.
c) II, III y IV e) Josefina es honesta.
d) I y III
e) todos son equivalentes 12. “Si el mundial de fútbol del 2014 será en
Brasil entonces la selección peruana
07. "Enrique es ingeniero pero no es clasificará” equivale a:
matemático" equivale por de Morgan a: a) El mundial de fútbol del 2014 será en
a) Si Enrique es matemático, es ingeniero. Brasil o la selección peruana clasificará.
b) Es imposible que Enrique no sea b) Si la selección peruana clasificará
ingeniero o es matemático. entonces el mundial de fútbol del 2014
c) Enrique no es ingeniero o es no será en Brasil.
matemático. c) La selección peruana no clasificará por
d) Si Enrique es ingeniero, es matemático. lo tanto el mundial de fútbol del 2014 no
e) O Enrique es ingeniero o no es será en Brasil.
matemático. d) El mundial de fútbol del 2014 no será en
Brasil ni la selección peruana clasificará.
08. "Si Javier la besa, Vanesita enrojece" es e) La selección peruana clasificará y el
equivalente a: mundial de fútbol del 2014 será en
a) Vanesita enrojece si y sólo si Javier la Brasil.
besa.
b) Si Vanesita enrojece entonces Javier la 13. Aplicando la ley de Morgan, el equivalente
besa. de la siguiente proposición es "Es mentira
c) Javier la besa y Vanesita enrojece. que haya un tsunami y no se salga el mar"
d) Javier no la besa o Vanesita enrojece. es:
e) Es falso que Javier bese a Vanesita y a) No es el caso que haya un tsunami o se
ella enrojezca. salga el mar.
b) No hay un tsunami ni se sale el mar.
09. ¿Cuál será la proposición equivalente de c) No hay un tsunami o se sale el mar.
“Si voy a la universidad, entonces estoy d) O hay un tsunami o se sale el mar.
estudiando una carrera”? e) Si se sale el mar entonces hay un
a) O voy a la universidad o estoy tsunami.
estudiando una carrera.
b) Si no estoy estudiando una carrera, 14. Al simplificar la fórmula p Λ ( q → p ) se
entonces es mentira que voy a la obtiene:
universidad. a) p b) ~ p v q c) ~pΛ ~q
c) Voy a la universidad y no estoy d) q e) p → q
estudiando una carrera.
154
15. “No es el caso que vaya a la playa o no e) No viajo en el Metropolitano o llego

vaya”, es un principio lógico de: temprano a mi trabajo.
a) Equivalencia.
b) Doblenegación. 05. Al aplicar la ley de Morgan a la siguiente
c) No contradicción. proposición "Es mentira que cae poca nieve
d) Dilema constructivo. y llueve mucho", obtendremos como
e) Tercio excluido. equivalente a:
a) No es el caso que cae poca nieve o
llueve mucho.
b) No cae poca nieve y no llueve mucho.
01. Respecto a las equivalencias notables es c) No cae poca nieve o no llueve mucho.
correcto: d) Cae poca nieve o llueve mucho.
a) permiten la simplificación de esquemas e) Si llueve mucho, entonces cae poca
moleculares en más simples nieve.
b) se usan para transformar fórmulas en
otras que son equivalentes a la original 06. Determinar el principio lógico de: “Fritjof
c) permiten extraer una conclusión a partir Capra fue científico o no fue científico”:
de una serie de premisas a) Conjuntivo d) Condicional.
d) tanto la expresión original como la b) Consistente e) Válido.
simplificada tienen la misma matriz c) Tercio excluido.
principal en sus respectivas tablas de
verdad 07. La fórmula equivalente de
e) todas menos la c p → ( q Λ p ) es:
a) p b) ~ q c) q
02. Halla la proposición equivalente a: “Ana d) q → p e) p → q
Miriam llega puntual a la academia puesto
que vive cerca’’ 08. Reduce la siguiente fórmula:
a) Ana Miriam vive cerca a la academia y ~p→(p→q)
llega puntual. a) ~ q b) p Λ q c) p
b) Si Ana Miriam no llega puntual a la d) ~ ( ~pΛ~q) e) ~ p ν q
academia entonces no vive cerca.
c) Es falso que Ana Miriam llegue puntual 09. La proposición “Javier y Vanessa no son
a la academia a la vez que viva cerca. novios entonces Javier sale con otra mujer”
d) Ana Miriam no vive cerca a la academia es equivalente a “Javier y Vanessa son
o llega puntual. novios o Javier sale con otra mujer” al
e) Ana Miriam no llega puntual a la aplicarse la ley de:
academia o vive lejos. a) definición de la condicional
b) doble negación
03. ¿Qué equivalencia notable permite permutar c) asociación
los componentes de fórmulas conjuntivas, d) definición de la bicondicional
disyuntivas o bicondicionales? e) idempotencia
a) conmutativa
b) idempotencia 10. Dada la proposición: “Si hay oro en Alaska,
c) doble negación entonces iremos hacia allá” aplicando la ley
d) definición del condicional de la condicional determinar su
e) absorción equivalente:
a) No iremos hacia Alaska o hay oro allá.
04. Ubica la expresión equivalente a la b) No hay oro en Alaska o iremos hacia
siguiente proposición: "No es cierto que allá.
viajo en el Metropolitano y no llego c) Iremos hacia Alaska si y sólo si hay oro
temprano a mi trabajo". allá.
a) No viajo en el Metropolitano y llego d) Hay oro en Alaska o iremos hacia allá.
temprano a mi trabajo. e) Ni hay oro en Alaska ni iremos hacia
b) Viajo en el Metropolitano y llego allá.
temprano a mi trabajo.
c) No viajo en el Metropolitano y llego tarde
a mi trabajo.
d) Si no viajo en el Metropolitano, no llego
temprano a mi trabajo.
155
Implicaciones Notables
Son esquemas condicionales tautológicos, por lo que representan inferencias válidas. Es decir, teniendo la(s)
premisa(s) podemos derivar inmediatamente una conclusión necesaria.
Las implicaciones notables más importantes son las siguientes:
1. MODUS PONENDO PONENS (MPP)

Si se afirma el antecedente de una premisa condicional, se concluye en la afirmación del consecuente
de dicha premisa.
2. MODUS TOLLENDO TOLLENS (MTT)

Si se niega el consecuente de una premisa condicional, se concluye en la negación del antecedente de
dicha premisa.
3. SILOGISMO DISYUNTIVO (SD)

Si se niega uno de los elementos de una premisa disyuntiva, se concluye en la afirmación del otro
elemento.
4. SILOGISMO HIPOTÉTICO PURO (SHP)

Si de un conjunto de dos premisas condicionales, el consecuente de la primera premisa es la afirmación
del antecedente de la segunda premisa, entonces en la conclusión irá una proposición condicional
formada por el antecedente de la primera premisa y el consecuente de la otra premisa.
5. CONJUNCIÓN
De un conjunto de premisas, se puede concluir en la conjunción de las mismas.
6. SIMPLIFICACIÓN
De una premisa conjuntiva se puede concluir cualquiera de sus componentes
03. La conclusión de “Si practico a diario,

lograré el triunfo; sucede que practico a
01. Extrae la conclusión correcta a partir de las diario. En consecuencia ...” es:
siguientes premisas: a) no lograré el triunfo
P1: Si salió el sol, hace calor. b) lograré el triunfo
P2 : Si hace calor, voy a la playa. c) no practico a diario
a) Si hace calor, salió sol. d) practico poco
b) Si salió el sol, voy a la playa. e) logré el triunfo ya que practiqué a diario
c) Salió el sol o no voy a la playa.
d) Hace calor o voy a la playa. 4. La proposición “No ocurre que Fiorella sea
e) Salió el sol y voy a la playa. deshonesta” tiene por equivalencia a:
a) Fiorella no es honesta.
02. Halla la conclusión del siguiente b) Fiorella es y no es honesta.
razonamiento: c) Fiorella nunca fue honesta.
P1: Dio el examen o estuvo ausente. d) Fiorella debería ser honesta.
e) Fiorella es honesta.
P2: No estuvo ausente
a) Dio el examen.
b) Estuvo ausente.
c) No dio el examen.
d) Dio el examen pero estuvo ausente.
e) Dio el examen y no estuvo ausente.
156
5. “Claudio Pizarro fue ovacionado porque b) [(p→q)Λ~q]

metió un gol” tiene como equivalente a: c) [(p→q)Λp]→q
a) Claudio Pizarro metió un gol si y sólo d) [(p→q)Λ(q→r)]→(p→r)
si fue ovacionado. e) [(p→q)Λ~q]→~p
b) Claudio Pizarro fue ovacionado o
metió un gol. 11. ¿Cuál de las siguientes fórmulas lógicas
c) Es falso que Claudio Pizarro metió un gol constituye una implicación notable?
o fue ovacionado. a) ( p ν q ) → q
d) Claudio Pizarro ni metió un gol ni fue b) [ ( p → q ) Λ ~ q ] → ~ p
ovacionado. c) [ ( p → q ) ν ~ p ] → ~ q
e) Claudio Pizarro no fue ovacionado en d) ( p Λ q ) → ~ q
consecuencia no metió un gol. e) [ ( p → q ) Λ ~ q ] → p
6. Determina la alternativa que contenga una 12. Si el profesor Javier es un líder, tiene
expresión equivalente a la siguiente muchas admiradoras. Si tiene muchas
proposición: “No se da el caso que Judas admiradoras entonces será elegido “el
fue traidor y desleal” profesor del año”. Luego…
a) Si Judas fue traidor entonces fue leal. La conclusión de la inferencia anterior es:
b) Judas no fue leal o traidor. a) O Javier es un líder o no lo es.
c) Judas fue traidor si y sólo si fue desleal. b) Si Javier es un líder, será elegido “el
d) O Judas fue traidor o fue leal. profesor del año”.
e) Si Judas fue leal entonces no fue c) Javier tiene muchas admiradoras si y
discípulo de Jesús. sólo si es un líder.
d) Javier es un líder y será elegido “el
7. Luego de simbolizar la proposición profesor del año”.
siguiente, aplica equivalencias notables e) Si Javier no es un líder entonces no
para simplificar la fórmula y expresa el tiene muchas admiradoras.
resultado en lenguaje natural: “Ya que el
profesor Milton es delgado entonces es 13. Teniendo la proposición "Nancy es
gordo, o no es delgado” caprichosa o Héctor es respetuoso, sin
a) El profesor Milton es delgado o es embargo no es el caso que Nancy sea
gordo. caprichosa", se deduce:
b) El profesor Milton es delgado y es gordo. a) Héctor no es respetuoso
c) O el profesor Milton es delgado o es b) Nancy es caprichosa
gordo. c) Nancy no es respetuosa
d) El profesor Milton no es delgado o es d) Héctor es respetuoso
gordo. e) Nancy no es caprichosa
e) El profesor Milton es delgado o no es
gordo. 14. "Tu paciente acude al médico o al
psiquiatra, sin embargo no acude al
08. La conclusión de “Sheyene no entendió el médico". Entonces:
tema, y el caso es que Sheyene entendió el a) tampoco va al psiquiatra
tema o lo ignora. Por lo tanto ...” es: b) va al psiquiatra
a) entendió el tema c) le teme a los psiquiatras
b) no entendió el tema d) sabe que no está loco
c) no lo ignora e) habla con su bolsa de papas
d) lo ignora
e) lo ignora pero lo entendió 15. El esquema molecular [ ( p ν q ) Λ ~ q ] → p
representa a un:
09. “Si tengo tarea entonces voy a la biblioteca, a) silogismo categórico
y si hoy es viernes entonces tengo tarea. En b) modus ponendo ponens
consecuencia...”. De estas premisas se c) modus tollendo tollens
puede extraer como conclusión: d) silogismo disyuntivo
a) si voy a la biblioteca, tengo tarea e) silogismo hipotético puro
b) si tengo tarea, hoy es viernes
c) si hoy es viernes, voy a la biblioteca
d) si no voy a la biblioteca, no tengo tarea
e) si no tengo tarea, no es viernes
10. ¿Cuál de los siguientes esquemas

moleculares representa a un MPP?
a) ( p Λ q ) → p
157
d) No es cierto que juegue futbol.

e) No escucho música y no juego futbol.
01. El esquema molecular
[ ( ~ p → ~ q ) Λ ~ p ]→ ~ q representa a un: 07. Ángela es infiel o le gusta la fiesta.
a) modus tollendo tollens Equivale a:
b) silogismo disyuntivo a) Ángela le gusta las fiestas.
c) modus ponendo ponens b) Si Ángela es fiel, le gustan las fiestas.
d) silogismo hipotético puro c) Ángela no es infiel.
e) modus tollendo ponens d) Si Ángela es infiel le gustan las fiestas.
e) Ángela es fiel.
02. Determinar la conclusión del siguiente
razonamiento: "Si conduces tu automóvil, 08. En una equivalencia la matriz resultante de
no has bebido cerveza. Pero has bebido las dos fórmulas equivalentes será:
cerveza" a) consistente
a) Conduces tu automóvil y no has bebido b) contingente
cerveza. c) Lógicamente necesaria
b) No conduces tu automóvil. d) contradictoria
c) Conduces tu automóvil. e) inconsistente
d) Has bebido cerveza.
e) No has bebido cerveza y conduces tu 09. Aplique definición de condicional:
automóvil. Arguedas es escritor o depresivo.
a) Si Arguedas es escritor entonces es
03. “Si Milagros va al cine con Javier, bota la depresivo.
canchita al piso. Sucede que Milagros va al b) Si Arguedas es escritor entonces no es
cine con Javier. De ahí que…”. La depresivo.
conclusión que se desprende de estas c) Arguedas es escritor pero no es
premisas es: depresivo.
a) Milagros es torpe d) Arguedas es escritor además es
b) Milagros no va al cine con Javier depresivo.
c) Milagros bota la canchita al piso e) Arguedas no es depresivo
d) Ambos la pasan mal en el cine
e) Milagros no bota la canchita al piso 10. Si soy peruano entonces soy valiente. No
soy valiente. Por lo tanto;
04. En el siguiente esquema a) Soy sureño, muy sureño.
[ ( p → ~ q ) Λ p ] → ? ¿Cuál sería la b) No soy peruano.
conclusión y qué ley de implicación se c) Soy peruano y valiente.
estaría dando? d) No soy valiente.
a) ~ q – modus ponendo ponens e) a y b
b) p – silogismo disyuntivo
c) ~ q – modus tollendo tollens
d) ~ p – silogismo hipotético puro .
e) ~ p – silogismo disyuntivo
05. Si estudio, ingreso. Si ingreso, me casaré

con Andrea. Por lo tanto:
a) Si estudio, me caso en Argentina.
b) Si estudio, mejor no me caso.
c) Si estudio, me casaré con Andrea.
d) Andrea no se casa conmigo así estudie.
e) Andrea no quiere que estudie.
06. Escucho música o juego futbol. No juego

futbol. Por lo tanto:
a) Escucho futbol.
b) no juego futbol.
c) Escucho música.
158
Lógica Predicativa
LAS PROPOSICIONES CATEGORICAS
Componentes
Sujeto: Es de quien se afirma o se niega algo. (S)

Predicado: Es lo que se niega o afirma del sujeto. (P)
Cópula: verbo ser.
Tipos de proposiciones categóricas
1. por su cantidad:
a. Universales : Todos - ningún

b. Particulares : Algunos son – algunos no son
2. por su cualidad
a. Afirmativa muestra relaciones de inclusión

b. Negativa muestra relaciones de exclusión
REPRESENTACIÓN DE LAS PROPOSICIONES CATEGÓRICAS
1. Universal afirmativa S
P
SP   x
S P
4. Particular negativa
algún S no es P
SP  
S
2. Universal negativa P
Ningún S es P SP  
x
S
P
01. La lógica predicativa estudia a las

proposiciones de tipo:
3. Particular afirmativa a) simples d) moleculares
b) coligativas e) relacionales
a lgún S es P c) categóricas
SP  
159
02. La fórmula Si P representa a proposiciones d) Ningún S es P

donde la relación que se da es de: e) Algunos S no son P
a) exclusión total
b) inclusión parcial 09.
c) exclusión parcial U
d) inclusión total
e) exclusión a medias
03. Las proposiciones categóricas de forma S P

típica comienzan sus enunciados con ¿Cuál de los siguientes ejemplos puede
los(las) __________ "todos", "ningún", ser representado por el diagrama anterior?
"algunos", los cuales nos indican la a) Toda monsefuana es buena.
__________ de las proposiciones: b) Algunos incultos son inteligentes.
a) términos – jerarquía c) Ningún mortal es eterno.
b) clases – cantidad d) Todos los no asiáticos son africanos.
c) cuantificadores – cantidad e) Algunas adolescentes no escuchan
d) términos – extensión música coreana.
e) cuantificadores – calidad
10. Las proposiciones E y O señalan
04. Según su calidad hablamos de respectivamente, relaciones de
proposiciones categóricas: a) exclusión parcial y total
a) particulares – universales b) inclusión total y parcial
b) afirmativas – universales c) inclusión y exclusión
c) negativas – particulares d) inclusión parcial y total
d) afirmativas - negativas e) exclusión total y parcial
e) negativas – universales
11. La simbolización S = Φ representa:
05. Marca lo correcto respecto a la proposición a) clase universal
categórica universal afirmativa: b) clase particular
a) su letra típica es “O” c) complemento de una clase
b) hay relación de exclusión total entre las d) clase vacía
clases e) clase no vacía
c) hay relación de inclusión parcial entre
las clases 12. SP = Φ debe interpretarse como:
d) el cuantificador que las identifica es a) no hay intersección de S con P
“Todo(a)” b) S es diferente al vacío
e) la clase sujeto se halla excluida de la c) hay intersección de S con P
clase predicado d) P es igual al vacío
e) S es complemento de P
06. ¿Cuál de las siguientes alternativas no es
característica de las proposiciones 13. ¿Qué tipo de relación se da en la siguiente
categóricas? proposición categórica: "Algunas atletas
a) presentan cantidad universal o son latinoamericanas"?
particular a) exclusión total
b) relacionan dos clases de forma inclusiva b) exclusión parcial
o exclusiva c) inclusión total
c) se pueden representar a través de d) inclusión parcial
diagramas de Venn e) inclusión a la vez que exclusión
d) llevan términos cuantificadores
e) son proposiciones atómicas 14. Identifica los términos sujeto y predicado de
relacionales la proposición "Algunos varones son
metrosexuales":
07. “Algunos peruanos son felices”, a) algunos, varones
corresponde al tipo de proposición b) varones, son
categórica: c) algunos, metrosexuales
a) A b) E c) I d) O e) U d) varones, metrosexuales
e) algunos, son
08. La letra “O” le corresponde a una de las
siguientes estructuras:
a) Todos los S no son P
b) Algunos S son P
c) Algunos no S son P
160
15. Señala la proposición de tipo particular d) Algún día viajaremos.

afirmativa: e) Ninguna de las anteriores
a) Varios estudiosos no tienen buenos
trabajos. 06. Identifica la(s) característica(s) de las
b) Las manzanas son frutas. proposiciones categóricas:
c) No hay dios que sea mortal. I. denotan que una clase esté incluida o
d) La mayor parte de los poetas son excluida en otra
literatos. II. poseen un cuantificador
e) Algunos no católicos son ateos. III. presentan dos sujetos relacionados
entre sí
IV. poseen un verbo copulativo
a) sólo III d) I y II
01. Ningún hombre es de origen divino. Es b) III y IV e) I, II y III
una proposición de tipo: c) todas menos III
a) Universal negativa
b) Particular afirmativa 07. ¿Qué proposición categórica es la que se
c) Universal objetiva caracteriza por mostrar cantidad particular
d) Particular negativa y calidad afirmativa?
e) Universal positiva a) I d) O
b) A e) E
02. Algunos hombres son oficiales. Es una c) U
proposición:
a) Universal negativa 08. La proposición “Ningún hongo es planta” es
b) Particular afirmativa de tipo ______ y su letra típica es una ____:
c) Universal objetiva a) universal afirmativa – A
d) Particular negativa b) particular negativa – E
e) Universal positiva c) particular negativa – O
d) universal negativa – E
03. Señala la particular afirmativa: e) particular afirmativa – I
a) El 99.9% de hombres son fieles
b) Algún hombre no es fiel 09. “Hay niños que son malcriados” es una
c) Ningún hombre es mentiroso. proposición de tipo:
d) Algún ave es mamífero a) S a P d) S e P
e) Todo médico es cirujano. b) S i P e) S o P
c) universal
04. Señala la universal afirmativa:
a) Toda liebre no es ovípara. 10. ¿Cuál de las siguientes proposiciones
b) Todo hombre no es ave. categóricas resulta de calidad afirmativa
c) Un ingeniero es responsable. pero de cantidad universal?
d) Todas las niñas son no- tiernas. a) Algún sordo es ciego.
e) Ninguna b) Todo niño es egocéntrico.
c) Ningún docente es universitario.
05. Señale la particular afirmativa: d) Todo empresario no es inversionista.
a) Miriam es estudiante. e) Ningún joven es aventurero.
b) Toda mañana es hermosa.
c) Algunos jóvenes son rebeldes.
161
Silogismo Categórico
DEFINICIÓN DE SILOGISMO CATEGÓRICO

Es una inferencia estructurada por tres proposiciones categóricas típicas. El silogismo es el proceso racional
que consiste en pasar de la verdad de dos proposiciones predicativas llamadas premisas a la verdad de una
tercera proposición predicativa llamada conclusión.
Ejemplo:
P1: Todos los cuerpos celestes están en el espacio.

P2: Todos los planetas son cuerpos celestes .
C: Todos los planetas están en el espacio.
ESTRUCTURA DEL SILOGISMO CATEGÓRICO
A. Términos del Silogismo

El S.C. está formado por tres términos o clases:
1. TÉRMINO MAYOR: Representado por la letra (P), se encuentra en la primera premisa y hace de
predicado en la conclusión.
2. TÉRMINO MEDIO: Representado por la letra (M), aparece en ambas premisas y desaparece en la
conclusión.
3. TÉRMINO MENOR: Representado por la letra (S), se encuentra en la segunda premisa y hace de
sujeto en la conclusión.
B. Proposiciones del Silogismo

1.Premisa mayor: es la primera premisa y relaciona al término mayor con el término medio.
2. Premisa menor: es la segunda premisa y relaciona al término menor con el término medio.
3. Conclusión: relaciona al término menor con el termino mayor, es decir, el Sujeto con el predicado.
Ejemplos explicativos:
1.P1 (Premisa mayor): Todos los mamíferos son animales que toman leche.
P2 (Premisa menor): Todos los gatos son mamíferos. .
C (Conclusión) : Todos los gatos son animales que toman leche.
En este silogismo los elementos son:
* Término Mayor (P) = animales que toman leche (P1 y Conclusión)

* Término Medio (M)= mamíferos (se repite en las premisas)
* Término Menor (S) = gatos (P2 y Conclusión)
2. P1: Ningún piurano es sureño. Es decir:

P M
P2: Todo tacneño es sureño. P1: Ningún P es M
S M P2: Todo S es M
________________________ __________________
C: Ningun tacneño es piurano. C: Ningun S es P
162
01. En todo silogismo categórico 08. Del siguiente argumento "Ningún

necesariamente debe haber: aventurero es sedentario, ciertos
a) cuatro clases aventureros son extranjeros. Por lo tanto,
b) tres premisas algunos extranjeros no son sedentarios",
c) tres clases señala lo correcto:
d) una premisa a) el término medio es "extranjeros"
e) dos proposiciones categóricas b) el término mayor es "extranjeros"
c) el término menor es "extranjeros"
02. Si una clase está ubicada tanto en la d) el término medio es "sedentario"
premisa mayor como menor, se le e) el término mayor es "aventurero"
denomina término:
a) mayor d) menor 09. P1: Algunos vendedores son locuaces.
b) ambiguo e) mixto P2: Todo vendedor es comerciante.
c) medio ¿Cuál es la conclusión que se desprende
de estas premisas?
03. Todo silogismo está constituido por: a) Algunos locuaces son vendedores.
a) una premisa y una conclusión b) Algunos locuaces son comerciantes.
b) más de dos premisas y conclusión c) Algunos comerciantes no son locuaces.
c) dos premisas y conclusión d) Algunos comerciantes son locuaces.
d) un antecedente y un consecuente e) Ningún comerciante es locuaz.
e) proposiciones de cualquier tipo
10. El silogismo "Los humanos son mortales y los
04. En el siguiente silogismo halla el término huancaínos son humanos. En consecuencia,
medio: los huancaínos son mortales" presenta la ___
Todo pavo es ave. figura:
Algunas aves son animales terrestres. a) primera d) segunda
Algunos animales terrestres son pavos b) tercera e) cuarta
a) pavos d) aves c) quinta
b ) animales e) terrestres
c) todo 11. Señala la figura y el modo del siguiente
silogismo:
05. Es falso respecto al término medio: Algunos animales son bípedos.
a) aparece en la premisa mayor Los animales son seres vivos .
b) no aparece en la conclusión Ciertos seres vivos son bípedos
c) aparece en la premisa menor a) 3ª; O - A – O b) 2ª; I - A - I
d) se repite en las premisas b) 3ª; I - A – I d) 2ª; I - A - A
e) aparece como sujeto de la conclusión c) 2ª; O - A - O
06. En el siguiente silogismo la premisa menor 12. P1: Todos los M son P
es: P2: Ningún S es M
Ningún X es Y. C: Todo S son P
Algunos Z son Y . El silogismo anterior presenta la
Algunos Z no son X. __________ figura y el modo ____:
a) Ningún X es Y. a) primera – IAI
b) Algunos Z son Y. b) segunda – AEA
c ) Algunos Z no son X. c) primera – AEA
d) Todo X es Y. d) tercera – EAE
e) Algunos Y son Z. e) cuarta – AIA
07. Al silogismo "Ningún hombre es prefecto. 13. Aquel término que aparece como sujeto en
Todos los alemanes son hombres. Luego, la conclusión pero sólo en la premisa menor
ningún alemán es perfecto", le corresponde recibe la denominación de:
el modo y figura siguiente: a) Mayor d) figura
a) AAA – 2 d) AEE – 4 b) Medio e) modo
b) EEA – 1 e) AEA – 3 c) menor
c) EAE – 1
163
14. Señala cuáles son los términos mayor, medio a) AIE – 1 d) AII – 3
y menor (en ese orden) del silogismo b) AII – 1 e) IAI – 4
siguiente: "Ningún humanista es diplomático. c) AAA – 2
Todos los políticos son diplomáticos. Por lo
tanto ningún político es humanista" 06. ¿Cuál es la figura y el modo del siguiente
a) humanista - diplomático - político silogismo?
b) político - diplomático - humanista P1: Existen muchos profesores que son
c) humanista - político - diplomático puntuales.
d) político - humanista - diplomático P2: Toda persona puntual es responsable.
e) diplomático - político - humanista C: Algunas personas responsables son
profesores.
15. Sobre la estructura de un silogismo indica a) IEI – 1 b) IEI – 2 c) IAI – 4
qué es lo incorrecto: d) IAI – 1 e) IEI – 4
a) existen tres términos
b) el término medio está presente en la 07. Del siguiente razonamiento:
conclusión P1: Algunos bebes son inteligentes.
c) el término medio está repartido en P1 y P2 P2: Ningún anciano es bebe.
d) en la primera premisa está la clase C: Algunos ancianos no son inteligentes.
predicado Se puede afirmar que:
e) el término menor está presente en la a) el término medio es “anciano”
conclusión b) la conclusión es una SiP
c) su modo es OEI
d) “bebe(s)” es el término mayor
e) se halla en primera figura
TAREA
DOMICILIARIA
08. Todo viajero es trotamundos.
Algunas personas no son viajeras.
01. Es una inferencia mediata, estructurada por
Algunas personas no son trotamundos.
proposiciones categóricas típicas, donde a
Determina la figura y el modo del silogismo
partir de dos premisas se logra establecer
anterior:
una conclusión:
a) 1 – EOO d) 3 – AOO
a) proposición categórica
b) 1 – AIO e) 1 – AOO
b) deducción mediata
c) 2 – AOI
c) silogismo categórico
d) operador lógico
09. ¿Cuál de los siguientes silogismos
e) deducción natural
categóricos se halla en tercera figura?
a) Todo S es P.
02. ¿En cuál de las cuatro figuras del S.C.
Ningún P es R.
encontramos que el término medio es
Algún R no es P.
predicado en la primera premisa y sujeto en
b) Todo K es J.
la segunda?
Todo L es J.
a) Segunda d) primera
Todo L es K.
b) Cuarta e) quinta
c) Algún M es N.
c) tercera
Ningún O es M.
03. El silogismo "Ningún hombre es idólatra. Algún O es M.
d) Ningún B es A.
Todo sabio es hombre. Ningún sabio es
idólatra” corresponde al modo y figura: Todo B es C.
Ningún C es A.
a) EAE – 4 d) AEE – 2
e) Algunos F son G.
b) EAE – 2 e) AEE – 4
Ningún G es H.
c) EAE – 1
Algunos H no son F.
04. El término mayor:
10. Si muchos peruanos son pícaros y todo
a) se halla en ambas premisas
malandrín es pícaro, entonces:
b) siempre va en la primera premisa
a) Algunos peruanos son malandrines.
c) es el sujeto de la conclusión
b) Algunos malandrines no son peruanos.
d) es el predicado de la conclusión
c) Ningún malandrín es peruano.
e) está en la premisa menor
d) Todo peruano es malandrín.
05. Hallar la forma y figura del silogismo “Si e) Algunos malandrines son peruanos
todo A es B y algún A es C, luego algún C
es B”:
164
Falacias no Formales
DEFINICIÓN.-
De atingencia
a) Argumentum ad baculum
b) Argumentum ad ignorantium
c) Argumentum ad misericordiam
d) Argumentum ad populum
e) Argumentum ad verecundiam
f) Causa falsa
De ambigüedad
a) Equívoco
b) Anfibología
c) Énfasis
01. Aquellos argumentos que pueden parecer 03. La anfibología se comete cuando:
correctos pero que carecen de coherencia a) hay redundancia de términos
lógica entre lo que se afirma y lo que se b) se acepta o se rechaza un argumento
deduce, reciben el nombre de: puesto que no ha sido probado
a) silogismos c) el razonamiento presenta una estructura
b) razonamientos gramatical ambigua
c) inferencias d) se acepta un argumento por la
d) falacias agresividad o fuerza subrepticia que usa
e) contradicciones el interlocutor
e) el argumento presenta términos
02. Las falacias no formales se clasifican en: utilizados con acepciones distintas
I.falacias lógicas
II.falacias de atingencia
III.falacias de ambigüedad
a) I y II b) II y III c) I y III
d) sólo II e) sólo III
165
04. Cuando el director de la academia le a) argumento contra el hombre

pregunta a cierto profesor de química lo b) apelación a la misericordia
siguiente: “¿Ha dejado Ud. de libar los c) división
viernes por las noches?”, dicho docente no d) equívoco
podría responder únicamente con un “sí” o e) apelación a la fuerza
con un “no”, dado que quien ha formulado
la interrogante ha cometido la falacia de: 10. María le dice a su pareja lo siguiente: “Mi
a) anfibología amor, reconsidera seguir con lo nuestro.
b) causa falsa Piensa en nuestros 6 pequeños hijos, ellos
c) pregunta compleja te necesitan”. En este caso la señora en
d) ad ignorantiam mención está utilizando la falacia de:
e) argumento contra el hombre a) argumentum ad misericordiam
b) apelación a la autoridad
05. “Usted debe aceptar nuestras propuestas y c) argumentum ad hominem
ejecutarlas; tenga en cuenta que asumió el d) apelación a la fuerza
cargo por nuestra decisión y no esperará a e) énfasis
que de la misma forma se lo quitemos,
¿verdad?” ¿Qué falacia se aprecia en esta 11. Falacia no formal donde la conclusión no se
argumentación? relaciona con las premisas:
a) ad baculum d) equívoco a) ad hominem
b) ad misericordiam e) anfibología b) causa falsa
c) causa falsa c) conclusión inatingente
d) pregunta compleja
06. “No debemos ser drásticos ni exigentes con e) ad ignorantiam
nuestro alcalde, consideremos que hace
poco murió uno de sus pequeños hijos”. El 12. “Ya que naciste un domingo 7 por eso todo
argumento anterior encierra la falacia de: te va mal”. Este sería un ejemplo de la
a) apelación a la fuerza falacia de:
b) apelación a la piedad a) equívoco d) causa falsa
c) apelación a la autoridad b) énfasis e) ad baculum
d) anfibología c) ad hominem
e) non causa pro causa.
13. Los términos “ignoratio elenchi” hacen
07. “La lima es el fruto una planta. También referencia a una falacia que consiste en
Lima es la capital del Perú. Luego, la capital probar lo que no está en discusión y se
del Perú es el fruto de una planta”. Aquí se traduce como:
presenta la falacia de: a) apelación al pueblo
a) argumentum ad hominem b) la causa de lo causado no es la causa
b) causa falsa real
c) argumentum ad misericordiam c) ignorancia del asunto
d) equívoco d) argumento contra el hombre
e) anfibología e) apelación a la misericordia
08. ¿Qué clase de falacia comete el que apoya 14. En la frase “He buscado por todos lados un
la verdad de sus conicciones políticas en la video que me enseñe a conquistar mujeres
autoridad de una persona ajena a esta sin éxito” se presenta la falacia de:
especialidad, por ejemplo un biólogo a) composición d) petición de principio
ganador de un premio Nobel? b) énfasis e) anfibología
a) argumentum ad baculum c) acento
b) argumentum ad hominem
c) argumentum ad ignorantiam 15. Es aquella falacia que suele cometerse
d) argumentum ad populum cuando se extrae una conclusión diferente
e) argumentum ad verecundiam al tema en discusión, es decir lo que se
concluye es ajeno al ámbito específico del
09. “Como no te gusta hacerme caso deberías tema que inicialmente se está tratando:
considerar la idea de irte a vivir a tu propia a) ignorancia del asunto
casa”. Esto es lo que le dice el señor Zapata b) apelación a la fuerza
a su hija adolescente. Lo que no sabe este c) argumentum ad ignorantiam
señor es que está empleando una falacia d) petitio principii
de: e) apelación a la autoridad
166
-Zacarias, ¿por qué mejor no tomamos

unas seis cervecitas?, le manifiesta el
01. “El señor Pérez es un experto en bombas, profesor David
no en escuelas; por lo tanto, podemos A lo cual su interlocutor le responde:
ignorar cualquier cosa que diga sobre -No pues David, como buenos patriotas que
educación”. Indica la falacia que se comete somos tomemos pisco peruano.
en el razonamiento citado: Las palabras del profesor Zacarias
a) petición de principio encierran una falacia de:
b) argumento ad hominem a) ad baculum
c) accidente b) ad populum
d) argumentum ad ignoratiam c) ad misericordiam
e) apelación a la autoridad d) ad hominem ofensivo
e) ad ignorantiam
02. El argumentum ad __________ se
presenta cuando en vez de de tratar de 07. Asumir que en otras galaxias pueden existir
refutar la verdad de lo que alguien afirma, seres vivientes porque nadie hasta ahora
se ataca al hombre que hace dicha ha demostrado lo contrario, es un claro
afirmación: ejemplo de la falacia de:
a) populum d) baculum a) argumento por la ignorancia
b) misericordiam e) verecundiam b) apelación a la fuerza
c) hominem c) argumento contra el hombre
d) causa falsa
03. Si dentro de un razonamiento o argumento e) conclusión inatingente
utilizáramos una palabra que tiene más de
un significado, se caería en la falacia de: 08. Cierto Director le envía a los profesores vía
a) equívoco d) énfasis e-mail el siguiente comunicado: “Mediante
b) causa falsa e) anfibología la presente se les informa que ya venció el
c) pregunta compleja plazo de entrega de los materiales para el
ciclo Verano 2018. Por lo tanto si no envía
04.“Roxana no ingresó a la escuela militar a la que sus boletines y exámenes hasta el 23 de
postuló porque el día de su examen no se noviembre no será considerado para el
persignó antes de salir de casa”. ¿Cuál es dictado de dicho ciclo”. ¿Qué falacia de
la falacia cometida? atingencia ha cometido el Director?
a) non causa pro causa a) argumento por la ignorancia
b) argumento dirigido contra el hombre b) apelación a la autoridad
c) apelación a la fuerza c) ignorancia del asunto
d) anfibología d) apelación a la fuerza
e) equívoco e) argumento contra el hombre
05. Un abogado defensor elabora el siguiente 09. Hay falacia de __________ al manifestar
argumento: “Señor juez, mi defendido una frase como “La vaca de mi suegra se
llevaba una vida miserable, se hallaba murió la semana pasada”:
desempleado; sin embargo todos los días a) equívoco d) acento
tenía que llevar el pan a sus hijos. El delito b) composición e) énfasis
que cometió es expresión de la situación c) anfibología
social que vivimos. Por lo tanto, no puede
Ud. condenarlo a 20 años”. ¿Qué tipo de 10. Es aquel razonamiento falaz donde se
falacia cometió este letrado? utilizan términos o palabras que tienen más
a) apelación a la fuerza de un significado literal pero que se toman
b) énfasis como uno mismo:
c) argumentum ad misericordiam a) causa falsa
d) argumento contra el hombre b) ad baculum
e) apelación a la autoridad c) pregunta compleja
d) equívoco
06. El profesor Zacarias le dice a su amigo e)anfibología
David lo siguiente:
-Coleguita, vamos a tomar una botellita de
pisco
167
Introducción a la Filosofia
INTRODUCCIÓN
La Filosofía es un ejercicio de reflexión y de análisis, de valor y de sentido, sobre las realidades de la vida,
que trata de comprender cómo llegar a explicaciones esclarecedoras sobre la esencia de todos los diversos
elementos de la realidad, interesándose genuinamente por llegar a definir conceptos y principios entre las
partes y el todo que coexisten en el universo, y especialmente por el obrar de los seres humanos.
ORIGEN Y SIGNIFICADO DE LA PALABRA FILOSOFÍA
La palabra procede del griego, y está compuesta de «filos» (amor) y «sofia» (sabiduría): amor a la sabiduría.
Para los primeros filósofos de la Grecia antigua, la sabiduría era una virtud, una búsqueda del conocimiento
genuino, y una superación de las opiniones falsas. El propio ejercicio de la filosofía empezó tomando
trascendencia como una actividad intelectual y crítica, orientada a reflexionar sobre las causas naturales que
explicarían los distintos fenómenos que se producen en la realidad sustituyendo a los mitos, en un paso del
mito al logos (el razonamiento), de las explicaciones ocultas o sobrenaturales - frecuentemente atribuidas al
capricho de los dioses - a las explicaciones racionales, donde las causas pueden ser observadas o deducidas
lógica, objetiva, neutral y metódicamente dentro de la propia realidad.
DEFINICIÓN DE FILOSOFÍA
Es muy difícil señalar un concepto único, preciso de lo que es la filosofía, ello se debe a su carácter de pretender
ser el conocimiento de la totalidad de las cosas; pero lo peculiar en todos los conceptos que se han podido dar a
través de las doctrinas y sus representantes, según la etapa histórica de su desarrollo, es recalcar su carácter de
universalidad, la búsqueda de la relación entre el SER y el PENSAR; la problematización de las cosas, su crítica.
Es así que a través de su desarrollo, la Filosofía, llega en la actualidad a ser definida como el conocimiento que
considera las causas primeras o razones más elevadas de todas las cosas mediante la luz natural de la
inteligencia humana o razón.
03. El término Filosofía etimológicamente

01. La Filosofía se diferencia de las ciencias significa:
porque es: a) “amor por la ciencia”
a) una visión general de la realidad b) “amante de la vida”
b) sabiduría particular que presentan los c) “amor por los hombres”
seres vivos d) “amor por la opinión”
c) una visión próxima e inmediata de la e) “amor por la sabiduría”
realidad
d) ciencia particular acerca de un objeto del 04. La consideración de que la Filosofía es la
mundo ciencia de los primeros principios y de las
e) un conjunto de conocimientos obtenidos primeras causas le corresponde a:
sin uso de métodos a) Thales d) Platón
b) Aristóteles e) Sócrates
02. La reflexión filosófica con carácter metódico c) Pitágoras
se inició en Grecia, pero antes de esto se
explicaba la realidad por medio de un 05. La filosofía como investigación racional se
pensar: originó propiamente en:
a)crítico a)Mileto d)Atenas
b)racional b)Roma e)Sicilia
c)sistemático c)Macedonia
d)teórico
e)mítico
168
06. La Filosofía plantea y replantea c) es un conjunto organizado de ideas,

constantemente los problemas a los cuales teorías y/o doctrinas
se avoca por ser un conocimiento: d) se encarga de los fundamentos o
a)metódico principios de todo lo existente
b)radical e) hace uso de la razón
c)incondicionado
d)problemático 13. El saber científico se distingue del filosófico
e)crítico por su carácter:
a) crítico
07. La ciencia se diferencia de la Filosofía b) problemático
porque es un saber: c) universal
a)de la totalidad del mundo d) metódico
b)crítico además de problemático e) particular
c)de los primeros principios
d)sujeto a verificación 14. Al no llegar a un acuerdo ante la pregunta
e)basado en la fe ¿qué es la Filosofía?, los filósofos a través
de la historia plantean y replantean sus
08. Para que el asombro, la curiosidad y la respuestas. ¿Qué característica de la
reflexión puedan ser filosóficos tienen que: Filosofía está aquí resaltada?
a)estar dirigidos a la totalidad de las cosas a) universal
b)negar todo lo existente de la realidad b) metódica
c)estar orientados por una actitud c) trascendente
pragmática d) sistemática
d)regirse por mitos e) problemática
e)estar dirigidos a un aspecto de la realidad
15. ¿Qué alternativa es incompatible con el
09. Indica la alternativa que no corresponda a saber filosófico?
un problema filosófico: a) trascendente y metafísico
a) el hombre b) problemático y crítico
b) la memoria c) racional y especulativo
c) el valor d) selectivo y parcial
d) la belleza e) autónomo y radical
e) el conocimiento
10. La Filosofía se diferencia de la religión en

que: 01. Fue una condición socio-económica para el
a) considera a Dios como el creador de todo surgimiento de la Filosofía:
b) lleva implícita la idea de unir al hombre a) el apogeo de la ciencia griega
con la divinidad b) el desarrollo del esclavismo
c) establece normas que rigen la conducta c) la necesidad de sustentar la mitología
del hombre griega
d) es una concepción racional sobre el d) buscar un conocimiento verdadero que
universo responda los problemas de la
e) toma en consideración las naturaleza
manifestaciones de fe e) encontrar una sustancia primaria que de
origen a las cosas
11. Cuando algunas personas estiman que lo
bien que les va en sus vidas es por obra y 02. Personaje que fue el primero en
gracia de dios, estarían manifestando una autodenominarse filósofo:
actitud de tipo: a) Heráclito d)Thales
a) estética b) Sócrates e)Aristóteles
b) religiosa c) Pitágoras
c) científica
d) filosófica 03. El modo de producción que se practicó
e) moral hace muchos siglos atrás en Grecia (el
esclavismo) le permitió a algunos hombres
12. La Filosofía es un saber sistemático lo cual tener tiempo libre (ocio) que lo emplearon
significa que: en dedicarse a:
a) estudia aquellas leyes de máxima a) filosofar d) dormir
generalidad que gobiernan la realidad b) viajar e) trabajar
b) ante el fundamento o naturaleza de lo c) comprar esclavos
existente se plantea preguntas
169
04. Una actitud filosófica de tipo académica d) moral

implica dar respuesta a problemas e) pragmática
trascendentes de manera:
a) espontánea 08. No es una pregunta filosófica:
b) asistemática y ametódica a) ¿Quién soy?
c) casual b) ¿Lo existente tiene un principio ideal o
d) metódica y sistemática material?
e) no racional c) ¿Por qué estados atraviesa la materia?
d) ¿Cuál es la fuente de todo
05. Al filosofar se somete al rigor del análisis las conocimiento?
tesis planteadas por diversos autores, con e) ¿Por qué decimos que existen cosas
lo cual se estaría cumpliendo una de las bellas?
siguientes características del saber
filosófico: 09. Fue el primer filósofo de Occidente y está
a) crítica considerado como “Padre de la Filosofía
b) radical Antigua”:
c) problemática a) Platón
d) racional b) Thales
e) especulativa c) Anaximandro
d) Pericles
06. Indica la alternativa que no encierra un e) Sócrates
problema filosófico:
a) el hombre 10. ¿Por qué razón filosofamos?
b) el valor a) porque así encontramos problemas en
c) la realidad las cosas
d) las plantas b) sólo así podemos llegar a dios
e) el conocimiento c) para explicar desde una perspectiva
idealista del origen del hombre
07. La admiración que despierta en mi una d) sólo así podemos alcanzar la más justa
pintura que observo cuando voy de visita a orientación y sentido a nuestra
un museo, se puede considerar como existencia
resultado de una actitud: e) porque somos seres indiferentes a la
a) filosófica realidad en la que nos hallamos
b) estética
c) religiosa
170

Logica

Hochgeladen von

Dokumentinformationen

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

Logica

Hochgeladen von

Copyright:

Verfügbare Formate

Pre-Cadete “FERMIN TANGUIS”

ESTRUCTURA DE UNA INFERENCIA

A su vez las inferencias deductivas se dividen en:

P1: Todo cuzqueño es peruano.

c) sólo hay 2 premisas

15. Ubica la proposición simple: 8. Es una proposición simple:

Ejemplo: Carlos estudia y trabaja

1. Fuertes: Se vinculan a través del conectivo “O ... o ...”

2. Débil: Se vinculan a través del conectivo “o”.

Ejemplo: Si Carlos es un alumno aplicado entonces estudia mucho.

08. ¿Qué expresión de las siguientes

15. En el proceso de simbolización, son a) Hoy es fin de mes.

05. Identifica la simbolización correcta de “Si

06. Identifica la proposición que es compuesta

Rosa rio es empresa ria así como estudia nte universitaria .

a) Diádicos.- Se utilizan para representar a las conectivas (términos de enlace).

Para jerarquizar hay que tener en cuenta los siguientes requisitos:

REGLAS PARA JERARQUIZAR

01. En la disyunción débil cuando ambos

08. Sabiendo que el esquema: Determina el valor de verdad de las

09. Sabiendo que p  q es falsa, s  p es

07. Si ~ p ~ q  rq es una

En toda tabla de verdad encontramos:

El número de combinaciones se establece de acuerdo a la siguiente fórmula: 2n = K, donde:

1. Con signos de agrupación:

2. Sin signos de agrupación

La jerarquía se determina según el siguiente criterio:

01. En la conjunción cuando el primer valor es 08. Teniendo el siguiente esquema ( p  q ) 

02. Una condicional es falsa si: 09. Al evaluar la siguiente fórmula ( p  q )  p

01. Defina los valores de la matriz principal del

Cuidado precadete, una cosa es que la proposición A implique a la

a) condicional – tautológico 13. Simbolizar:

07. Si una proposición A implica a otra 14. Simbolizar:

07. Un elemento de la simbolización

08. “O el cartero olvidó el recado y prefirió no

09. “No es posible que Javier no deteste el

10. Se usa la ley de idempotencia para:

Son leyes lógicas que van a permitir la

1. Idempotencia 02. Señale la expresión equivalente a la

05. Señale la expresión equivalente a la d) Estoy estudiando una carrera o voy a la

15. “No es el caso que vaya a la playa o no e) No viajo en el Metropolitano o llego

Las implicaciones notables más importantes son las siguientes:

1. MODUS PONENDO PONENS (MPP)

2. MODUS TOLLENDO TOLLENS (MTT)

3. SILOGISMO DISYUNTIVO (SD)

4. SILOGISMO HIPOTÉTICO PURO (SHP)

03. La conclusión de “Si practico a diario,

5. “Claudio Pizarro fue ovacionado porque b) [(p→q)Λ~q]

10. ¿Cuál de los siguientes esquemas

d) No es cierto que juegue futbol.

05. Si estudio, ingreso. Si ingreso, me casaré

06. Escucho música o juego futbol. No juego

LAS PROPOSICIONES CATEGORICAS

Sujeto: Es de quien se afirma o se niega algo. (S)

Tipos de proposiciones categóricas

a. Universales : Todos - ningún

a. Afirmativa muestra relaciones de inclusión

01. La lógica predicativa estudia a las

02. La fórmula Si P representa a proposiciones d) Ningún S es P

03. Las proposiciones categóricas de forma S P

15. Señala la proposición de tipo particular d) Algún día viajaremos.

DEFINICIÓN DE SILOGISMO CATEGÓRICO

P1: Todos los cuerpos celestes están en el espacio.