Documente Academic
Documente Profesional
Documente Cultură
OBJETIVOS
INTRODUCCIÓN
I. DEFINICIÓN DE PROPOSICIÓN
1 Prof. Miguel
Valverde Morales
RAZONAMIENTO LÓGICO
Ej.: Las palabras son enanos, los ejemplos son gigantes. (Proverbio Suizo)
– Sin Sentido:
Ej.: Algunos pitos son dulces a la “ene”.
2 2 2
Ej.: (a + b) = a + 2ab + b (Es una identidad matemática)
Ej.: –(p q) = p –q (Es una equivalencia)
Ej.: y+5=5+y (Es una ley)
Ej.: x+5=x+6 (Es proposición, ya que es un enunciado
falso para cualquier x).
– Proposiciones de existencia:
Ej.: Hay ingenieros.
Debe traducirse como: "Tal lugar está lleno de ingenieros"
A) Predicativas:
Son aquellas que atribuyen o describen cualidades del sujeto en la proposición.
Ejemplos:
- César Vallejo fue poeta.
- La matemática es exacta.
B) Relacionales:
Son aquellas que indican relación entre 2 o más sujetos.
Ejemplos:
Observaciones
Ejemplo:
La matemática es una ciencia formal.
Ejemplo:
La filosofía no estudia las formas de pensamiento.
2. POR SU CANTIDAD:
Está determinada por la extensión en que ha sido tomado el sujeto de la proposición.
Puede ser:
Ejemplo:
3) POR SU MODALIDAD:
De acuerdo al grado de certeza o seguridad de lo que se dice en la proposición.
Puede ser:
Ejemplo:
Ejemplo:
Ejemplo:
PROBLEMAS PROPUESTOS
01.Los siguientes enunciados son
proposiciones: 04.- No son proposiciones lógicas:
1. ¡Silencio por favor! 1) a + b = b + a.
2. ¡Siéntate ahora! 2) ¡Qué calor este verano full playa!
3. Regresaré pronto 3) Hueso y pellejo fueron perros
4. Hasta luego salvajes.
5. Llegaré temprano 4) El Perú es mendigo sentado en
No son correctas: un banco de oro.
5) Pitita estudia en Lobachevsky.
a) 1, 2, 3 b) 2, 3, 4 Son correctas:
c) 3, 4, 5 d) Todas a) 1, 2, 3 b) 2, 3, 4
e) N.A. c) 3, 4, 5 d) Todas
e) N.A.
02.Son proposiciones simples:
1) Si llegas temprano haremos 05. Son proposiciones individuales:
fiesta. 1) La Luna es el único satélite
2) Carlos trabaja o juega. natural de la tierra.
3) O tienes sed o tienes hambre. 2) La tierra es el quinto planeta
4) La lluvia moja la pista. más grande del Sistema Solar.
5) La uva es cereal. 3) El sol es una estrella que se
Son incorrectas: encuentra en el centro del
sistema solar.
a) 1, 2, 3 b) 2, 3, 4 4) Sucre es capital de Bolivia.
c) 3, 4, 5 d) 1, 3, 5 5) Santiago no es capital del
e) 4 y 5 Ecuador.
Son no incorrectas:
03.No son proposiciones los siguientes
enunciados: a) 1, 2, 3 b) 2, 3, 4
1) Cinco es un número par. c) 3, 4, 5 d) todas
2) Dios mío, ayúdame. e) N.A.
3) Sería bueno ingresar a la “U”
4) Alan es el presidente. 06. Son proposiciones compuestas:
5) 8 + 5 = 12 1) Si hay lluvia, me mojo
Son incorrectas: 2) Al hacer calor, transpiro
3) Al correr, me deshidrato
a) 1, 2, 3 b) 2, 3, 4 4) Corro o hago planchas.
c) 3, 4, 5 d) 1, 3, 4 5) Si no viajo, entonces estudio
e) 1, 4, 5 Son correctas:
e) 3, 4, 5
a) 1, 2, 3 b) 2, 3, 4
c) 3, 4, 5 d) Todas 10.Son proposiciones coligativas:
e) N.A. 1) 2 es un número y representa dos
unidades.
07.Son proposiciones lógicas: 2) La palabra “lima” tiene varios
1) A buen entendedor pocas significados.
palabras. 3) 5 es un número primo e impar.
2) Es congresista del Perú. 4) Al ser hoy día jueves, el día
3) 8 + 3 = 6 viernes será mañana.
4) “Plátano”, es una palabra de 5) Los institutos son instituciones
ocho letras. de educación superior.
5) El petróleo es mineral. No son correctas, excepto:
Son correctas:
a) 1, 2, 3 b) 2, 3, 4
a) 1, 2, 3 b) 2, 3, 4 c) 3, 4, 5 d) 1, 3, 4
c) 3, 4, 5 d) 1, 3, 5 e) 2, 4, 5
e) 1, 4, 5
08.Son proposiciones moleculares:
1) No solamente bailo, sino 11.De las proposiciones, es relacional:
también juego.
2) Al llover, la cosecha será muy a) Ellas son extranjeras.
buena. b) Maruja come una manzana.
3) Ya que estudio, seré profesional. c) Nosotros somos peruanos.
4) Siempre que haya producción, d) Juana es Chimbotana.
habrá empleo. e) Lee y escribe a la vez, Lucía.
5) O bien postulo a la “UNT” o bien
trabajo. 12.De las siguientes oraciones:
Son correctas: 1) “La potencia de un producto es
igual al producto de las
a) 1, 2, 3 b) 2, 3, 4 potencias”, es una propiedad del
c) 3, 4, 5 d) Todas algebra.
e) N.A. 2) La chilindrina es un personaje
del Chavo del Ocho”.
09. Son proposiciones atómicas: 3) “La caja Trujillo” es una
1) El Nilo es río americano. institución financiera.
2) El Amazonas es río africano 4) ¿Recuperaré mi dinero?
también americano. 5) Ningún número primo es
3) El Misti es un nevado incluso un divisible por cinco”
volcán. Son proposiciones, excepto:
4) La Universidad Nacional de
Trujillo es una institución a) 1, 2, 3 b) 2, 4 y 5
pública. c) 3, 4, 5 d) 1, 2, 5
5) El Instituto Nacional de Cultura e) Sólo 4
es institución privada.
Es absurdamente falsas: 13.Las proposiciones lógicas son:
1) De carácter bivalente
a) 1, 2, 3 b) 2, 3, 4 2) Válidos no válidos
c) 1, 4, 5 d) 1, 3, 5 3) Verdaderas o falsas
A) 1, 2 y 3 B) 2, 3 y 4 A) 1 y 5 B) 2, 3 y 4
C) 3, 4 y 5 D) 1, 3 y 4 C) 1, 3 y 5 D) Todas
E) 1, 4 y 5 E) N. A.
OBJETIVOS
INTRODUCCIÓN
Aristóteles es considerado el “Padre de la lógica formal antigua”, ya que por primera vez
usó ciertas abreviaturas para facilitar su teoría de silogismos. Posteriormente Gotlob
Frege, elaboró una teoría de formalización, haciendo uso de constantes y variables.
I. DEFINICIÓN
1. VARIABLES
Ejemplo:
El agua es necesario para la vida: p
3+2 = 2+3 : q
Conectores principales:
Conector
Ejemplo:
p q r (fórmula implicativa)
p q r (fórmula biimplicativa)
En el primer ejemplo como “” tiene mayor jerarquía que “” y “”, entonces
agrupamos:
(p q) r
Quedando como conector principal (implicativa) el de mayor jerarquía.
Ej.
(p q) r
II. PROCEDIMIENTO PARA FORMALIZAR
Formalización: (p)
Formalización: p q r
Formalización: (p q) (r s)
Formalización: p q
Formalización: p q
Formalización: p q
b) Términos modificadores
Al combinar la “o” con los términos modificadores: sólo, solamente,
únicamente, exclusivamente, prioritariamente; se obtiene una “o”
excluyente.
Formalización: p q
c) Por su contenido
Cuando las proposiciones no pueden ser verdaderas a la vez.
Ej.
El Perú se ubica en América o Europa.
Formalización: p q
En este caso a pesar que sólo tiene una “o” se formaliza con disyuntor
excluyente, dado que si es verdad que Perú está ubicado en América
entonces, sería falso que Perú esté ubicado en Europa y viceversa.
Formalización: p q
Formalización: p q
S i h a y in fla c ió n , e n to n c e s s u b e n lo s p r e c io s .
A n te c e d e n te C o n s e c u e n te
C o n d ic ió n C o n d ic ió n
s u f ic ie n t e n e c e s a r ia
En el ejemplo anterior:
Luego:
6. EL REPLICADOR (, )
Traducción: ....si.....
Símbolos : pq, pq
Ejemplos:
Formalización: p q
Formalización: p q
Formalización: p q
7. EL BIIMPLICADOR (Bicondicionador, coimplicador o Equivalorador)
Formalización: p q
Formalización: p q
Formalización: p q
Traducción: ni....ni....
Símbolos : pq
Ejemplos:
Ni llueve ni nieva.
Formalización: p q
Formalización: p / q
Formalización: p / q
1. EL NEGADOR: A En absoluto se da A
No A, Nunca A, Jamás (A) (*) Es insatisfacible que A
Es incompatible que A Es insostenible que A
Es inconcebible que A Es inaudito que A
No ocurre que A No, no es cierto que A
No es verdad que A
No es el caso que A 2. EL CONJUNTOR: A B
No acaece que A AyB
Es mentira que A A sino B
Es inadmisible que A Aún cuando A, B
De ninguna forma se da que A A aunque B
En forma alguna A A pero B
Es incorrecto que A A sin embargo B
Es incierto que A A incluso B
Nadie que sea A A es compatible con B
Es objetable que A A así mismo B
Es absurdo que A A del mismo modo B
Es falso que A A aún cuando B
Es refutable que A A también B
Es falaz que A A de la misma forma que B
Es rebatible que A A al igual que B
Es dual formal de A Tanto A como B
Es inconsistente que A A simultáneamente B
En modo alguno se da A A no es incompatible B
PROBLEMAS PROPUESTOS
A) { (p q) (r s) } D) (p q) r
B) { (p q) [(r s) t] } E) p (q r)
C) (p q) [(r s) t]
D) (p q) (r t) 18.La expresión: “Sólo si juego cuando
E) N.A. no canto, no canto cuando duermo;
en vista de que ni duermo ni canto
15.La fórmula: (q r) p, se lee cuando juego”. Se formaliza:
correctamente:
1) Es suficiente que me prepare A) [(p q) (q r)] [(r q) p]
pero que no ingrese, para que B) [(p q) (q r)] [(r q) p]
consiga empleo C) (p q) [(r q) p]
D) (p q) [(r q) p]
2) Si Raúl enciende la luz del
E) [(p q) (q r)][(r q) p]
mismo modo como no prende
la lámpara, obviamente que
19.En la siguiente proposición
gastará menos energía
compuesta: “Suponiendo que
3) Es necesario que la proposición
mecánica, metalúrgica, industrial
sea la explicitación del juicio
inclusive también química son
aseverativo, para que tenga
carreras de ingeniería,
coherencia así como no
seguramente no tienen el mismo
ambigüedades.
director de escuela”
4) Los peces respiran por
¿Cuántas proposiciones simples se
branquias porque viven en el
pueden identificar?
mar y no en la tierra
A) 4 B) 5 C) 6
5) Ya que Martín es abogado pero
D) 7 E) 8
no es juez, podrá litigar
tranquilamente en el juzgado
20.La proposición: “Es incorrectamente
Son ciertas:
falso suponer que, si 2 es un
número par entonces su opuesto
A) 1, 2 y 5 B) 1 y 2 C) 3 y 4
es un entero. Sin embargo si es un
D) 1 y 4 E) N.A.
entero el opuesto de 2, luego es
un número negativo”, se formaliza:
16.La proposición: “Si es falso que la
lógica y la matemática sean
A) (p q) (r s)
ciencias formales, ni la lógica ni la
B) (p q) (r s)
matemática utilizan la inducción
C) (p q) (q r)
para demostrar sus principios” Se
D) (p q) (q r)
formaliza:
E) [(p q) (q r)]
A) (p q) (r s)
B) [(p q) (r s)]
C) [(p q) (r / s)]
D) (p q) (r / s)
E) (p q) (r s)
17.La proposición: “Los números 1, 2 y
CEPUNT II – I SUMATIVO 2008
3 son naturales consecutivos, sin
21.El enunciado: “Si el órgano del olfato
embargo los números 1 y 5 no son
es la nariz obviamente la nariz no
consecutivos” Se formaliza:
sirve para percibir sabores, pero los
A) p q
sabores son percibidos por el órgano
B) (p q r) (s t)
del gusto. Consecuentemente, el
C) p q órgano del olfato es la nariz o el
A) p (q r s)
B) p (q r) s
C) p q (r s)
D) p (q r s)
E) p (q r)
INSTITUCION EDUCATIVA
“LATINO”
VERDAD FORMAL
SAN PEDRO DE LLOC
OBJETIVOS
INTRODUCCIÓN
Se emplean en lógica para determinar los posibles valores de verdad de una expresión o
proposición molecular, haciendo uso de reglas de conectores lógicos. También se emplea
para demostrar que una inferencia es válida, mostrando que, efectivamente, es una
tautología.
Cada conector lógico posee convencionalmente ciertas reglas, las cuales son derivadas
principalmente de tres principios lógicos o fórmulas tautológicas denominados:
“PRICIPIOS LÓGICOS CLÁSICOS DEL PENSAMIENTO”
Ejemplo:
Si la lógica es ciencia formal, entonces es un una ciencia formal
Este principio establece: “Es imposible que una proposición sea verdadera y
falsa a la vez”
Esto significa que no puede ser cierto que una proposición se acepte
simultáneamente con su contrario: (p p)
Ejemplo:
No es el caso que un hombre sea mortal y al mismo tiempo no lo sea.
Esto significa que una proposición lógica es de carácter bivalente; solo puede ser
verdadera o falsa: p p
Ejemplo:
El número 7 es un número impar o no es impar.
2. TABLAS DE VERDAD
Es una gráfica que sirve para analizar esquemas moleculares, estos esquemas
dependen de los valores de las proposiciones componentes y la correcta aplicación de
las reglas veritativas correspondientes a sus conectores.
Una tabla de verdad tiene elementos, éstos son:
Variables Fórmula
Lógicas p q (p q) p
Lógica
1 1 1 0 0
Arreglos 1
1 0 0 1 0
1
0 1 0 1
1
0 0 0Matriz Principal
2n = Nº de arreglos por
Donde:
n: El número de variables con los que cuenta el esquema molecular.
2: Son los valores verdaderos (1) y falso (0) que se van a combinar.
3.1. EL NEGADOR
“Si una proposición es verdadera, su negación será falsa y viceversa”
A A A -A
V F 1 0
F V 0 1
3.2. EL CONJUNTOR
“Una proposición conjuntiva es verdadera cuando todos sus
componentes son verdaderos. Es falsa cuando por lo menos uno de sus
componentes es falso”
A B A x B
V V V 1 1 1
V F F 1 0 0
F F V 0 0 1
F F F 0 0 0
A B A + B
V V V 1 1 1
V V F 1 1 0
F V V 0 1 1
F F F 0 0 0
A B A B
V F V 1 0 1
V V F 1 1 0
F V V 0 1 1
F F F 0 0 0
3.5. EL CONDICIONAL
“Una proposición condicional solo es falsa cuando el antecedente es verdadero y
el consecuente falso. En los demás casos la proposición será verdadera”.
A B A B
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F V F 0 1 0
3.6. EL BICONDICIONAL
“Una proposición Bicondicional es verdadera cuando todo sus componentes son
iguales. Es falsa si sus componentes tienen valores diferentes”.
A B A = B
V V V 1 1 1
V F F 1 0 0
F F V 0 0 1
F V F 0 1 0
A B (A B ) A B
1 1 1 1 0 1 1
1 0 0 1 0 0 0
0 1 1 1 1 1 1
0 0 1 1 1 1 0
M A T R IZ P R IN C IP A L
4.2. Contingente
Es aquella que en su matriz principal contiene por lo menos una verdad y una
falsedad.
Ejemplo:
A B (A B ) A B
1 1 1 1 0 1 1
1 0 0 1 0 0 0
0 1 0 0 1 1 1
0 0 0 0 1 1 0
M A T R IZ P R IN C IP A L
Observe que en la matriz principal de la tabla de verdad existen valores verdaderos (1)
y falsos (0), entonces el esquema es contingente. Los valores unos y ceros pueden
estar ubicados de diferente manera.
A B (A B ) A B
1 1 1 0 0 0 1
1 0 1 1 1 0 0
0 1 0 0 0 0 1
0 0 0 1 1 0 1
M A T R IZ P R IN C IP A L
p q p q p q p q p q p q p q p q p q p | q
1 1 0 0 1 1 1 1 0 1 0 0
1 0 0 1 0 1 0 1 1 0 0 1
0 1 1 0 0 1 1 0 1 0 0 1
0 0 1 1 0 0 1 1 0 1 1 1
OBSERVACIÓN:
Los esquemas moleculares, según su matriz principal, se puede clasificar
también como:
PROBLEMAS PROPUESTOS
01. La afirmación de G. Bush de que: deportista pero sus notas son
“Bin Laden está vivo o está muerto, excelente”, se pide determinar
no hay otra opción” se basa en la cuál de las siguientes afirmaciones
aplicación del principio lógico es falsa:
llamado:
A) Las notas de Armando son
a) Identidad excelentes salvo que sea buen
b) No contradicción deportista
c) Tercio excluido B) Es falso que Armando o sea
d) Silogistico buen deportista o sus notas no
e) Dialéctico sean excelentes
C) Armando es deportista siempre
1. Con la siguiente proposición y cuando sus notas no dejen
verdadera: “Armando no es se ser excelentes
D) Armando no es deportista
E) Mas de una es correcta A) p q B) p
C) q
04. Sean las variables definidas por: D) q p E) 1
p: Parménides introdujo el
principio de Identidad 07. Si: p * q = q;
q: los esquemas tautológicos son el valor final de (p * q) * p; es:
consistentes
r: Toda contingencia es A) VVFF B) FFVV
inconsistente C) VFFV D) FVFV E) VFVF
INSTITUCION EDUCATIVA
“LATINO”
EQUIVALENCIAS
SAN PEDRO DE LLOC
LÓGICAS
OBJETIVOS
INTRODUCCIÓN
El tema central de la lógica es el estudio de las inferencias. Cada inferencia es una
estructura de proposiciones donde a partir de una o más proposiciones llamadas premisas
se deduce otra proposición llamada conclusión.
Con palabras de Quine podemos afirmar 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, p.72]. Esto indica en gran medida que la lógica debe
determinar mediante técnicas o métodos si una proposición sigue necesariamente o no a
otra proposición.
De acuerdo al número de premisas podríamos llamar inferencias Inmediatas a aquellas
que solo constan de una premisa; en caso contrario el razonamiento sería una inferencia
Mediata.
EQUIVALENCIA LÓGICA
La equivalencia lógica es una relación que existe entre dos fórmulas que tienen sus
matrices finales idénticas, de tal manera que al unirlas bicondicionalmente resulta una
tautología.
Ejemplo:
Probar que la formula p q es equivalente a la fórmula –q –p
Solución
Pongamos las fórmulas lógicas p q y –q –p unidas por el bicondicional en una
tabla de verdad, y analicemos sus valores.
p q (p q) ( q p)
1 1 1
1 0 1 0
1
1 0 0 1 1 0 0
1
Como se observa, tenemos un esquema tautológico; por lo tanto, podemos afirmar que
0 1 1 0 1 1
las fórmulas p q y –q –p son equivalentes (), y lo expresamos simbólicamente
1 1 1
como:
0 0 1
p q –q –p
Afirmamos que la proposición, “Es falso que Pepo y Franco son estudiantes de maestría”,
equivale a “Pepo no estudia maestría a menos que Franco no estudie maestría”
Solución
En efecto, formalizando la proposición dada, tenemos (A B) A B. Ahora
analicemos formalmente esta fórmula lógica.
A B (A B) A B
p)
1 1 0 1 1 0 0 0
1
1 0 1 0 1 0 1 1
1
0 1 1 0 1 1 0
1 1 1
Como obtenemos un esquema 0 tautológico,
0 1 queda 0 demostrada tal afirmación.
Usted puede observar que aparentemente en un lenguaje común tales proposiciones no
son equivalentes, pero, cuando se analiza mediante la tabla de verdad quedan despejadas
las dudas.
Al analizar la equivalencia lógica mediante tablas de verdad, usted podrá deducir que
existe una cantidad infinita de fórmulas equivalentes, puesto que siempre será posible
encontrar esquemas bicondicionales que resulten tautologías, pero este trabajo de la
aplicación de tablas de verdad para verificar esquemas equivalentes es engorroso, por eso
nosotros estudiaremos solamente las equivalencias notables que ya están demostradas.
EQUIVALENCIAS NOTABLES
EQUIVALENCIAS NOTABLES
1. DOBLE NEGACIÓN
La doble negación equivale a una afirmación. El número de negaciones que afectan
una fórmula o esquema pueden eliminarse de par en par.
(p) p
c) p q p q
d) p q ( p q)
Ejemplo 2:
Dada la proposición: “Es absurdo que José no sea arquitecto ”, hallemos el equivalente
por doble negación.
Formalización: (p)
2. CONMUTACIÓN
La conmutación cambia el orden de las variables, manteniendo el signo de cada
proposición y los conectores usados son: (, , , , , /).
pq qp
pq qp
pq qp
pq qp
Ejemplo 2:
Dada la proposición: “Luís juega fútbol además básquet”, hallemos el equivalente por
conmutación
Formalización: p q
Regla de equivalencia: p q q p
3. LEY DE MORGAN
La ley De Morgan distribuye el negador externo a cada una de las variables incluyendo
al conector principal y los conectores usados son: (, , , /)
(p q) p q
(p q) p q
a) p q (p q)
b) p q (p q)
c) (p q) p q
d) p q (p q)
e) (p q) p q
Ejemplo 2:
Dada la proposición: “Es falso que José es abogado salvo que sea economista ”,
hallemos el equivalente por la ley de Morgan
Formalización: (p q)
La regla de equivalencia sería: (p q) p q
p q p q
e) p q (p q)
Ejemplo 2:
Dada la proposición: “Si viajo al extranjero, entonces seré feliz ”, hallemos el
equivalente por la definición del implicador:
Formalización: p q
Regla: p q p q
Luego, el equivalente sería: “No viajo al extranjero a menos que sea feliz ”.
5. CONTRAPOSICIÓN
Esta regla cambia el orden de las variables alterando el signo de cada una de ellas y
los conectores con que trabaja son: (, , )
p q q p
Ejemplo 1:
1) p q q p
2) P q q p
3) p q q p
4) p q q p
5) p q q p
Ejemplo 2:
Dada la proposición: “Si la Tierra gira alrededor del Sol, entonces es el centro del
universo”, hallemos el equivalente por contraposición
Solución: Asignando variables a las proposiciones
p = La Tierra gira alrededor del Sol.
q = La Tierra es el centro del universo.
Formalización: p q
Regla: p q q p
6. ASOCIACIÓN
Es un esquema donde hay cadenas de conjunciones, disyunciones o bicondicionales,
sus elementos se pueden agrupar indistintamente. Los conectores usados son: (, ,
, ).
p (q r) (p q) r
p (q r) (p q) r
Ejemplo:
Dada la proposición: “Estudio, además trabajo y hago deporte”, hallemos el
equivalente por asociación
Solución:
Formalización: p (q r)
Regla: p (q r) (p q) r
7. DISTRIBUCIÓN
Permite distribuir una variable o una fórmula, es aplicable siempre que tengamos
conectores diferentes en el esquema lógico. Los conectores usados son: (, , ).
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Ejemplo:
Dada la proposición: “Seré feliz, salvo que viaje al extranjero y trabaje”, hallemos el
equivalente por Distribución
SOLUCIÓN:
Formalización: p (q r)
Regla: p (q r) (p q) (p r)
Luego, el equivalente sería: “Seré feliz a menos que viaje al extranjero; sin embargo
seré feliz salvo que trabaje”.
8. ABSORCIÓN
Es una relación conjuntiva o disyuntiva de una proposición, con la disyunción, o
conjunción, de dicha proposición con otra(s) variable(s)
Caso I
Cuando la variable se repite exactamente, se tiene como equivalencia dicha variable:
p (p q) p
p (p q) p
Ejemplos:
a) p (p q) p
b) p (p q) p
c) p (p q) p
d) p (p q) p
e) p (p q r s) p
Caso II
Cuando la variable que se repite cambia de signo, se tiene como equivalencia lo que
está fuera más lo que no se repite.
p (p q) p q
p (p q) p q
Ejemplos:
a) p (p q) p q
b) p (p q) p q
c) p (p q r s) p (q r s)
d) p (p q) p q
e) p (p q) p q
Ejemplo:
Dada la proposición: “Hay sequía, pero hay sequía o llueve ”. Hallemos el equivalente
por Absorción
Solución:
Formalización: p (p q)
Regla: p (p q) p
Ejemplos:
a) p q p q
b) p q (p q)
c) p q (p q)
d) p q p q
e) p q (p q)
f) p q (p q)
Ejemplos:
a) p q (p q)
b) p q p q
c) p q p q
d) p q p q
e) p q (p q)
f) p q p q
DEFINICIÓN 1
“p q” se utiliza para indicar que “p” es causa para “q” pero también “q” es causa
para “p”, es decir, “p implica a q” y “q implica a p.
Formalmente:
p q (p q) (p q)
p q (p q) (p q)
DEFINICIÓN 2
Esta definición esta motivada por la definición de los valores de verdad del
biimplicador. Esto es, la fórmula lógica p q es verdadera si p y q son verdaderas, o,
si p y q son falsas.
Formalmente:
p q (p q) (p q)
Ejemplos:
a) p q (p q) (q p)
b) p q (p q) (q p)
c) p q (p q) (p q)
d) p q (p q) (p q)
p q (p q) (p q)
p q (p q) (p q)
p q (p q) (p q)
Ejemplos:
Dada la proposición: “Estudio o sólo ingreso”. Hallemos el equivalente por definición
del disyuntor excluyente
Solución:
Formalización: p q
Regla: p q (p q) (p q)
Equivalencia: “No estudio e ingreso. Salvo que estudie pero no ingrese”
12.EXPORTACIÓN
Es una equivalencia de condicionales cuyos antecedentes y consecuentes alteran su
composición. El antecedente del primer miembro, que es una conjunción, se
transforma en una variable, y el consecuente, que es una variable, se transforma en
un condicional. Las variables del antecedente conjuntivo pasan a ser antecedentes. La
primera es antecedente del esquema condicional de mayor jerarquía y la segunda es
antecedente del condicional de menor jerarquía.
(p q) r p (q r)
Ejemplos:
a) (p q) r p (q r)
b) (p q) r p (q r)
c) p (q r) (p q) r
d) p (q r) (p q) r
13.MUTACIÓN
p (q r) q (p r)
Ejemplos:
a) p (q r) q (p r)
b) p (q r) q (p r)
c) (q r) (p r) p [(q r) (p r)]
d) p [(q r) r] (q r) (p r)
14.EXPANSIÓN
p p (q q)
p p (q q)
p q p (pq)
pq q (pq)
15.IDEMPOTENCIA
Consiste en “repetir” una proposición todas las veces que se quiera pues siempre
equivale a una sola vez.
ppp
ppp
Ejemplos:
a) ppp
b) ppp…pp
c) pp=p
d) ppp…pp
e) p p = p
f) (p q) (p q) (p q) (p q)
16.IDENTIDADES
Consiste en relacionar una variable con una tautología (1) o con una contradicción (0)
En todo momento se pueden obtener estas equivalencias utilizando tablas de verdad
p 1 p
p 0 0
p 1 1
p 0 p
Ejemplos:
a) p11
b) p 0 p
c) p1p
d) p 0 p
e) p0p
f) p1p
g) p01
17.LEY DE COMPLEMENTO
Consiste en relacionar una proposición con la negación de dicha proposición.
p p 0
p p 1
PROBLEMAS RESUELTOS
1. ¿Qué fórmula equivale a? “p – q” D) –(p –q) –p q p q
A) q p B)p q C)–p q (Morgan y Condicional)
D) –(p –q) E) –(p q) E) –(p q) –p –q p –q
(Morgan y Condicional)
Solución: Clave E
A) q p –p –q (Contrapoisción)
B) p q –p q (Def. Condicional) 2. Dados los enunciados:
C) –p q p q (Def. Condicional) I) –(p –q) II) –(p –q)
III) q –p
Son equivalentes:
A) Sólo I y II B) Sólo II y III 1. –(–E –A) E A
C) Sólo I y III D) Todas E)N. A. (Morgan)
2. E A
Solución: 3. –(A –E) –(–A –E) A E
(Condicional y Morgan)
I) –(p –q) –(–p –q) p q 4. –(–A –E) A E
(Condicional y Morgan) (Morgan)
II) –(p –q) –p q 5. A E E A (Conmutación)
(Morgan)
III) q –p –p q (Conmutación) Clave D
Clave B
4. La proposición: “No es el caso que la
3. La proposición: teoría de la relatividad no sea exacta y
“Es mentira que si estudio Einstein diga la verdad”. Equivale a:
razonamiento lógico no apruebo el 1. La teoría de la relatividad es exacta
curso”, equivale a: a no ser que Einstein no diga la
verdad.
1. Es objetable que no estudio 2. Si la teoría de la relatividad no es
razonamiento lógico a menos que exacta, se deduce que Einstein no
no apruebe el curso. dice la verdad.
2. Estudio razonamiento lógico 3. Siempre que Einstein diga la
además apruebo el curso. verdad, consecuentemente la teoría
3. Es falso que dado que apruebo de la relatividad es exacta.
razonamiento lógico, así pues no 4. La teoría de la relatividad no exacta
estudio. además Einstein decía la verdad.
4. Es inadmisible que no apruebo el 5. Dado que la teoría de la relatividad
curso salvo que no estudie es exacta, luego Einstein dice la
razonamiento lógico verdad.
5. Apruebo el curso sin embargo Son ciertas:
estudio razonamiento lógico. A) 1, 2, 3 B) 2, 3, 4 C) 1, 3, 5
Son correctas: D) 1, 2, 4 E) Todas
A) 1, 3, 5 B) 2, 3, 4 C) 1, 2, 4
D) Todas E) N. A. Solución: Base: –(–E V) E –V
1. E –V
Solución:
2. –E –V E –V (Condicional)
Formalizando la base y las alternativas, 3. V E –V E (Condicional)
luego aplicando las leyes 4. –E V
5. E V –E V (Condicional)
Base: –(E –A) E A Clave A
(Condicional y morgan)
PROBLEMAS PROPUESTOS
A) (q • p) Equivale a:
B) [(p • q) (q • p)]
C) (p • q) (q • p) A) 1 B) 0 C) C B
D) [(p • q) (q • p)] D) C B E) C A
E) (p • q) (q • p)
ORDINARIO 2008 – I UNT (Letras)
ORDINARIO 2008–I UNT (Cienc.) 07.El esquema molecular:
03.Al simplificar la fórmula lógica: [(p q) r] [r (p q) ],
[(p q) (p / q)] [(p q) (q p)] es:
1. Consistente 2. Tautológico
Se obtiene: 3. Contradictorio 4. Verdadero
A) (p q) (q p) 5. Inconsistente
B) (p q) (p q)
C) (p q) (p q) Son ciertas:
D) (p q) (p q) A) 1 y 3 B) 1 y 4 C) 2 y 4
E) (p q) (p q) D) 3 y 5 E) 4 y 5
Al simplificar: Equivale a:
{[(p % q) q] [p (p % q)]} p A) p B) q (p p)
Se obtiene: C) p q D) p q
A) q p B) p q E) q
C) p q D) p q
E) q p
Son ciertas A) 1, 3 y 4 B) 2, 3 y 5
A) 1, 2 y 3 B) 1, 3 y 5 C) 2, 4 y 5 D) 3, 4 y 5
C) 2, 3 y 4 D) 2, 4 y 5 E) Sólo 2 y 5
E) 3, 4 y 5
INSTITUCION EDUCATIVA
“LATINO”
CIRCUITOS LÓGICOS
SAN PEDRO DE LLOC
OBJETIVOS
INTRODUCCIÓN
I) CIRCUITOS A CONMUTADORES
1. Los Interruptores
También llamados conmutadores son los elementos que participan en una
instalación eléctrica; son de 2 tipos:
A) Conmutador Cerrado
Permite el paso de la corriente eléctrica y equivale a un dato verdadero que
numéricamente toma el valor 1.
B) Conmutador Abierto
Impide el paso de la corriente eléctrica y equivale a un dato falso que
numéricamente toma el valor 0.
2. TIPOS DE CIRCUITOS
A) Circuitos en serie
Constan de dos o más interruptores, donde un interruptor está a continuación
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 se representa:
p q
B) Circuitos en paralelo
Constan de dos o más interruptores, donde un interruptor está sobre otro o 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 se representa:
p
q
Para diseñar circuitos a conmutadores que contienen conectores distintos a los
disyuntivos o conjuntivos, es necesario utilizar las equivalencias lógicas hasta
obtener los conectores deseados.
Ejemplos:
– Fórmula Condicional: A B –A B
Entre los circuitos a compuertas lógicas se puede distinguir los del sistema ASA
(Americano) y del sistema ISO (Europeo).
A
B
A
B
A
B
e) El Biimplicador (A B): Función NOTXOR
A
B
A
B
A
B
A
B
A
B
Solución:
p
q
3º Luego al resultado se le diseña el conector que los une, en este caso el conjuntor.
p p q
(p q) (p q)
q
pq
[(p q) p] q
Solución:
Convertimos el condicional “” en disyuntor “”, mediante la definición del implicador.
[(p q) p] q [(p q) p] q
[(p q) p] q
[(p q) p] q
p
q
[(A B) (C D) (A C)] (B D)
Solución:
[(A B) (C D) (A C)] (B D) [(A B) (C D) (A C)] (B D)
[(A B) (C D) (A C) ] (B D)
A
B
C
D
A 1
A
&
B
A
1
B
A
= 1
B
A
=
B
PROBLEMAS PROPUESTOS
01.El circuito adjunto:
A Se formaliza:
A) (A B) (A B)
B
B) (A B) (A B)
C) (A B) (A B)
D) (A B) (A B)
A =
Se formaliza: =
A) p [(p q) q]
B =1
B) p [(q p) q]
C) p [(p q) q] C =1
D) p [(p q) q]
=
E) p [(p q) q]
Se formaliza:
05.El circuito adjunto: A) [A (A B)] [(B C) C]
p 1 B) [A (A B)] [(B C) C]
C) [A (A B)] [(B C) C]
1 D) [A (A B)] [(B C) C]
q 1 E) [A (A B)] [(B C) C]
A ¬q
p
1. p ¬q
B
¬p
p q
2. ¬p ¬q p
Se formaliza: q
A) [(A B) (A B)] A
B) [(A B) (A B)] B Al conectarlos en paralelo se obtiene
C) [(A B) (A B)] B
D) [(A B) (B A)] B A) ¬q (p q) B) q (p s)
E) [(A B) (A B)] B C) ¬q (p q) D) ¬q (pq)
E) ¬q ¬ (p q)
EXON. 2008–I UNT (Ciencias)
10. El siguiente circuito a compuerta CEPUNT I – II SUMATIVO 2008
lógica: 13.El circuito:
p p
q q
r
s
Representa la fórmula
A) ¬ (p¬q) (¬r¬s)
B) ¬ (p¬q) ↮ (¬r¬s) En su forma simplificada equivale a:
C) (¬p¬q) ↮ (¬r¬s) A) (p q) (q p)
D) p¬q (¬rs) B) (p q) (p q)
E) p¬q (rs) C) (p q) (p q)
D) p q
E) p q
A) (A B) (B A) ¬p q
B) A (A B) B)
C) ¬ [A (A B)] r
D) A B
¬p
E) (A B) / A
q
C)
CEPUNT I – II SUMATIVO 2008 r
12.Dados los circuitos:
¬p
D) r ORDINARIO 2008–I UNT (Cienc.)
¬q 17.El diseño a compuertas:
¬p =
¬q p
E) & ≥1
¬r q
≥1
p
q
r
Es equivalente a:
Equivale a las fórmulas lógicas:
A) (¬p ¬r) (¬q r) 1. p ¬p 2. p q 3. ¬p p
B) ¬r 4. p / p 5. (p q) (p q)
C) ¬p r Son ciertas:
D) (p q) ≢ (¬r q) A) 1, 4 y 5 B) 2, 3 y 4
E) ¬r ¬q C) 3 y 4 D) 4 y 5
a) (¬p ¬q) (s r) ¬q ¬r ¬q
b) (¬p ¬q) (q p) C) D)
c) (¬r s) (s r) p
qr
d) (¬p ¬q) ¬q
¬p
e) (p q) (¬s ¬r) E) ¬q
¬
EXON. 2007–II UNT (Ciencias) r
21.La compuerta lógica: ORDINARIO 2007–II UNT (Cienc.)
24.El siguiente circuito:
A
B p q r
q
p
Representa una matriz que se p q
caracteriza por tener:
1. Sólo valores verdaderos Se simplifica en:
2. 2 valores falsos
a) q b) p q c) r
3. Sólo un valor falso
d) 0 e) 1
4. 3 focos de luz ámbar
ORDINARIO 2007–II UNT (Letras)
5. 4 focos apagados
25.El circuito lógico:
Son correctas:
= 1
A) 1 y 3 B) 3 y 4 C) 2 y 4 p 1 1
D) 3 y 5 E) 4 y 5 q
Son ciertas:
A) 1, 2 y 5 B) 2, 3 y 4 C) 1 y 2
D) 2 y 5 E) Sólo 1
D) p A) 60 B) 75 C) 90
q D) 105 E) 120
E) (p & q) (q & s)
q A) A
B
Es equivalente a:
B) A
1. ¬ [(p p) (¬p q)] B
2. [(p ¬q) p]
3. pq C) A
4. –p–q B
5. p+q
D) A
Son ciertas, excepto: B
A) 1 y 2 B) 2 y 5 C) 2 y 4 E) A
D) 3 y 4 E) 4 y 5 B
CEPUNT I – III SUMATIVO 2005
ORDINARIO 2006 – II UNT (Cienc.) 36.El circuito:
33.La salida “R” del circuito lógico: &
A
p & 1 & R B
q
&
r & C
s 1
&
Es equivalente a:
Expresando con no más de 3 a) (AB) C
compuertas lógicas, es: b) ABC
c) A B C
A) (p q) & r d) A B C
B) (p q) & (r s) e) A B C
C) p (q s)
D) (p & q) (r & q) 37. El circuito adjunto:
INSTITUCION EDUCATIVA
“LATINO”
IMPLICACIONES
SAN PEDRO DE LLOC
LÓGICAS
OBJETIVOS
INTRODUCCIÓN
P1
P2 CONCLUSIÓN
P3
PREMISAS
Se dice que:
"A" implica a "B" cuando unidos por el condicional, "A" como antecedente y "B"
como consecuente, la relación es válida o mejor dicho, su esquema condicional
resulta ser tautológico.
Si
Si "A"
"A" implica
implica aa "B" entonces AA
"B" entonces BB representa
representa un
un
esquema
esquema tautológico.
tautológico.
Si AA
Si BB es
es tautológico
tautológico entonces
entonces "A"
"A" implica
implica aa "B".
"B".
69 Prof. Miguel Valverde
Morales
RAZONAMIENTO LÓGICO
p q (p q ) (p q )
V V V V V
V F F V V
F V F V V
F F F V F
T a u to lo g í a
Este ejemplo nos muestra que no es lo mismo el concepto condicional "Si A entonces B"
con el concepto implicación "A implica a B".
Cabe aclarar que si una fórmula "A" es equivalente a una fórmula "B" entonces podemos
decir que "A implica a B".
Si AA B,
Si B, entonces
entonces AA implica
implica aa BB
Pero esto no quiere decir que si "A implica a B" entonces "A es equivalente a B"
Si
Si AA implica
implica aa B,
B, entonces
entonces AA ≢
≢BB
Implicación
Equivalencia
P1
P2
.
:
Pn
( P 1 P 2 … Pn ) C
Conectores: (, )
AB [(A B) A] B
A
B
Otras formas:
AB AB
A B
B A
P1 : A B
P2 : B
A FALACIA FORMAL
Conectores: (, )
P1 : A B
P2 : –B
–A
A B B A
P1 : A B
P2 : –B
–A
A B B A
P1 : A B
P2 : – A
–B
A B A B
Excepción: Cuando el conector lógico en la primera premisa es
condicional; la negación del antecedente no implica la negación del
consecuente (Falacia formal).
P1 : A B
P2 : – A
–B FALACIA FORMAL
Conectores: ()
P1 : A B
P2 : A
–B
A B A B
P1 : A B
P2 : B
–A A B B A
D. Tollendo – Ponens (Negando - Afirmo) (M.T.P.)
Conectores: ( , )
P1 : A B Silogismo
P2 :– A Disyuntivo
B
A B A B
P1 : A B Silogismo
P2 : –B Disyuntivo
A
A B B A
P1 : A B
P2 : – A
B
A B A B
P1 : A B
P2 : –B
A
A B B A
Nota: No hay problema al trabajar con el Bidisyuntor en cualquiera de las dos reglas
anteriores (C y D).
Regla: Las dos premisas deben tener forma condicional. Tiene que
existir un término medio (que aparezca tanto en la primera como en la segunda
premisa).
Conectores: ()
P1 : A B
P2 : B C
A C
A B B C A C
P1 : B A
P2 : C B
C A
B A C B C A
Excepciones: El término medio no puede ser causa en ambas
premisas, ni tampoco ser en las dos premisas efecto.
P1 : A B
P2 : C B
A C FALACIA FORMAL
P1 : B A
P2 : B C
A C FALACIA FORMAL
Conectores: (, )
P1 : A B
P2 : C D
P3 : A C
B D
Conectores: (, )
P1 : AB
P2 : CD
P3 : B D
A C
Conector: ()
P1 : A B
P2 : B C
A C
A B B C A C
P1 : A B
P2 : C B
A C
A B C B A C
P1 : B A
P2 : B C
A C
B A B C A C
6. Conjunción.- Consta de dos premisas y una conclusión.
P1 : A
P2 : B
A B
A B A B
7. Simplificación.- Es una deducción inmediata porque está formada por una sola
premisa y una conclusión.
Conectores: ()
P1 : A B
A
A B A
P1 : A B
B
A B B
Excepciones: No es posible aplicar la simplificación cuando la premisa es
una fórmula conjuntiva.
P1 : A B
A FALACIA FORMAL
P1 : A
A B
A A B
Excepciones: La adición en la conclusión sólo es válida con el disyuntor;
mas no con el conjuntor.
P1 : A
A B FALACIA FORMAL
PROBLEMAS PROPUESTOS
EXONERADOS 2008–I UNT (Cienc.) D) 3 y 5 E) 4 y 5
01. De la proposición:
“El carbono es un constituyente ORDINARIO 2008–I UNT (Letras)
libre”. Luego: 04.Mediante la Forma Normal
Disyuntiva (FND) el esquema
A) Es falso que el carbono sea un molecular: p, es:
constituyente libre. 1. Verdadero 2. Tautológico
B) El carbono es un constituyente 3. No válido 4. Válido
libre y bien, o también 5. Contingente
combinado.
C) Tanto combinado como libre es Son ciertas:
el carbono. A) 1 y 2 B) 1 y 3 C) 2 y 4
D) O libre o combinado es el D) 3 y 5 E) 4 y 5
carbono.
E) Excepto que combinado o libre EXONERADOS 2008–I UNT (Cienc.)
sea el carbono. 05.De las siguientes estructuras
formales:
ORDINARIO 2008–I UNT (Letras) I. P1 : p q
02.Aplicando el criterio de Post, la P2 : r s
inferencia: “Si Jacinto es cantante P3 : p r
entonces ofrecerá una canción en el C :qs
teatro. Ocurre que Jacinto no ofreció
una canción en el teatro, por tanto, II. P1 : pq
Jacinto no es cantante” es: P2 : rs
P3 : p r
A) Falsa C : qs
B) Válida
C) No válida Podemos afirmar que:
D) No contradictoria
E) Consistente A) Solo I tiene estructura válida
B) Solo II tiene estructura válida
ORDINARIO 2008–I UNT (Letras) C) Ninguna tiene estructura válida
03.Mediante la Forma Normal D) Las dos tienen estructura válida
Conjuntiva (FNC) el esquema E) Ninguna es demostrable
molecular:
(p q) q; es: CEPUNT II – SUMATIVO 2007
06. De las premisas: “Si el Perú es un
1. No válido 2. Válido país dependiente, entonces es
3. Contradictorio 4. subdesarrollado”, además “El Perú
Tautológico es un país soberano o únicamente le
5. Contingente faltan puestos de trabajo”, pero “El
Perú no es subdesarrollado o le
Son ciertas: faltan puestos de trabajo”
A) 1 y 2 B) 1 y 3 C) 2 y 4
A) 1,2,3 B) 2,3,4
A) Es falso que no haya mundial
C) 3,4,5
sub-17.
D) Todas E) N.A.
E)1 y 2
INSTITUCION EDUCATIVA
“LATINO”
LÓGICA
SAN PEDRO DE LLOC
CUANTIFICACIONAL
OBJETIVOS
INTRODUCCIÓN
Ejemplo:
s u je t o p r e d ic a d o
To d o s lo s h o m b re s so n m o r ta le s
c u a n t i fic a d o r v e rb o
Como podemos observar la clase hombres (sujeto) está incluida totalmente en la clase
mortales (predicado). Cada proposición categórica se caracteriza porque posee cantidad y
cualidad.
A) SEGÚN SU CANTIDAD
Universal: Son aquellas proposiciones en las cuales se hace referencia a la totalidad
de la clase sujeto en relación con la clase predicado.
Ejemplos:
Todo investigador es estudioso.
Ningún insecto es mamífero.
Particular: Son aquellas proposiciones en las cuales se hace referencia a una parte
de la clase sujeto en relación con la clase predicado.
Ejemplos:
Algún médico no es cardiólogo.
Muchos felinos son herbívoros.
B) SEGÚN SU CUALIDAD
Afirmativas: Cuando el verbo que usamos para designar a alguna clase no está
afectada por la negación.
Ejemplos:
Todo gasto es felino.
Algún estudiante es responsable.
Ejemplos:
Algún médico no es cardiólogo.
Ningún felino es herbívoro.
LOS CUANTIFICADORES
También llamados CUANTORES, son términos que sirven para determinar la cantidad de
una proposición categórica y son de dos tipos:
A) Cuantificador Universal
(Universalizador o generalizador)
Símbolo: x
Se lee: “Todos los x” Para todo x, los x
Para cada x Cualquier x, la totalidad de x
El 100 % de los x Quienquiera que sea x
B) Cuantificador Particular
(Particularizador o existencializador)
Símbolo: x
Se lee: “Algún x” Existe x
Alguien, algo, alguno que sea x Hay al menos un x
Hay a lo más un x La mayoría, la minoría de x
Al menos un x Muchos, pocos x, Artos
Bastantes x Casi todo x
Tantos, Ciertos x Hay exactamente un x
Casi todos los x Casi ningún x
Casi todo x El 5% de los x
Existen cuatro formas típicas de representar a una proposición categórica. Estas son:
Cada una de estas proposiciones categóricas típicas los medievales la bautizaron con las
letras A, E, I, O. Así pues para identificar a una proposición universal afirmativa “Todo S es
P”, será suficiente decir “una proposición tipo A”.
Ejemplo:
Ejemplo:
“Todos son locuaces” equivale decir:
“Rita es locuaz y Rudolf es locuaz y Lito es locuaz”
x x ó x x
Sean las proposiciones categóricas típicas: A, E, I, O. Veamos las relaciones que podemos
encontrar:
PROBLEMAS PROPUESTOS
1. La proposición: “Sin lugar a dudas muchos son organizados”, equivale infinitamente
a:
1) Carlos o Eleazar son organizados
2) No todos no son organizados
3) Es falso que Martín y Eduardo no son organizados
4) Es mentira que nadie es organizado
5) No ocurre que no existan organizados
Son ciertas:
A) Todas B) 2, 3 y 4
C) 2, 4 y 5 D) Sólo 2 y 4
E) N.A.
A) 1, 2 y 3 B) Sólo 4 y 5
C) Sólo 1 y 2 D) 2, 4 y 5
E) Sólo 2 y 4
A) Sólo 4 y 5 B) 1, 2 y 4
C) 3 y 4 D) 1, 4 y 5
E) Sólo 1 y 2
A) 1, 2 y 3 B) 2, 3 y 4
C) Sólo 4 y 5 D) Sólo 3 y 4
E) 3 4 y 5
A) 1, 2 y 3 B) 3, 4 y 5
C) 2, 3 y 4 D) Sólo 4 y 5
E) 2, 4 y 5
7. La expresión “Claudio Pizarro y Jefferson Farfán no son científicos”, equivale a decir.
1) Existen no científicos
2) Ni Jefferson Farfán ni Claudio Pizarro son científicos
3) No hay científicos
4) Es inadmisible que, Jefferson Farfán son científicos salvo que Claudio
Pizarro sea científico
5) Es absurdo que cualquiera sea científico
Son ciertas.
A) Sólo 2, 3 y 4 B) Sólo 1 3 y 5
C) Sólo 2, 4y 5 D) Sólo 3 y 4
E) Todas
11. La expresión: “En modo alguno Chávez o Castro son demócratas”. No equivale a.
1) Es incierto que, si Chávez es demócrata Castro no sea demócrata
2) En modo alguno, si Chávez no es demócrata entonces Castro es
demócrata.
3) Quien quiera es demócrata
4) Es absurdo que algunos no son demócratas
5) Ni Chávez ni Castro son demócratas
Son ciertas.
A) Sólo 1, 3 y 5 B) Sólo 2 y 4
C) Sólo 2, 4 y 5 D) Sólo 1, 3 y 4
E) Todas
13. La proposición: “Es imposible que aunque sea una célula no es unidad morfológica”,
es equivalente a:
1) Nadie que sea célula es unidad morfológica.
2) Todo lo que es célula es unidad morfológica.
14. La proposición: “Es incierto que cada aerolito jamás es fragmento de astro”, equivale
a:
1) Existen aerolitos que no son fragmentos de astros.
2) La mayoría de no fragmentos de aerolitos son no aerolitos.
3) La minoría de aerolitos son fragmentos de astros.
4) Ciertos fragmentos de astros son aerolitos.
5) Es absurdo que todo cuerpo celeste no es aerolito a no ser
que tampoco es fragmento de astro.
Son correctas:
A) 1, 2 y 3 B) 2, 3 y 4
C) 3, 4 y 5 D) Sólo 3 y 4 E) Sólo 1 y 2
15. La proposición: “Solo los antichavistas son demócratas”, equivale a:
1) Todos los no chavistas son demócratas
2) Cualquier chavista no es demócrata
3) Es imposible que algunos antichavistas no sean demócratas
4) No hay chavistas que no sean no demócratas
5) Todos los hombres no son demócratas salvo que sean antichavistas
Son falsamente no ciertas:
A) 2, 3 y 5 B) 3 y 4
C) 1 y 3 D) 2, 4 y 5
E) Todas
16. La proposición: “Algunos son disciplinados a menos que sean responsables”, equivale
a:
1) Algunos son disciplinados a no ser que muchos sean responsables
2) Nunca ocurre que todos son irresponsables aún cuando cualquiera sea
indisciplinado
3) Suponiendo que cualquiera sea indisciplinado luego algunos serán responsables
4) Que todos no sean responsables es incompatible con que cualquiera sea
indisciplinado
5) No cualquiera no es disciplinado salvo que no todos sean irresponsables
Son ciertas:
A) 1, 2 y 3 B) 3, 4 y 5
C) 4, 2 y 1 D) Todas
E) Sólo 3 y 4
17. proposición: "Si cualquiera es roca, así pues muchas son rocas ígneas. Por lo tanto
cualquiera no es roca ígnea". Equivale:
18. La proposición categórica: “Todo soneto es poesía de la misma forma como algunos
sonetos son prosas; siempre y cuando muchas prosas no dejen de ser sonetos”,
equivale a:
Son ciertas:
A) 2 y 4 B) 2 y 5 C) 1 y 3
D) 1 y 4 E) 3 y 5
1. ( x) (Ax Vx)
2. ( x) (Ax Vx)
3. ( x) (Ax Vx)
4. ( x) (Vx Ax)
5. ( x) (AxVx)
Son ciertas:
A) 1 y 2 B) 1 y 3 C) 2 y 4
D) 3 y 4 E) 4 y 5
A) (x)(Fx) B) (x)(Fx)
C) (x) Fx D) (x)Fx
E) (x)Fx
Equivale a decir:
1. Hay un número que también no son infinitos.
2. Existen muchos no números que sin embargo son infinitos.
3. No es aceptable que cualquiera es número a menos que es finito.
4. Es inconcebible que todo es número salvo que no es finito.
5. Aunque sea uno de los infinitos no son números.
Son ciertas:
A) 1, 2 y 3 B) 1, 3 y 5
C) 2, 3 y 4 D) 2, 3 y 5
E) 3, 4 y 5
A) Sólo 2 y 5 B) 2, 3 y 5
C) Sólo 1 y 4 D) 1, 4 y 5
E) 3 y 4
Son ciertas:
A) 1, 3 y 4 B) 2, 3 y 5 C) 1, 2 y 5
D) 3, 4 y 5 E) 1, 2 y 4
Son ciertas:
A) 2 y 3 B) 2, 3 y 4 C) 3 y 4
D) 1 y 3 E) Todas
Es equivalente a:
1. Ningún no lógico es matemático.
2. Todos los no lógicos son no matemáticos.
3. Algunos matemáticos no son lógicos.
4. Ningún matemático es no lógico.
5. Algunos no lógicos son matemáticos.
Son Falsas:
A) 1 y 3 B) 4 y 5 C) 1 y 3
D) 3 y 5 E) 1 y 5
a) x (qx px)
b) x (px qx)
c) x (px qx)
d) x (px qx)
e) x (px qx)
A) “Algo no es mentira”.
B) “Ninguno es materia”.
C) “Es falso que algo no sea materia”.
D) “Es verdad que algo no sea materia”.
E) “Es materia o no materia”.
Ejemplo:
Ejemplo:
Ejemplo:
Ejemplo:
PM :Algunos cantantes son tenores
P M Premisas
Particulares
Pm : Algunos tenores son italianos
M S .
Conclusión
C: Algunos italianos son cantantes
Particular
S P
7. Falacia del Medio Ilícito
Cuando ninguno de los términos medios está distribuido por lo menos una vez, es
decir M no tiene cantidad universal (TODO)
Ejemplo:
Realizamos la distribución (Parte – Todo)
Ejemplo:
M (Todo) P (Parte)
C: Todos los seres vivos, son racionales
S (Todo) P (Parte)
Ejemplo: