Lógica Proposicional y Conectivos Lógicos
Cargado por
Cristian Barandiarán VargasLógica Proposicional y Conectivos Lógicos
Cargado por
Cristian Barandiarán VargasAcademia Preuniversitaria CIMA LÓGICA
LÓGICA
Lic. Jorge Cruz Portugal
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
LÒGICA PROPOSICIONAL
FUNCIONES VERITATIVAS 5. LA CONDICIONAL (→. - Representa al
conectivo “si ...entonces”, es falsa
1. CONJUNCIÓN (. - Representa al solamente cuando el antecedente es
conectivo “y”, es verdadera cuando las verdadero y el consecuente es falso,
dos proposiciones p y q son verdaderas, siendo verdadera en todos los demás
en cualquier otro caso es falsa. casos.
2. DISYUNCIÓN INCLUSIVA (v.- 6. NEGACION ALTERNA ( | )
Representa al conectivo “o”, es verdadera Llamada también Incompatibilidad.
si al menos una de las proposiciones Vincula dos proposiciones a través del
componentes es verdadera, resultando símbolo “|” , que se traduce como: “…es
falsa solo cuando las dos son falsas. incompatible con…”, “No…o No…”.
7. NEGACION CONJUNTA ( )
3. DISYUNCIÓN EXCLUSIVA (. - Llamada también binegacion. La
Representa al conectivo “o” en su sentido negación conjunta vincula dos
excluyente, es verdadera cuando
proposiciones a través del conectivo “ ”,
solamente una de las proposiciones es
que se traduce como: “Ni…Ni…”
verdadera y no las dos, resultando falsa
en otros casos.
8. LA BICONDICIONAL (. - Representa
al conectivo “si y solo si”, es verdadera
4. NEGACIÓN (~) - El valor de la negación
cuando las proposiciones componentes
de un enunciado es siempre opuesto al
tienen el mismo valor de verdad, en otros
valor de verdad del enunciado.
casos es falsa.
TABLA DE VERDAD DE LOS CONECTIVOS LOGICOS
P Q PQ PQ PQ P →Q P Q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
RELACIÓN ENTRE LA LÓGICA Y LA INFORMÁTICA:
Existe una íntima relación entre la lógica y la informática, puesto que la lógica constituye el fundamento
teórico de la informática, en cuanto comprende mejor las computadoras y su respectiva construcción de
lenguajes de programación.
Entre sus múltiples aplicaciones, la lógica se aplica a la tecnología. En este campo, la lógica se aplica a
la construcción de circuitos lógicos, y entre ellos los circuitos eléctricos, compuertas lógicas, los diagramas
de flujo, etc
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
6. Si el siguiente esquema es falso:
(pq)→rs→(rq)
PRÁCTICA 01 Indicar el valor de p, q, r, s
A) VFVF B) FVFV C) VVVF D) FFVV E)
FFFV
1. De los siguientes enunciados, es 7. Dado el esquema: (p r) → (p q)
proposición: falso, luego los valores de p, q y r son:
A) 100 B) 101 C) 001 D) 000 E) N. A.
A) No puede vivir sin ti.
B) ¿Me escuchas?
C) Don Quijote fue muy bueno. 8. Si la fórmula: {[(A → B) → C] (A B)} es
D) “Anita”, me pones nervioso. falsa entonces:
E) Los peces respiran por branquias. 1) A es verdadero.
2) B es falso.
2. Es proposición conjuntiva: 3) C es verdadero.
A) José y Cirila son novios. 4) A es falso.
B) Miguel y Claudia son vecinos. 5) A es falso y C es falso.
C) Ángel y Jorge se quieren mucho. Son ciertas:
D) El protón y el electrón son partículas sub A) 2, 3 y 4 B) 1 y 5 C) 2, 4 y 5
atómicas. D) 1 y 3 E) T.A.
E) El protón y el electrón se otorga
mutuamente. 9. Si la proposición compuesta:
( p q ) ( q r) es verdadera y las
3. Son proposiciones disyuntivas fuertes: proposiciones “s” y “t” tienen valor de
1) Miguel se fue a Lima por aire o tierra. verdad desconocido. ¿Cuáles de la
2) Vargas Llosa nació en Perú o España.
siguientes proposiciones son
3) El Dios Eros es el Dios del amor o del
rencor. verdaderas?.
4) Josefina cocina o escucha música. I. ps)q
5) Walter Alfredo estudia álgebra o II. (tq)→r
geometría. III. (s q) → q
A) 1,2,5 B) 2,3,4 C)3,4,5 A) Sólo I B) I y II C) I y III
D) 1,3,5 E) 1,4,5 D) II y III E) N. A.
4. Son proposiciones disyuntivas débiles: 10. Hallar el valor veritativo de cada una de las
1) Bolívar nació en Venezuela o en el Perú. siguientes expresiones proposicionales:
2) La inflación es causa de la crisis en el país I. (p q) r p (q r)
o lo es la falta de recursos naturales. II. (p q) → r p (q → r)
3) Es falso que, el agua potable sea tóxica o Sabiendo que: r → p ( q → r) es falso.
venenosa. A) VV B) VF C) FV D) FF E) N. A.
4) Los juegos de video producen
dependencia y/o distancia. 11. Si: (p → q) (p p) (r s) q es
5) Es inobjetable que el 9 sea un número verdadera, cuales son los valores de p, q, r
entero o natural. y s respectivamente:
Son ciertas: A) VFFF B) VFVV C) FVFF
A) 2 y 5 B) 2, 3 y 5 C)2,4y5 D) FVVV E) Faltan datos
D) 2, 3, 4 y 5 E) N.A.
5. Es proposición condicional: 12. Sabiendo que el valor de verdad de la
A) Si los dragones arrojan fuego entonces proposición compuesta:
son animales peligrosos. (p r) → q (p q) s → ( s p) →
B) Dado que los ángeles malos son t
tentadores por tanto vale alejarse de ellos. Siempre es falso, determinar el valor de
C) Puesto que hay contaminación minera verdad de la siguiente proposición:
luego la flora tiende a extinguirse. ( p q) r → q → (t → p) ( p q)
D) Todas A) V B) F C) V ó F
E) N.A. D) Tautología E) Contradicción
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
A) VVV B) VFV C) VVF
13. La proposición: (p q) (r s) es falsa D) FVV E) VFF
teniendo “r” y “s” valores de verdad
opuestos. ¿Cuál es el valor veritativo de 20. Los siguientes son falsos:
cada una de las siguientes proposiciones?. a) q(pq)(qp) b) p(pq)
i. ( p q ) ( r s) p
Señalar el valor de verdad de:
ii. (p q) (r s) ( p q)
iii. ( r s) → (p q) ( r s) I) (pq)(qp)
II) (pq)(qp)
A) VVV B) FVF C) VFV D) FFV E) N. A. III)
14. Si la proposición: (q → s) → (p → r) es III) p(qp)→(pq)
verdadera; hallar el valor de verdad de: A) VVV B) VFV C) FVF
i. ( s → q) (r → p) D) FVV E) VVF
ii. ( q s) (p r)
iii. ( p q r s) (p r) 21. Si: (r→s)→t r→(s→t) es falso. Señale
A) VFV B) FVV C) FVF D) VVV E) N. A. la verdad o falsedad:
I. (rs)→(st)
15. Sabiendo que la proposición “p” es II. (r→s)(t→s)
verdadera. ¿En cuales de las siguientes III. (r→s)tr→(st)
expresiones, es suficiente dicha
A) VVV B) FVV C) VFV
información para determinar el valor de
D) VVF E) FVF
verdad de cada una?
I) (pq)(pq)→p
II) II) (p→q)→(s→p)
III) pq→(s→p)]
A)En II y III B)Solo en II C)Solo en III
D)En I y II E)En I, II y III
16. Si la formula: [-(p q) (r → s)] es
verdadera; ¿qué implicación será falsa?
A) – [(- p → - q) → (r s)]
B) (p v q) → (r → s)
C) – (p v q) → (- r s)
D) (r v p) - (- q → p)
E) N.A.
17. Dado el siguiente esquema:
P q p q p
V V F … F V F
V F F … V V F
F V V … F F V
F F V … V V V
¿Qué conectivo debe ser (*) para satisfacer
las condiciones de la tabla?
A) B) C) → D) E)
18. La siguiente proposición es falsa:
(r→s)rs(rs)rt . Señale los
valores de verdad de r, s, t.
A) VVV B) VFV C) VFF
D) FVV E) FVF
19. Si el siguiente esquema es verdadero:
(pq)→(pq)(qs)(pq). Señale el
valor de verdad de:
I) (p→q)→s II) p→(q→s)
III) p→(q→s)
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
PRINCIPIOS LÓGICOS Y LEYES
T EM A
0 2
LÓGICAS
LEYES EQUIVALENTES O EQUIVALENCIAS NOTABLES
Permiten transformar y simplificar formulas lógicas:
(AB)CA(BC)
1. leyes de la ABSORCIÓN (AB)CA(BC)
A(AvB)≡A (AB)CA(BC)
Av(AB)≡A (AB)CA(BC)
A(~AvB)≡AB 11. Leyes distributivas:
Av(~AB)≡AvB A(BC)(AB)(AC)
A(BC)(AB)(AC)
2. Elemento Neutro A→(BC)(A→B)(A→C)
VAV A →(BC)(A →B)(A →C)
FAF 12. leyes bicondicionales:
VAA A B ( A B ) ( A B )
FAA A B ( A B ) ( ~A ~B)
A B ( A B)
3. A v ~A ≡ V A B ( A B ) ( A B )
A ~A F A B ( A B ) ( ~A ~B)
13. leyes de transposición:
4. leyes del condicional:
p → q ≡ ~ q →~ p
A→B≡~AvB
pq≡~q~p≡~p~q
A B B A A B
[Link]:
14. Unas más:
A B A B
A B AB
A B A B
A B A B
6. leyes de MORGAN A B A B
(AB)AB A B A B
(AB)AB 15. (A B) A A B
(A B) A A B
7. ley de involución (doble negación) : (A B) A A B
~(~A)≡A (A B) A A B
8. Ley de ídem potencia 16. A VA
AvA≡A A F A
AAA A V A
9. Leyes conmutativas : AFA
ABBA 17. A AV
AvB≡BvA A A F
AB≡BA A A F
A A V
ABBA
10. Leyes asociativas:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
13. Simplificar el esquema:{[(∼p ) ↓ q] ∨ (q ↓ p) } ↔ { [
(∼p ) ↓ ( ∼ q) ] ∨ ( p ↓ q) }
PRÁCTICA 02 a) ∼p ∧ q
d) p ∨ q
b) ∼ (p ∧ q)
e) N. A
c) ∼p → q
1. Determinar los esquemas más simples 14. Si definimos @ como: p @ q ≡ {∼p → [p → (q ∧ t
equivalentes a: ∧ r) ] }∧ p
(a) ∼[∼ (p ∧ q) → ∼q] ∨ p Simplificar: [(p → q) @ (q ∧ p) ] @ (p ↔ q).
(b) [ (p → q) ∨ ∼p ] ∧ (∼q → p) a) p b) p ∧ ∼q c) ∼p d) ∼q ∨ ∼p e) ∼p ∨ q
(c) [ p ∧ (∼r) ] ∨ [ (∼q )→ ∼(p ∧ r) ]
15. Se define el conector @ como: p @ q ≡ {[ (p Δ q)
2. Simplificar el esquema: p r p → ( q p) ∧ ∼q ] ∨ ∼q }∨ q
A) p q B) p r C) p D) p E) N. A. Simplificar el esquema molecular: {[ ∼ (p ∧ q) @
(t → w)] @ ∼q } @ ∼p
3. Simplificar el siguiente esquema: p → (q → p) →
q a) q b) ∼q c) ∼p d) p e) p ∧ q
A) p q B) p q C) (p q) D) q → p E) p → q 16. Si se define p # q ,por la tabla
4. Simplificar: (p → q) → (q → p) (p q) Simplificar:{(~ p # q) # ~ q} # {(p # q) # ~ p}
A) q B) q C) p D) p E) p q A) ~ p B) F C) p ν ~ q D) V E) N. A
17. Se define: p q
5. Simplificar la siguiente expresión: ∼ { (p ∧ q) ∨ [ p p q pq
∧ (∼p ∨ q) ] } ↔ (p → ∼q)
V V F
p q P #q V F V
V V F F V V
V F V F F V
F V F Simplificar:(p q) → p] p q
F F F A) p B) q C) p q D) p → q E) N. A.
18. Si: p q = ( q → p ) → p q p
a) V b) ∼p ∧ q c) p ∧ ∼q d) ∼p e) q Simplificar:
6. Simplificar el esquema: ∼[(p ∨ q) → ∼ (r → p)] ∨ (pq)(qp)p
∼(q → p) A) p B) p q C) p D) q E) N. A.
a) p ∨ q b) ∼p ∧ q c) p ∧ ∼q d) ∼p e) q 19. Si se define : p Θ q , por la tabla
Simplificar :
7. Simplificar: {[ (p → q) ∧ p] ∨ ∼(q → p)} → ∼(p ∨ ∼q)
M ={ [ ( ~ p Θ q ) Θ p ] → ( q Θ p ) }
a) ∼p ∧ q b) ∼(p ∧ q) c) ∼p → q
d) p ∨ q e) ∼(p ∨ q) A) ~ p B) ~ q C) p ν q D) p Λ q E) p → q
8. Simplificar el siguiente esquema: 20. Si: p q = ( p → q ) → p q p
( q p) ( p → q ) ( p q ) Simplifique:
(pr)q(pq)
p q PΘq (pr)
V V V A) p B) q C) p q D) p q E) p r
V F V
21. Si: p q FFVF. Simplificar:p (p → q) q
F V F
p
F F V
A) p B) q C) p q D) p → q E) N. A.
A) p q B) p q C) p
D) p q E) q 22. Se puede afirmar que:
p→(qr)[p(qr)]p(q→r)(pr)(r
9. Simplificar el siguiente esquema: p)
( p q ) → r ( q r ) → ( p → r ) ( r p A) A B) B C) 1 D) O E) B
)
A) p B) p q C) p r D) p r E) N. A. 23. Simplificar el siguiente esquema:
(qr) p(q(pr)(rp)(pq))p
10. Reducir la siguiente expresión:
(p → q) p (q → p) → (p q) A) q r B) p q r C) r q D) p E) q p
A) p q B) (p q) C) p → q 24. 24. Simplificar el siguiente esquema:
D) p q E) (q p) ((BC)(AC)(AB)(CA)(AC))B
11. Simplificar la siguiente expresión: A) A B B) A B C C) C B D) A E) N. A.
( p q ) → r ( q r ) → (p → r) ( r p )
A) p B) p q C) p r D) p r E) p r
12. Simplificar el esquema: p s p → (q s )
A) p q B) p s C) p D) p E) q
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
T EM A
0 3 EQUIVALENCIAS LÓGICAS
A) A B B) B C) A B D) C E) A → A
10. Simplificar: (q → p) p (p → q) p
PRÁCTICA 03 A) p q B) p q C) (p q) D) q E) q q
11. Simplificar: ( p r ) s ( p r)
1. Dada la formula lógica: (p q) r; sus A) p B) s C) s D) p r E) N. A.
equivalencias son:
12. La formula logica:
1. (q p) r
(A B) C (C D) (D C)
2. r (p q)
su equivalente es:
3. (p q) r A) ( C D ) B) C D C) C D D) C → D E) D → C
4. (p q) r
5. (p q) r 13. Simplificar el siguiente esquema:
q → ( p → q) → ( p → q ) p
A)1, 3 y 5 B)2 y 5 C)1, 3 y 4 D)2, 3 y 4 E)Todas A) p q B) p q C) ( p q) D) q E) q
2. Dada la formula lógica: ( p q ) r 14. Simplificar p → (p q r) (q → p) (q p)
Los esquemas equivalentes a ella son: A) p q B) p q C) p → q D) V E) q
1. ( p q ) r
2. r ( q p ) 15. Simplificar: (p q) (p → q) (r q)
3. ( p q ) r (r → q)
4. ( p q ) r A) r q B) (p → q) s C) (q r)
A) 1, 3, 5 B) 2, 5 C) 1, 3, 4 D) 2, 3, 4 E) 1, 2 D) s s E) r q
3. Simplificar el siguiente esquema: 16. Simplificar: (q → p) p (p → q) p
( q → p) ( p → q ) ( p q ) A) p q B) p q C) (p q) D) q E) q q
A) p q B) p → q C) p D) p q E) q 17. Simplificar: q (p → q) → (p → q) p
4. Reducir: A) p q B) p q C) (p q) D) q E) q
A (B A) (A B) A 18. Se define: (pq)qx, como una
A) A → B B) A B C) A A D) V E) B A tautología, entonces “x” equivale a:
5. Simplificar: ( A B ) ( A B ) A A)pq B) pq C) pp D) pp E) pp
A) A B) B C) A D) A B E) N. A.
19. Se define: pq(p→q). si (pq)px. Es una
6. La formula: (p q) p; equivale a: contradicción, entonces “x” equivale a:
1. p q 2. (p → q) 3. p q 4. (q → A) pq B) pq C) pq D) pq E) pq
p) 5. p q 20. Dado el esquema:
Son ciertas:
(A→B) (C→D) (B→ D) →(A→ C)
A)1, 2 y 5 B)2 y 5 C)1, 3 y 5 D)2, 3 y 4 E)1 y 2
Tiene como equivalente a:
7. Simplificar: ( p q) p → q A) A B
A) q p B) p q C) q D) p p E) N. A B) A A
8. Simplificar: A (A B) ( A B) C) ( A A )
A) A B B) B C) A B D) A B E) N. A. D) A A
E) D D
9. Simplificar el esquema:
(A B) B (B C) (A C)
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
T EM A
0 4 CIRCUITOS LÓGICOS
Entre algunas aplicaciones de la lógica aparece la *El circuito no funciona si “p” es falsa(F), es decir,
construcción de circuitos lógicos en la electrónica y la cuando el interruptor esta abierto.
cibernética. Para cualquier fórmula proposicional
podemos construir un circuito eléctrico basándose en TIPOS DE CIRCUITOS:
3 conectores u operadores:
Y Λ A) Circuito en serie:
O v Constan de dos o mas interruptores, donde un
Negación interruptor esta a continuación de otro y así
Los circuitos eléctricos están formados por sucesivamente, el grafico de un circuito en serie es la
conmutadores o interruptores que son los órganos representación de una formula proposicional
que impiden o dejan pasar la corriente eléctrica. conjuntiva, cuya expresión mas simple es: “p Λ q”.
Se representa:
LOS INTERRUPTORES:
p q pq
También llamados conmutadores son los elementos 1 1 1
que participan en la instalación eléctrica: son de dos 1 0 0 p q
tipos. 0 1 0
0 0 0
1.- Conmutador cerrado: Permite el paso de la
corriente eléctrica y equivale a un dato verdadero B) Circuito en paralelo:
que numéricamente toma el valor de “1”. Consta de dos o mas interruptores, donde un
interruptor esta sobre otro o en la otra línea y así
2.- Conmutador abierto: Impide el paso de la sucesivamente. El grafico de un circuito en paralelo es
corriente eléctrica y equivale a un dato falso que la representación de la formula proposicional
numéricamente toma el valor de “0”. disyuntiva, cuya expresión mas simple es: “p v q”
Se representa:
REPRESENTACION:
p p
p p q pvq
1 1 1 p
Interruptor abierto Proposición Interruptor cerrado
1 0 1
*El circuito funciona si “p” es verdadera(V), es decir, 0 1 1 q
cuando el interruptor esta cerrado. 0 0 0
1.
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
6. Si cada conmutador del siguiente circuito
cuesta S/. 10. ¿Cuánto se ahorrara con su
PRÁCTICA 04
mínimo equivalente?
A B A
C A C
A C B
1. Es la expresión mínima simplificada del
circuito B C
p q
A) 30 B) 50 C) 70 D) 80 E) 110
-q -p p
p 7. Se tiene el circuito:
-q
-q p q
q -p
q r
a) p → q b) q → -p c) q → p p ~r
d) –p → q e) N.A q p
p
q
2. Reducir el siguiente circuito: q r p
A A Si cada interruptor cuesta $10. Halle el costo
C del circuito equivalente mas económico.
-B -C B A) 10 B) 20 C) 30 D) 40 E) 50
-A -B 8. En que intentos, el circuito no enciende
-C un foco eléctrico:
A -A -B
A) A B) B C) B C D) B C
E) N. A. B B C
B
3. El circuito siguiente:
A B C
A
- A - B
A) 1º B) 2º C) 3º D) 4º E) N. A.
A
B 9. En que intentos el circuito enciende:
- B - B
A
A -p
Equivale:
A) A A B) A B C) A B D) A A E) N. q r
A -p -r -p
p -q p
4. Simplificar el circuito r
q
p p
-r -q A) 1º B) 2º C) 3º D) 1º y 4º E) N. A.
q r
10. Conectado un foco a un circuito lógico
r disyuntivo incluyente, ¿Cuántas veces puede
no estar apagado?.
q
A) 1 B) 2 C) 3 D) 4 E) N. A.
A) 1 B) q C) p D) 0 E) N. A.
11. De las siguientes formulas:
5. Si cada interruptor del siguiente circuito, a. A (A B)
consume 0.25 voltios, ¿Cuántos voltios
b. A (B → A)
ahorraremos con su equivalente mínimo?
~r c. (A B) B
q d. 0 → (A B)
Las que producen un cortocircuito son:
p p A) 1 y 3 B) 2 y 4 C) 1 y 4 D) 2 y 3
~q ~r E) Solo 3
r q
a) 1.75 b) 1.50 c) 1.25 d) 1.0 e) 0.75 12. Dada la formula lógica: (p q) (p
q) p q
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
¿Cuántos focos prenden al conectar la A) pqr
corriente eléctrica? B) p r
A) 3 B) 2 C) 1 D) Ninguno E) 4 C) r
D) p
13. La estructura lógica que hace encender E) pr
un solo foco de luz es:
1. A B 2. A B 3. A B 4. A B 17. Halle la proposición mas simplificada del
5. A B circuito lógico:
A) 1, 2 y 3 B) 3, 4 y 5 C) 1 y 3
p q
D) Solo 1 E) todas p
q
14. ¿Qué formulas permiten el paso de p
corriente eléctrica? q
q p
1. (A B) → A p
2. A → (B A)
3. 0 → A (B → A) p q
4. (C C) (A B) C A) p q
5. A (B → A) B) p q
A) 1, 2 y 3 B) 1, 3 y 4 C) 1 y 3
D) Solo 1 E) Todas C) p q
D) p q
15. Halle el equivalente al circuito lógico: E) p q
p
18. Reducir el circuito siguiente:
q ~p ~q
p q p
r r
p r
r p p p q
p q ~q q
r ~r
p q p ~p
~r r q r
q q
A) p q
A) pqr
B) p r
B) q(pr)
C) p q
C) q(p r)
D) p r
D) p(qr)
E) N. A.
E) N. A.
16. Simplificar la proposición que representa
al p
circuito:
q
q r
p ~p ~r
p ~p p r
q r
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
TEMA CIRCUITOS CON COMPUERTAS
05
LÒGICAS
Compuertas lógicas, son los dispositivos que resumen
la interconexión de conmutadores para procesar las FUNCIONES FORMAS SÍMBOLO DE
leyes lógicas y ejecutar cálculos.
LÓGICAS LÓGICAS COMPUERTAS
Compuertas lógicas son bloques de circuitos que
producen señales de salida cuyas entradas solo
pueden tomar dos niveles distintos de tensión.( 1 = Negación
Verdadero, 0 = Falso ) p p’
NO
Las operaciones o funciones lógicas que participan en
el diseño de compuertas son sólo tres: La negación, P
Conjunción
la conjunción, y la disyunción ( incluyente o o
excluyente). Las demás fórmulas proposicionales son pqp.q q
Producto
representadas mediante sus equivalencias, y las “AND”
entradas dependen del número de variables que
participan en la fórmula directa a diseñar. Disyunción P
Una puerta lógica, o compuerta lógica, es un (inclusiva)
dispositivo electrónico el cual es la expresión física de pqp+q
un operador booleano en la lógica de conmutación.
o q
Cada puerta lógica consiste en una red de dispositivos suma “OR”
interruptores que cumple las condiciones booleanas
para el operador particular. Son esencialmente Disyunción P q p’.q + P
circuitos de conmutación integrados en un chip.
(exclusiva) p.q’
Claude Elwood Shannon experimentaba con relés o o P q (p+q) . q
interruptores electromagnéticos para conseguir las suma “XOR” (p’+q’)
condiciones de cada compuerta lógica, por ejemplo,
para la función booleana Y (AND) colocaba
interruptores en circuito serie, ya que con uno solo de Biimplicacion
éstos que tuviera la condición «abierto», la salida de o
la compuerta Y sería = 0, mientras que para la p q p.q+p’.q’ P
negación de
implementación de una compuerta O (OR), la p q (p’+q) q O
la disyunción
conexión de los interruptores tiene una configuración .(p+q’)
en circuito paralelo. exclusiva
“NXOR”
La tecnología microelectrónica actual permite la
elevada integración de transistores actuando como
conmutadores en redes lógicas dentro de un pequeño
circuito integrado. El chip de la CPU es una de las
máximas expresiones de este avance tecnológico.
En nanotecnología se está desarrollando el uso de
una compuerta lógica molecular, que haga posible la
miniaturización de circuitos.
A continuación, les daremos un cuadro resumen de
las diferentes funciones y sus representaciones en el
sistema americano (ASA)
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
x
y
PRÁCTICA 05
z
1. El siguiente circuito: A) (xyz)’ B)x(y’+z) C)x’(y+z) D)xyz E)x(yz)’
p 7. Obtener la expresión de salida
O
q O X
Y
O
Z
O
Equivale a: O
A) p q B) q p C) q p D) p q E) N. A
O
O
2. Simplificar
p O
O A) (xyz)’ B) xx’z C) x’yz D) x’+y’+z’ E) N. A.
q 8. Simplificar:
O
r p
O q
A) r q B) r q C) r q D) r q E) r p r
3. Simplificar
A O
B
A) p B) q C) r (q p) D) p r E) N. A.
O
9. Al simplificar:
A
B
A) A B B) A B C) A B D) A B E) (A A)
4. Dado el circuito lógico :
A
B equivale a:
A) A B B) A B C) A B D) (A B) E) A B
10. Al simplificar:
B
C p
q
su simplificación equivalente es :
a) b) c)
A A A
B B B
equivale a:
d) e)
A) p q B) q p C) q p D) p q E) p q
A A 11. La equivalencia del circuito:
B B x
o
y
5. Obtener la expresión de salida de forma
simplificada de la siguiente compuerta lógica:
x
y
z
A) x y B) x y C) x y D) x y E) N. A.
12. Al simplificar:
A
A) xz B) x+y C) xy D)x+z E) x O
6. Obtener la expresión de salida del siguiente
B O
circuito: O
equivale a:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
A) A B B)A B C) A B D) A B a. Permite el paso de la corriente si:
E) A B p=1; q=0
b. Permite el paso de la corriente si:
13. El siguiente circuito: p=1; q=1
c. Permite el paso de la corriente si:
A p=0; q=0
B O O d. Permite el paso de la corriente si:
p=0; q=1
O
O
e. Es una contradicción
Son innegablemente ciertas:
Equivale a A) 1, 3 y 5 B) 1 y 4 C) 2 y 3 D) 1, 4 y 5
1. AB 2. AB 3. (AB) E) Solo 2
4. A B 5. AB
A) Sólo 2 B) 1, 2 y 4 C)3, 4 y 5 D) 2, 3 y 4 E) N. A 18. El circuito:
A
14. En el circuito adjunto, si cada compuerta cuesta &
B
$ 50. ¿Cuánto se ahorrará con su simplificación?.
A 1
B 1
equivale a:
A) (- A v – A) B) (- B/ B)
A) $200 B) $150 C) $100 D) $0 E) N. A.
C) (B - B) D) (- B v – B)
15. El siguiente circuito lógico dado:
E) N.A.
O
19. El siguiente circuito :
p
O
q O O
Tiene en los valores de verdad en la matriz final:
A) 1111 B) 0011 C) 0010 D) 1010 E) 1000
16. El siguiente circuito:
X equivale a :
Y O
1. Permite el paso de la corriente si: x=1;
y=0
2. Permite el paso de la corriente si: x=1;
y=1
3. Permite el paso de la corriente si: x=0; 20. Simplificar
y=0 p
4. Permite el paso de la corriente si: x=0; q
r
y=1
5. Su equivalencia es una tautología
Son innegablemente falsas:
A) 1, 3 y 5 B) 2 y 4 C) 2 y 3
D) 1, 4 y 5 E) Solo 2
A) r q B) (p q) s C) (q r) D) q r E) N. A.
17. El siguiente circuito: A) p q r B) p r C) p → q
D) r p q E) N. A.
p
O
q O
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
FORMALIZACIÓN Y TRADUCCIÓN
T EM A
0 6
PROPOSICIONAL
AyB A aunque B
“Las equivalencias notables nos permiten realizar A pero B A sin embargo B
transformaciones, es decir, convertir unas A incluso B A es compatible con
expresiones en otras, o unas formulas en otras”. B
Jerarquía de los conectores lógicos A así como B A del mismo modo B
A aún cuando B A también B
()(v) A de la misma forma que B A al igual que B
(→)() Tanto A como cuando B Siempre ambos A
(v) con B
A empero B A no obstante B
op eradores () No sólo A sino también B A así mismo B
de la lógica proposicional. () A al igual que B A a pesar de B
A a la vez B A más B
A vemos que también B.
Una fórmula proposicional adopta el nombre del
conector de mayor jerarquía. El Disyuntor Incluyente: A v B
Ejemplo: A o B (sentido incluyente) A a menos que B
A a menos que A, B A salvo que B
-pq→-r ..... fórmula condicional
A excepto que B A o también B
- p → q r -s ..... fórmula bicondicional
A o bien B A a no ser que B
Nota: La jerarquía de conectores pierden fuerza
A o incluso B A y bien o también B
cuando aparecen los signos auxiliares de agrupación:
Al menos uno de los dos A ó B A o sino B
( ), [ ], { }.
A alternativamente B A y/o B
TÉRMINOS DEL LENGUAJE NATURAL QUE
El Implicador : A → B
DESIGNAN OPERADORES PROPOSICIONALES
Si A entonces B Siempre que A por
consiguiente B
El Negador : - A
Ya que A bien se ve que B Dado que A por eso B
No A, nunca A, jamás (A) (*) Es inconcebible que
En cuanto A por tanto B Porque A por eso B
A
Como A es evidente B Con tal que A es
Es Incompatible que A No ocurre
obvio que B
que A
Toda vez que A en consecuencia B A
No es verdad que A No es el caso
consiguientemente B
que A
Dado que A por lo cual B En la medida que A
Es mentira que A Es
de allí B
inadmisible que A
En virtud de que A entonces B A implica a B
No acaece que A De ninguna
A es innecesario para B Es
forma se da A
innecesario A para B
Carece de todo sentido que A Es incorrecto que A
A es condición suficiente para B A sólo si B
Es incierto que A Nadie que
A luego B A trae como
sea A
consecuencia B
Es objetable que A En modo
De A deviene B Partiendo de A
alguno A
llegamos a B
En forma alguna A Es absurdo
De A inferimos (deducimos, coligamos) B
que A
Para A es condición necesaria B A sólo
Es falso que A Es refutable que A
cuando B
Decir que A es una farsa Es falaz que A
Es suficiente A y B necesario En el caso
Es sofisma que A Es
que A en tal sentido B
contradictorio que A
Es refutable que A
El Disyuntor excluyente: A v B
A o B (sentido excluyente) O bien A o bien B
El Conjuntor: A B
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
A a menos que solamente B A salvo que Si solamente A cada vez que B A divido a
únicamente B que B
A excepto que sólo B A menos que sólo A, A depende de B A sigue de B
B Unicamente si A, B
A o bien necesariamente B A o exclusivamente B
Ya bien A ya bien B A no es equivalente a El Biimplicador: A B
B A si y sólo si B
No es equivalente A con B A no es idéntico a B A por lo cual y según lo cual B
A no es lo mismo que B A cuando y sólo cuando B
A cada vez que y sólo si B
Si y sólo si A, B
Porque y solamente por que A, B
Es suficiente A para que suficientemente B
El Replicador : A B Es necesario A para que necesariamente B
Sólo si A, B Solo cuando A, B A es condición suficiente y necesaria para B
Solamente porque A, B A si B A siempre que y sólo cuando B
A porque B A dado que B Siempre que A y siempre que B
A ya que B A siempre que B A es equivalente a B
A puesto que B A es condición A es lo mismo que B
necesaria para B A es idéntico a B
A es insuficiente para B Es necesario A para A implica y está implicado por B
B
Es insuficiente A para B A cada vez que B
A está implicado por B A con la condición de
que B
Se simboliza:
PRÁCTICA 06 A) [(A → B) Λ (B → C)] → (A → C)
B) [(A ↔ B) Λ (B → C)] → (A ↔ C)
C) [(A ↔ B) Λ (B ↔ C)] → (A → C)
1. La proposición: “Es falso que, Carol no D) [ ( A ↔ B ) Λ ( B → C ) ] → ( A → C )
sepa tocar el piano y que además no E) N. A.
componga melodías; puesto que es
egresada del INC”. Se formaliza como: 5. La proposición : “El que un cuerpo posea
A) (p q) r B) (p q) → r energía cinética está implicado por el hecho
C) (p q) r D) (p q) r de que está en movimiento, aunque un
E) (p q) → r cuerpo en reposo no posee energía cinética”.
Se formaliza :
2. “Hace calor siempre que, cierre la puerta a) (A → B) & - A b) (A B) & -A
pero no encienda el ventilador” se formaliza: c) (A → B) & -C d) (A B) & C e)
A) (p q) → r B) p (q r) N.a.
C) p (q r) D) p (q r)
E) p q 6. La simbolización de:“Ana y Manuel son
hijos del mismo padre, pero Manuel y
3. La proposición: “O te vas o me voy yo. Sin Luis son hijos de diferentes padres.
embargo nunca te fuiste en consecuencia Luego, Ana y Luis son hermanos”
tendré que irme”. A) [( p q ) ( s t )] → r
Se formaliza: B) ( p q ) → r
A) (AB)(A→B) B) (AB)(A→B) C) ( p q ) → p
C) (AB)(A→B) D) (AB)(A→B) D) ( p q ) → ( s t )
E) ( A B) (A → B) E) N. A.
7. Simbolizar: “El jabalí es un mamífero y el
4. La proposición: murciélago también, por lo tanto ambos
“Siempre que y solo cuando haya explosión son cuadrúpedos”.
nuclear, habrá radioactividad. Sin embargo, A) ( p q ) → ( p q )
al haber radioactividad luego habrá B) ( p q ) ( p q)
mutaciones. Por lo tanto la explosión nuclear C) ( p q ) → ( r s )
es condición suficiente para las mutaciones”. D) ( p q ) ( s t )
E) N. A
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
.
8. La proposición: “En cuanto la teoría de la 13. “Porque el mar es salado es obvio que
relatividad sostiene que la gravedad y el tiene sal yodada, riqueza ictiológica y/o
movimiento acelerado son equivalentes, aves guaneras”. Se formaliza:
consecuentemente se niega todo A) p → (q r v s) B) p (q r v s)
movimiento absoluto”. Se formaliza: C) p → (q v r v s) D) p (q v r v s)
a) (A B) → C b) (A B) → C E) N.A.
c) (A B) → - C d) A → - B e)
N.A. 14. “Los huaycos incluso los maremotos
dejan de ser fenómenos milagrosos”, se
9. La fórmula: (C v D) → (A B) se lee: simboliza:
1. Si tengo dinero o me saco la lotería A) (p - q) B) (p q) → r
entonces hago fiesta y viajo. C) (p → - q) D) (- p - q) E) N.A.
2. Hago fiesta y viajo si tengo dinero o me
saco la lotería. 15. La proposición: “Hace frío siempre que;
3. Iré a la playa y al cine porque estoy de apague la luz pero no cierre la puerta”. Se
vacaciones o tengo tiempo libre. formaliza como:
4. Transpiro y tengo sed si hago deporte o A) (p q) → r B) p (q r)
realizo un trabajo agotador.
C) p (q r)
5. De llegar temprano o tarde, luego entro a
D) p (q r) E) p q
clase y pongo atención.
Son correctas:
A) 1,2,3 B) 2,3,4 C) 3,4,5 16. “Mientras el precio del petróleo es bajo y
D) 1,4,5 E) 2,4,5 la energía barata; el mundo despilfarra
este recurso”
10. La fórmula (B → A) se lee como: A) (p q) → r B) (p q) r
1) Sólo si estudio, ingreso a la universidad. C) (p q) → r
2) Si ingreso a la universidad, seré bachiller. D) (p q) → r E) p → q
3) Es necesario hacer deporte para vivir
sano.
4) Al tener dinero es porque trabajo. 17. Formalizar: “Es inobjetable que, trabajar
5) Al tener carro, me voy de viaje. es condición suficiente para que tengas
Son incorrectas salvo: dinero. Además tendrás dinero a menos
A) 1,2,3 B) 2,3,4 C) 1,3,4 que seas ahorrativo”.
D) 1,2,5 E) Todas A) (p→q) (qr) B) (p→q) (qr)
C) (pq) (qr) D) (pq) r E) (p
11. El argumento: “Mientras seamos q) (q r)
disciplinados en el estudio, tendremos
éxito en la universidad. Es increíble la
disciplina para el estudio así pues 18. “Si el numero es una idea, la aritmética es
tendremos éxito en la universidad. se psicología. Empero, la aritmética no es
formaliza como: psicología a menos que la astronomía se
A) [(A → B) B] → A ocupe de los planetas”
B) [(A → B) A] → B A) (p → q) (q r)
C) [(A B) A] → B B) (p → q) (q r)
D) [(p → q) p] → q C) (p → q) (q r) D) (p q) r
E) B y D
E) (p → q) (q r)
12. La fórmula r → (- p v – q) se lee como:
A) Salvo que no juegue o no haga fiesta luego 19. El Perú es subdesarrollado porque la
hago deporte. economía es deprimente, además, los
B) Al llover, habrá cosecha salvo que sea salarios aumentan solo si hay voluntad
falso que trabajemos. del gobierno” se formaliza:
C) No juego y/o no bailo porque estoy de A) (p q) → (r → s)
vacaciones. B) (p q) → (r s)
D) Es error que estudie o trabaje si soy C) (p q) (r → s) D) (p q) (r → s)
hombre sano.
E) De ser verano, no iremos a la playa o en E) (p → q) (r → s)
todo caso no jugamos.
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
20. “Subirá el precio del pan porque subió el 26. La formalización correcta de la
precio de la gasolina, en vista de que si proposición: “Los mamíferos son
subió el precio de la gasolina el gobierno vertebrados o invertebrados. Pero es
no puede controlar la inflación” absurdo que sean voladores”. es:
A) (p q) → (q → c) A) (A v B) - C B) (A v – A) - B ´
B) (p q) (q → c) C) (A v B) - C D) (A v B) C
E) (A v – A) - B
C) (p q) (q → c)
D) (p q) (q → c) 27. La proposición: “Luminosa, eléctrica o
E) (p q) (q → c) mecánica es falso que no sean las formas
en que se presenta la energía”. Se
21. El argumento: “No es cierto que, si es formaliza:
verano, hace calor. Así como, si es A) (p q v r) B) (p v q v r)
verdad que si llueve es obvio que es
invierno”. Se formaliza como: C) ( - -p v - - q v - - r) D) – (p v q v r)
A) (A → B) (C → D) B) A → B
C) (A → B) (C → D) E) (- p - q v – r)
D) (A → B) → C E) (A → B) C
28. La formula: p q, se lee:
1. Transpiro si hago deporte.
22. “El lenguaje tiene significado salvo que
2. Tengo vacaciones en el caso que salga
tan solo tenga sentido, no es cierto que,
invicto.
el lenguaje no tiene sentido salvo que tan
3. Llego tarde porque hubo paro.
solo tenga significado”
4. Si salgo de casa luego me doy un paseo.
A) p q B) (p q) (q p)
5. En el caso que llego al CEPU,
C) (p q) (q p) inmediatamente entro a clase.
D) (p q) (q p) E) (p q) (q p) Son ciertas:
A) 4 y 5 B) 1, 2 y 3 C) 2 y 3 D) Sólo 4 E)
Sólo 1
23. “Es absurdo que, nunca haya crimen
perfecto de igual modo tampoco haya
ladrón perfecto. Mas, sólo hay crímenes 29. “Si Alondra depende de Bárbara entonces
planificados o tan solo ladrones también depende de Clotilde. Y, si depende de
sagaces”. Se formaliza: Clotilde, depende de Dalia, mas, si depende de
A) (p q) (r s) Dalia luego depende de Ernestina. Por lo tanto, ya
B) (p q) (r s) que Alondra depende de Bárbara en tal sentido
C) (p q) (r s) depende de Ernestina”. Se simboliza.
D) p (r q) E) (p q) (r s) A) [(A ΛB) Λ (B ΛC) ] Λ [(C ΛD) → (A →E)]
B) [(A →B) Λ (B ΛC) ] Λ [(C →D)→(A →D)]
C) [(A →B) Λ(B →C) ]→[(C →D) →(A →D)]
24. “Por lo cual y según lo cual los animales D) [(A →B) Λ (B →C)] Λ[(C →D) → (A→D)]
tienen derechos entonces es obvio que E) N. A.
debemos proteger a los mamíferos al igual 30. La siguiente proposición:
que a las aves”, se simboliza: “La información se transmite vía analógica
A) A → (B C) B) A (B C) así mismo digital, en consecuencia, existe un
C) A (B C) D) A → (B C) canal físico de transmisión. Pero si el canal
E) N.A. es fibra óptica la velocidad de transmisión de
datos es muy elevada”.
25. “Es imposible que, la recesión derive del Se formaliza:
desarrollo económico más la planificación a. ( A B ) → C ( D → E )
sostenida”, se simboliza: b. A → B ( D → E )
A) – [p → (q r)] c. A → B ( D → E )
B) – [(q r) → p] d. ( A B ) → ( C D ) → E
C) [-p → (q r)] e. N. A
D) – [p (q r)]
E) B y D
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
T EM A
0 7 EQUIVALENCIAS NOTABLES
“Las equivalencias notables nos permiten realizar transformaciones, es decir, convertir unas expresiones en
otras, o unas formulas en otras”.
PRÁCTICA 07 (SE PUEDE USAR LAS FORMULAS)
C) Es mentira que, Juan estudia
1. La expresión: “No es cierto que, la arduamente y no ingresa a la
materia se crea así como se destruye, aun universidad.
cuando no se crea”. D) Es incorrecto decir que, Juan no estudie
Equivale a: arduamente y no ingrese.
A) La materia no se crea o no E) N. A.
se destruye.
B) La materia se destruye. 5. La proposición: “ Es mentira que, si
C) La materia no se crea. nunca tiene agua por eso no es río ”
D) La materia no se destruye. Equivale a:
E) La materia se crea y se A) Es río pero no tiene agua.
destruye. B) De ningún modo, si jamás es río
obviamente tiene agua.
2. Pienso, luego existo. Equivale a: C) Al ser río en tal sentido no tiene agua.
1. Siempre que pienso existo. D) Al no tener agua bien se ve que no es río.
2. Si no existo, no pienso. E) N. A.
3. Es falso que, pienso así como no existo.
4. A menos que no piense, no existo. 6. Hallar la proposición equivalente a:
5. Pensar es condición necesaria para existir. “La conducta puede ser acción u omisión”
Son inobjetablemente ciertas: (a) La conducta no es acción ni omisión.
A) 1; 2; 3 B) 3; 4; 5 C) 1; 3 D) 1; 2; 5 E) N. (b) La conducta es acción más no omisión.
A. (c) La conducta no es acción no obstante es
omisión.
3. “No es innegable que, al no haber calor (d) No es el caso que la conducta no sea
entonces hay energía”. Equivale: acción ni omisión.
1. Es falso que, hay calor más energía. (e) No es cierto que la conducta sea acción o
2. Es mentira que, hay calor salvo que no sea omisión.
exista energía.
3. No hay calor ni hay energía. 7. Hallar la proposición equivalente a:
4. No hay calor o no hay energía. “Hay que pagar 50 soles y ser socio para
5. Es inadmisible que, hay energía excepto ingresar al Club”
que hay calor. Son falsas: (a) No ingresar al club o pagar 50 soles, y ser
A) 1, 2 y 3 B) 2 y 5 C) 1 y 4 D) 3 y 5 socio.
E) N. A. (b) Pagar 50 soles o ser socio, y no ingresar
al club.
4. “Juan ingresará a la universidad, si (c) Pagar 50 soles y ser socio, o no ingresar
estudia arduamente”. Equivale a: al club.
A) No es cierto que, Juan estudia (d) Pagar 50 soles y no ser socio, y entrar al
arduamente y también ingresará a la club.
universidad. (e) No es cierto que se pague 50 soles y ser
B) Es falso que, Juan ingresará a la socio, o ingrese al club.
universidad o no estudie arduamente.
8. Hallar la proposición equivalente a:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
“17 es primo porque, 17 es primo o 30 es B) Nunca perdió su reloj.
par, y 30 es par” C) Es falso que perdió su reloj a menos
(a) Si 17 es primo, entonces 30 no es par. que hubiera tomado un taxi.
(b) Si 30 es par, entonces 17 no es primo. D) Si hubiera tomado un taxi no hubiera
(c) Si 17 no es primo, 30 no es par. perdido mi reloj.
(d) 30 es par o 17 es primo. E) Es mentira decir que, no tomó un taxi
(e) 17 es primo ya que 30 no es par. porque y solo porque tampoco perdió
su reloj.
9. Dado el esquema molecular:
(pΛr) v (pΛs) v (qΛr) v (qΛs) Es equivalente 13. La proposición: “Maradona juega y no
a: esta lesionado, a menos que, no juega
A) Carmela recibió la carta pero esta lesionado”
También tomo el bus.O también recibió Equivale a:
el pedido salvo que ofrezca el brindis. A) Si Maradona no juega es porque esta
B) Carmela recibió la carta o también tomo lesionado.
el bus. Del mismo modo recibió el pedido B) Maradona no juega pero esta lesionado.
salvo que ofrecerá el brindis. C) Es falso que, Maradona juega o no esta
C) Carmela recibió la carta al mismo tiempo lesionado.
recibió el pedido, salvo que, Carmela D) Es absurdo que, Maradona no juega y
tomo el bus al igual que ofrecerá el sólo si está lesionado.
brindis. E) No es mentira que sea falso que,
D) Carmela recibió la carta excepto que Maradona juega siempre y cuando esta
recibió el pedido. Tal como, Carmela lesionado.
tomo el bus a no ser que ella ofrecerá el
brindis. 14. Simbolizar y luego simplificar la
E) N. A. proposición:
10. Si: p q: los números son positivos “Viene a casa o se va de viaje, pero no viene;
cuando y solo cuando son mayores que en consecuencia se va de viaje”
cero. Entonces el esquema: (a) T b) C c) p d) p ∨ q e) p → q
(p q) → p → q (p → q)
Equivale a: 15. Simbolizar y luego simplificar la
A) Los números son positivos proposición:
B) Los números son mayores que cero. “Cuando obtenga mi título entonces ingresó a
C)Los números son positivos tal como la carrera magisterial, pero no ingresé a la
mayores que cero. carrera magisterial; luego no obtuve mi título”
D)Los números son mayores que cero a (a) ∼p b) p c) p ∧ q d) C e) T
menos que sean positivos. 16. La proposición: “De ninguna forma se da
E)Es mentira que los números son que los ofidios son vertebrados tal como
positivos. herbívoros”
Equivale a:
11. La proposición: “Si el barco no trae 1. A menos que los ofidios sean
piratas, entonces el capitán ha muerto o vertebrados, son herbívoros.
esta prisionero. Sin embargo trae piratas, 2. Los ofidios ni son vertebrados ni
del mismo modo, como el capitán no ha herbívoros.
muerto entonces traerá piratas”. Es 3. Siempre que los ofidios no son
equivalente a: vertebrados son herbívoros.
A) El capitán ha muerto. 4. Los ofidios no son vertebrados excepto
B) El capitán no está prisionero. no son herbívoros.
C) Es imposible que el traerá piratas. 5. No es innegable, que los ofidios sean
D) El barco traerá piratas. herbívoros así como vertebrados.
E) El barco traerá piratas a menos que el Son correctas:
capitán haya muerto.
A) 1; 2 B) 4; 5 C) 1; 2; 3 D) 3; 4; 5 E) N. A.
12. Pedro le dice a Juan: “Perdí mi reloj por la
razón que no tome un taxi, sin embargo si 17. La proposición: “Como no alcanzo el
hubiera tomado un taxi, no hubiera puntaje mínimo, eso implica que debo
perdido mi reloj. No obstante nunca prepararme un año más. No obstante,
pierdo mi reloj o de lo contrario tampoco debo prepararme un año más dado que
tomó un taxi”. Lo que quiso decir es: no alcancé el puntaje mínimo”. Equivale
A) No tomo un taxi. a:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
1. Alcanzo el puntaje mínimo si y solo si 21. La siguiente proposición :
debo prepararme un año más. “Si Maria no va al cine o Maria va al cine,
2. Como no alcancé el puntaje mínimo, pero no va con falda, implica que no va al
debo prepararme un año más. cine pero tiene puesta su falda”.
3. Alcanzo el puntaje mínimo ya que no Es equivalente a:
debo prepararme un año más. a) Maria va al cine.
4. Alcanzo el puntaje mínimo o únicamente b) Maria no va al cine.
debo prepararme un año más. c) Maria no lleva puesta su falda
5. Es falso que, alcanzo el puntaje mínimo d) Maria tiene puesta su falda
si no debo prepararme un año más. e) Es una tautología
Son inciertas excepto:
A) 1 y 3 B) 3 y 4 C) 4 y 5 D) 2 y 3 E) N. A 22. Dada la proposición :
“Si hoy hace calor entonces me pondré un
18. La proposición: “Jamás ingresarás a la pantalón blanco; y que no me ponga
universidad a menos que nunca triunfes”. pantalón blanco es condición necesaria y
Equivale a: suficiente para que hoy haga calor”.
1. Es incorrecto que, ingreses a la Esta proposición es equivalente a:
universidad tal como triunfes. a) Hoy me pondré un pantalón
2. No es innegable que, triunfes incluso blanco.
ingreses a la universidad. b) Hoy no hace calor.
3. Siempre que ingresas a la universidad, c) Hoy no hace calor y usare un
entonces no triunfas. pantalón blanco.
4. No triunfaras salvo que nunca ingreses a d) Hoy no me pondré un pantalón
la universidad. blanco.
5. Triunfaras por tanto no ingresaras a la e) Hoy hace calor.
universidad.
Son inciertas: 23. ¿Cuál o cuales de las siguientes
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 D) Todas proposiciones es equivalente a: “Si hoy
E) N. A. sale el sol, entonces mañana nos vamos a
la playa” ?
19. Sean las proposiciones: A) No es el caso que, hoy salga
I.- Si hay lluvia más calor, hay lluvia el sol y mañana vamos a la
II.- Si no hay lluvia entonces no hay nubes o playa.
no hay calor. B) Hoy sale el sol y mañana no
III.- Es falso que, siempre que no hay nubes vamos a la playa.
o no hay calor entonces haya lluvia. C) Hoy no sale el sol o mañana
Son equivalentes: no vamos a la playa.
A) I y II B) I y III C) II y III D) Ninguna E) A) Sólo I y III B) Sólo II y III C) Sólo I y II D)
todas I, II y III E) N. A.
20. Dadas las proposiciones, ¿Cuáles son
equivalentes entre si?.
A) Es necesario que Luis no
vaya al cine para que
termine su tarea.
B) No es cierto que Luis
termine su tarea o vaya al
cine.
C) Luis no termina su tarea y no
ira al cine.
A) Sólo I y II B) Sólo I y III C) Ninguna es
D) Sólo II y III E) I ; II y III
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
T EM A
0 8 INFERENCIA LÓGICA
LA INFERENCIA
Es una estructura de proposiciones donde a partir de MODUS PONENS TOLLENDO (MPT)
uno o más proposiciones llamadas premisas, se Su forma simbólica es:
obtiene otras proposiciones llamada conclusión. La AB
inferencia expresada en lenguaje natural es un A
argumento. ------
B
Inferencia : Premisas → Conclusión Su forma implicativa es: [( A B ) A ] → B
Analizar la validez o invalidez lógica de la inferencia
es la tarea primordial de la lógica. SILOGISMO HIPOTÉTICO (SH)
Un argumento es la proposición que se forma al unir Su forma simbólica es:
mediante una condicional, la conjunción de las A→B B→C
premisas y la conclusión. B→C A→B
(P1 P2 P3 ... Pn )→ C ---------- ----------
Al analizar una inferencia para determinar su validez, A→C A→C
se determina el esquema al cual pertenece el Su forma implicativa es:
argumento. Si el esquema es tautológico, la inferencia [( A → B) ( B → C) ] → (A → C)
es válida; si resulta contradictorio o inconsistente. La Su forma implicativa es:
inferencia es inválida. [( B → C) ( A → B) ] → (A → C)
REGLA DE SIMPLIFICACIÓN (S)
LEYES DE IMPLICACION Su forma simbólica es :
Uno de los objetivos importantes de la lógica es la
AB AB
inferencia o deducción de conclusiones de conjuntos
--------- ---------
de premisas.
B A
Para hacer deducciones son necesarias ciertas reglas
Su forma implicativa es: (A B) → B
de inferencia. Estas reglas operan igual que las reglas
de cualquier juego. Permiten hacer ciertos Su forma implicativa es: (A B) → A
movimientos. Cada movimiento permitido por las REGLA DE LA CONJUNCIÓN
reglas es un paso en inferencia; una proposición se Su forma simbólica es:
puede deducir si se han dado otras proposiciones. A
Las reglas de lógica no son evidentemente, regla s B
elegidas al azar. Son de tal manera que solo permiten --------
hacer inferencias validas. AB
Su forma implicativa es : (A B) → ( A B)
MODUS PONIENDO PONENS (MPP)
Su forma simbólica es: REGLA DE LA ADICIÓN
A→B Su forma simbólica es :
A A
--------- --------
B AB
Su forma implicativa es: [(A → B) A ] → B Su forma implicativa es: A → (A B)
LEY BICONDICIONAL
AB AB
--------- ---------
B→A A →B
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
8. La deducción de las siguientes premisas
PRÁCTICA 08
es:
P1: (Q → R) (S → T)
P2: (U → V) (W → X)
P3: Q U
1. Dadas las premisas: A) Q R B) S T C) U W D) R V E) N. A.
P1 : B → A
P2 : C v D 9. La deducción de las siguientes premisas
es:
P3 : D → -A
P4 : B P1: (N O) → P
Se infiere lógicamente en: P2: (P Q) → R
a) A b) B c) C d) A v B e) B v C P3: Q N
A) Q R B) R V C) Q D) R E) N. A.
2. Dadas las premisas:
P1 : - A → (B v C) 10. La conclusión de las siguientes premisas
P2 : (D v G) → - A es:
P3 : D v G P1: A (B → A)
Se infiere en: P2: A C
a) A b) D c) G d) – B → C A) A B) A C) B D) B E) C
e) B → - C 11. Si tenemos:
3. La conclusión de las siguientes premisas P1 : (A v B) → - C
es: P2 : C v -D
P1: A (B → A) P3 : D v E
P4 : B
P2: A C
Concluiríamos correctamente desde el punto
A) A B) A C) B D) B E) C
de vista lógico formal en:
4. La deducción de las siguientes premisas a) E b) – E c) D d) – A e) E A
es:
12. El siguiente razonamiento:
P1: (F → G) (H → I)
P1 : (p q) v r
P2: J → K
P2 : r S
P3: (F J) (H L)
P3 : S t
A) F G B) G K C) K F D) J G
P4 : t → q
E) N. A.
P5 : u v p
5. Partiendo de las siguientes premisas: u
P1 : B → C a) Es válido
P2 : A v - D b) No es válido
P3 : C → E c) Es consistente
P4 : - E v - A d) No se puede demostrar su valide
P5 : D F e) N.A.
Se infiere de manera correcta en:
13. Las siguientes premisas:
a) B F b) - B F c) B d) – F e) – A
P1 : r → (q S)
6. De las premisas: P2 : p q
P1: r → t P3 : (- r v p) → t
P2: s → r Implicaría:
P3: s a) P b) q c) r d) S e) t
P4: p → h
14. Encontrar la conclusión lógico formal de
P5: h las siguiente premisas:
Se infiere:
P1 : C = 3 → (A = 1 v B = 2)
A) p t B) p t C) p t D) t E) p t
P2 : B 2 D = 4
7. Dadas las premisas: P3 : A 1
P1: A → B a) C = 3 b) D 4 c) C 3 d) B = 2 e) Absurdo
P2: A D
15. Dadas las premisas:
P3: C → D
x5 → x8
P4: C
(x5 → yx) → y2
P5: B F
y2 x4
Se infiere
x8 → yx
A) A B) D C) B D) F E) N. A.
Se concluye:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
A) x = 4 B) x 4 x 5 C) x 5 A) –(qs) B) –qv– s C) s→ -q D) Todas
B) D) x 5 E) N. A. E) N.A.
16. Dadas las premisas:
24. De las siguientes premisas:
P1: x + 8 = 12 x 4
[- (A - B) (C → D) (- B v – D)]
P2: x = 4 y x
se deduce:
P3: (x + 8 = 12 y x) → x + 8 12
A) C/A B) A → - C C) –(-C - A)
P4: (x + 8 12) x2 =1 D) A y B E) N.A.
Se concluye:
A) x2 =1 B) x2 1 C) y x D) x y E) x 4 25. De las premisas:
17. Si tenemos: [(- p v q) (r v – s) (- q v – r)]
P1 : (A v B) → - C ¿Qué se deduce?
P2 : C v -D A) Falacia B) s→ -P C)–p-s
P3 : D E D) pv–s E) – p v s
P4 : B
Concluiríamos correctamente desde el punto 26. De las premisas:
de vista lógico formal en: P1 = (C - D); P2 = (A → -
a) E b) – E c) D d) – A e) E A B), P3 = (- D → E), P4 = (- B → - C)
18. Si tenemos las siguientes premisas: ¿Qué se infiere?
P1 (C → ¬D), A) – (E → A) B) – E A
P2 (C), C) – E - A D) –(- E → A) E) C y D
P3 (¬D → B),
P4 (B → ¬P), 27. De las premisas:
se infiere deductivamente en la siguiente [(A B) (C - D) (- A v D)]
conclusión: se concluye en:
A)¬A B)¬C C)P D)¬P E)¬B A) –CvB B) – B→ -C C) –(- BC)
D) Todas E) N.A.
19. Si tenemos las siguientes premisas:
P1 ¬(A ¬B), 28. De las premisas:
P2 (C A), P1: A B
P3 (B → D), P2: (A C) → D
P4 [(C D) → (E D)], Se concluye
se infiere deductivamente en la siguiente A) A B B) A B C) A D D) A D E) N.
conclusión:
A.
A) B B)¬A C C) E C D) (D E) A E)¬C
29. Tenemos las siguientes premisas
20. Del siguiente argumento formal: formales:
{[(p q) v – (r → s)] -(- r v s)}, ¿qué se P1: (pq)→(ts)
infiere? P2: (ru)→w
A) p q B) –(p → - q) C) –(p q) P3: (ws)→v
D) Todas E) N.A. P4: p
21. Del siguiente argumento formal: P5: q
[-(A - B) -(- C B)], ¿qué se deduce? P6: u
A) C A B) – A - C C) –(- C - A) P7: r
D) Todas E) N.A. Se concluye: v
Determinar la validez de la conclusión.
22. De la siguiente fórmula: A) Valido B) No Valido C) falso
- (p - q) - (r - s) (- q v – s) D) contradictorio E) No se sabe
se concluye en:
1) (- p v – r) 30. De las premisas:
2) (p → - r) 3) –(r p) P1: s→q
4) (r → - p) 5) (- q v – r) P2: (tr)
Son correctas:
P3: s→t
A) 1,2,3 B) 2,3,4 C) 3,4,5
P4: s→r
D) 1,3,5 E) Todas ant.
Y la conclusión (qs)
23. De las siguientes premisas: Determinar la validez de la conclusión.
[(p → q) (r → s) (- p v – r)] A) Valido B) No Valido C) falso
se concluye en:
D) contradictorio E) No se sabe
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
INFERENCIA LÓGICA
T EM A
0 9
TRADUCCIÓN
A) El alumno no atiende y no piensa
B) El alumno atiende y mejora sus habilidades
C) El alumno piensa y resuelve sus problemas
D) El alumno no atiende si piensa
1. Dados: O vamos al cine o vamos al teatro. E) Si piensa, resuelve sus problemas el alumno.
No vamos al teatro. Deducimos que: 6. De las premisas:
A) Vamos al cine “Si lees el Comercio te informaras
B) No vamosa al cine objetivamente”
C) Vamos al teatro “Si te informas objetivamente, no serás una
D) Vamos al cine y vamos al teatro persona inculta”
E) N. A. “Si tienes dinero leerás el comercio”
2. Hoy día no triunfo o no fracaso. Si triunfo, “Es conocido que eres una persona inculta”.
gozare. Si fracaso volveré a insistir. Mas Inferimos que:
dejare de insistir. A) Soy una persona inculta
A) Ni triunfo ni fracaso B) No tengo dinero ni leo el Comercio
B) gozare C) Me informo objetivamente ya que no tengo
C) no gozare dinero
D) no fracaso D) No tengo dinero
E) N. A. E) Tengo dinero
3. No trabajo a menos que tenga dinero, 7. Si Pedro es elegido delegado será
pero no me divierto o gozo, asimismo a secretario. Más, Pedro no será secretario
menos que trabajo me divierto. Por tanto: o bien Juan ganará las elecciones, pero
A) no tengo dinero Juan no ganará las elecciones. Por tanto:
B) siempre que gozo, me divierto. A) Pedro será elegido delegado
C) Si no tengo dinero, de todas maneras B) Pedro ganará las elecciones
gozo. C)Es falso que Pedro sea secretario
D) Gozo a menos que no tenga dinero. D)Juan será elegido secretario
E) N. A. E)Pedro no será elegido delegado
4. Dadas las premisas: 8. Del argumento: “Si voy a la playa tomare
Si vas al cine no terminas el cuestionario. helados, si tomo helados subiré de peso,
Terminas el cuestionario o no eres un me pongo a dieta ya que subiré de peso,
estudiante responsable. Vas al cine o me sin embargo, voy a la playa así mismo
acompañas a la biblioteca. Es notorio tu almuerzo chicharrones”.
amplio sentido de responsabilidad. Se infiere en:
Se concluye: A) No voy a la playa
I. Vas al cine.
B) No subiré de peso
II. Me acompañas a la biblioteca.
C) Como chicharrones tal como no me pongo a
III. No terminas el cuestionario.
IV. Vas al cine y a la biblioteca. dieta
D) Me pongo a dieta pero como chicharrones
A) I y III B) I y II C) Sólo II E) N. A.
D) I y IV E) Ninguna 9. Si seguir los principios cristianos es
5. De las premisas: condición suficiente y necesaria para vivir
Si el alumno atiende, mejorará sus en paz. Además se vive en paz salvo que
habilidades. la conciencia este tranquila. Pero como
Si el alumno piensa, resolverá sus tienes la conciencia intranquila y la moral
problemas. baja. Entonces:
El alumno no mejorará sus habilidades a
menos que no resuelva sus problemas.
Se concluye que:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
A) Vives en paz A menos que trabajo, estoy ocioso.
B) No sigues los principios cristianos Se concluye:
C) Sigues los principios cristianos 1. Siempre que gano dinero, me divierto.
D) Tienes que subir la moral 2. me divierto porque no trabajo.
E) No vives en paz 3. no gano dinero a menos que me divierto.
10. Si: “Ríes es obvio que no estas triste. De 4. gano dinero a menos que me divierto.
la pena deviene la tristeza. Más, al no 5. Siempre que no gano dinero, me divierto.
haber pena, se supone que la vida es Son inobjetablemente falsas:
hermosa. Pero es falso que no ríes”. A) 1; 2; 3 B) 3; 4; 5 C) 3; 4 D) 1; 3; 4 E)
Por tanto: todos
A) No hay tristeza.
B) Hay alegría. 15. El precio del producto subirá a menos que
C) No hay pena. no haya ofertas. Salvo que no baje la
D) La vida es hermosa. demanda, habrá más ventas. Sin embargo,
no hay más ventas o el producto baje.
E) N. A.
Entonces:
11. Determinar la validez del siguiente
a) Ni baja la demanda ni hay ofertas.
argumento:
b) Es falso que, baje la demanda así como
“Si estudio, entonces no me desaprueban en
matemáticas. Si no voy a nadar, entonces hay ofertas.
estudio. Pero, me desaprobaron en c) Si la demanda baja, la oferta sube.
matemáticas”. Por tanto me fui a nadar. d) Si la oferta sube, la demanda baja.
A)V e) N.A.
B)F 16. Que haya calor es condición necesaria
C)V ó F para que sea verano. Es suficiente que sea
D)No se puede determinar invierno para que necesariamente haga
E) N.A. frío. Pero como no hace calor a menos que
12. Los ingenieros son profesores a menos no haga frío”. Deducimos que:
que también matemáticos. Los mismos a) Ni es verano ni es invierno.
son empresarios excepto que tengan b) Estamos en verano salvo que estamos en
capital. Sin embargo los ingenieros no invierno.
son profesores o tampoco empresarios. c) No es verano o también no es invierno.
De ello se infiere que: d) Deduciríamos una falacia.
1. Si no tienen capital los ingenieros, son e) N.A.
matemáticos.
2. Los ingenieros no son matemáticos o no 17. De la premisa: Si un obrero sufre una
tienen capital. enfermedad, el seguro atiende su curación
3. Son matemáticos o también tengan y siempre que el seguro atiende su
capital los ingenieros. curación por consiguiente le otorga una
4. No tienen capital salvo que no sean asignación para mantenerse él y su
matemá[Link] ingenieros. familia”. Se infiere que:
5. Es mentira que, los ingenieros no sean I. Con tal que el seguro atienda su
matemáticos y menos aun tengan curación es obvio que un obrero sufre
capital. una enfermedad.
Son innegablemente ciertas: II. Con la condición de que un obrero sufra
A) 2, 4 B) 1, 2, 4 C) 1, 3, 5 D) 2, 3, 4 E) N. A. una enfermedad esto trae consigo que
13. Del argumento: “Roy gana las elecciones se le otorga un asignación para
siempre y cuando se inscriba en los mantenerse él y su familia.
comicios y si Roy hace obras, entonces el III. Un obrero no sufre una enfermedad y
pueblo lo apoyará. Roy se inscribe en los bien o también se le otorga una
comicios pero el pueblo no lo apoya”. asignación para mantenerse él y su
Se infiere que: familia.
A) Roy gana las elecciones y hace obras IV. Toda vez que un obrero sufre una
B) Roy no gana las elecciones enfermedad es consecuencia que el
C) Roy gana las elecciones pero no hace obras seguro atiende su curación.
D) Roy no se inscribe en los comicios V. En cuanto el seguro atiende su
E) N. A. curación tanto un obrero sufre una
14. De las premisas: enfermedad.
Gano dinero porque trabajo. Son ciertas:
Si estoy ocioso, me divierto. a) 1,3,5 b) 2 y 3 c) 4 y 5 d) 1,2,4 e) N.A.
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
18. Son números pares y múltiplos de 2 cada A) Beto no fue el segundo.
vez que y sólo cuando tienen la mitad o B) Carlos no fue el segundo.
bien si pueden dividir en dos partes C) Darío no fue el segundo
iguales los números. Los números tienen D) Darío fue el segundo.
mitad salvo que puedan dividirse en E) No es cierto que Abel gano la carrera.
partes iguales . Luego:
I. Si son números pares luego son múltiplos
de dos. 20. “Si Paul es mayor que Rita entonces al mismo es
II. Los números son números pares y no igual en edad que Paco. Si Paul es igual a Paco
sean múltiplos de dos. luego el primero también es igual que Coco. Mas
III. Los números no son múltiplos de dos y no Paul no es igual en edad que Coco”, Por tanto:
son pares. 1. Rita es mayor a Raul
IV. Si son números pares luego son múltiplos 2. Paul no es mayor que Rita
de dos. 3. Paul es menor que Rita
V. No son múltiplos de dos o bien no son Son innegablemente falsas:
números pares. A) Solo 2 B) Solo 1 C) Solo 3 D) 1, 2 E) 1,3
No es falso que no sea verdad:
A) I, II y III B) II, III y IV C) III,IV y V
D) Todas E) N. A.
19. “Si Abel gano la carrera, Beto fue el
segundo o Carlos fue el segundo. Si Beto
fue el segundo, Abel no gano la carrera.
Si Darío fue el segundo, Abel gano la
carrera”. Luego:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
T EM A
10 LÓGICA CUANTIFICACIONAL
CUANTIFICADORES LÓGICOS • Pocos, muchos X.
También llamados CUANTORES son los símbolos • Hay al menos un X que.
que determinan la cantidad de una proposición
categórica y son de dos tipos: EQUIVALENCIAS LOGICAS PARA UN VARIABLE
Equivalencias entre cuantificadores con un
CUANTIFICADOR UNIVERSAL: x predicado.
(Univerzalizador o Generalizador) • [x ( Px )] x( Px )
• Para todo X. • [x ( Px )] x ( Px)
• Para cada X. • x ( Px ) x ( Px )
• Para cualquier X. • [ x ( Px )] x ( Px)
• Cualquiera que sea X.
• Sean todos los x. EQUIVALENCIAS LOGICAS PARA DOS
• Para cada una de las X. VARIABLES
• Equivalencias entre cuantificadores con dos
CUANTIFICADOR EXISTENCIAL: x predicados
(Particularizador o Existencializador) • (dos variables)
• Existe X. • x y [P(x,y )] y x [ P ( x,y ) ]
• Algunos X. • x y [P( x,y ) ] y x [ P ( x,y ) ]
• Existe al menos un X. • {xy[P(x,y)] xy [ P( x,y ) ]
• Tantos , ciertos, muchos X. • {x y[P(x,y)] xy [P( x,y )]
• Existe por lo menos un X • {xy[P(x,y)] xy [P(x,y)]
3. y Z ;2 y = 1
x −1
4. x R; e =1
PRÁCTICA 10
A) 1 y 3 B) 2 y 3 C) 2 y 4 D) Todas
E) Ninguna
1. Determinar el valor de verdad de: 4. Evaluar:
(
p : x R : 1 − x 0 2
) [(p q) → q], si:
p: x R, x0=1
q : x R : − x 0 2
q: x N, x3-1=0
r : x R : x 2 0 A) V B) F C) q D) p E) N. A.
A) FFF B) FVF C) FVV D) VFV E) VVV
5. Evaluar el esquema:
(p q) → r, si:
2. Sea: A = {0,1,2,3};
p: x R; x = 1
0
Cuales son verdaderas:
1. x A : x 0
3
q: x N; x − 3x − 1 = −1 ,
2
9=x
y A : y y
2 r : x Q: x2 + 1 =0
2.
A) V B) F C) q D) p E) N. A.
(
3. x A : 1 − x 0 )2
A) 1 y 2 B) 1 y 3 C) 2 y 3 D) Todas 6. Dadas las proposiciones:
E) Ninguna P: ~{ x Q, x + 2 0 }
x +1 x+2
Q: x N : 3 + 3 + 3 = 117
x
R: x Z , x / x = 1
3. Indicar cuales son falsas:
Hallar el valor de verdad de:
1. x 2 + 1 0; x R ( P Q) → R
2. Lnx 0; x 1 A)V B)F C)Tautológia D)Contradicción
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
E) V ó F 13. Si: “p * q” sólo es verdadero cuando “p” y
“q” tienen valores de verdad diferentes.
7. Sean las proposiciones: x1
P : x Z : (4 x + 2)(3x − 7) = 0 p: 32 x + 7 , es divisible por 8
Q = x Z : ( x 2 2) ( x − 1) 0 q: x − x + 17 , es un número primo
2
R = x Z : (4x + 2)(3x − 7) = 0 r: 3
2 x +3 x +3
+ 2 , tiene como factor al numero
Los valores de verdad son: 7
A)FFF B)FVF C)FFV D)VFF E)VFV Hallar el valor de verdad de:(p * q) * (q * r)
A)F B)V C) V ó F D)No se puede determinar
8. Si: U = 1,2,3,...,99; determinar el valor
de: 14. Determinar el valor de verdad de:
I. { x U/ x +1 U} p( x) : 32 x + 2 − 2 x +1 , tiene como factor al
II. { x U/ 20 - 3x 0} numero 7; x N
III. { x U/ x - 8 > 5}
A) FFF B) FFV C) FVV D) VFV q( x) : 10 x + 3(4 x + 2 ) + 5 , es divisible por 3;
E) N. A. xN
A) FF B) FV C) VV D) VF E) N. A.
9. Si “x” puede cualquier numero natural,
15. En A = {1,2,3,4}
determine el valor de verdad de:
i. (x)(x2 > x) → (x)(x < 3x)
I. x A; y A/ x2 + y2 >16
ii. (x)(x2 > x) → (x)(x = x)
II. x A; y A/ x2 + y2 > 32
iii. (x)(x +3 = 5) (x)(x+1 >x)
A) FFF B) FFV C) FVV D) VVV III. x A; y A/ x2 + y2 16
E) N. A. IV. x A; y A/ x2 + y2 32
A) FVFV B) VFVF C) VFVV D) VFFV E)
FFVV
10.
p( x) = ( y − 1) 2 0
q( x) = (1 / x) R 16. Sea A = {0, 1, 2, 3} el dominio de x e y.
r ( x) = x 2 0 Señalar el valor de verdad de:
I) x, y: (x2 – y2 10) (x2 y + 1)
Cuales son ciertas:
II) x, y : ( x2 – y2 -10) ( x2 y + 1)
I. y R; p(y)
III) x, y: (x2 y2)
II. x R; q(x) A) VVV B) VFF C) FVV D) VFV
III. x R; q(x) E) N. A
IV. x R; r(x)
A) I y II B) I, III y IV C) I y III D) I y IV 17. Si se conoce: M = {2; 4; 6; 8}
E) II, III y IV Señale la verdad o falsedad de:
I) xM, yM: (x>y) (y>x)
11. Sean las proposiciones:
II) xM, yM: (x>y) (y>x)
P : x Z : (4 x + 2)(3x − 7) = 0
III) xM, yM: (x < y < x+1
Q = x Z : ( x 2 2) ( x − 1) 0 IV) xM, yM: (-x -y -x+1)
R = x Z : (4x + 2)(3x − 7) = 0 A) VVFF B) VVVF C) FVVF D) FVFF
B) E) N. A.
Los valores de verdad son:
A)FFF B)FVF C)FFV D)VFF E)VFV
18. Si: A = {0,1,2},
12. Si “p*q” sólo es verdadero cuando “p” y Determinar el valor de verdad de:
“q” tienen valores de verdad iguales. I. x A; y A: y2 4(x+1)
Si x N II. x A; y A: x2 = y
p: x + 2 x , es divisible por 3
3 III. x A; y A: x = 2y
A) FFF B) FVF C) VVV D) VFV E) VVF
q: x + x , es divisible por 2
2
r: 4 − 1 , es divisible por 3
x
19. Sean A = {1,2,3,4}, B ={1,4,5,8}.
Hallar el valor de verdad de: Determinar el valor de verdad de:
(p * q) * (q * r) x, B, y A : x-y A
A) F B) V C) V ó F x, y A : x+y z , z B
a)FV b)FF c)VF d)VV e)N.A.
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
FORMALIZACIÓN EQUIVALENCIAS
T EM A
11
DE PREDICADOS
Formas típicas de las proposiciones categóricas
La lógica cuantificacional predicativa o de los términos Inferencias Inmediatas para una variable
(clases o conjuntos) es aquella que permite hacer un Univerzalizador o Generalizador
análisis mas profundo, refinado y riguroso que la “Para todo X ” : Es la traducción lingüística del
lógica proposicional. Cuantificador Universal y se simboliza: x.
La razón básica es que esta lógica permite el análisis • Para todo X.
de la Cantidad y Cualidad de las proposiciones • Para cada X.
llamadas categóricas. • Para cualquier X.
• Cualquiera que sea X.
Elementos de la formalización: • Sean todos los x.
• Para cada una de las X.
1. El cuantificador que se representa por una “”,
cuando es de cantidad universal y “” cuando es Particularizador o Existencializador
de cantidad particular. “Algunos X ” : Es la traducción lingüística del
2. El símbolo “x” que es la variable individual y que Cuantificador Existencial y se simboliza: x.
representa el universo de discurso. • Existe X.
3. Las variables predicativas o letra predicativa que
• Algunos X.
esta representada por la primera letra del
• Existe al menos un X.
predicado.
4. Los operadores proposicionales , se usan cuando • Tantos , ciertos, muchos X.
la formula tiene dos predicados; siendo los • Existe por lo menos un X
operadores “→”; “” cuando es universal e “” • Pocos, muchos X.
cuando es particular. • Hay al menos un X que
FORMALIZACION DE DOS PREDICADOS
Inferencias Inmediatas para dos variables
Proposición Forma Formalización
Categórica Lingüística Lógica
Universal Todos los “S” x ( Sx → Px )
Afirmativo Son “P”
Universal Ningún “S” x (Sx → Px)
Negativo Es “P”
Participativo Algún “S” x ( Sx Px )
Afirmativo Es “P”
Participativo Negativo Algún “S” x ( Sx Px)
No es “P”
❖ x ( Sx → Px ) x (Sx Px)
❖ x ( Sx Px ) x ( Sx → Px )
❖ x ( Sx → Px ) x ( Sx Px )
❖ x (Sx Px ) x ( Sx → Px )
PROPOSICIÓN NEGACIÓN
Todos los “S” son “P” Algunos “S” no son “P”
Algunos “S” no son “P” Todos los “S” son “P”
Algunos “S” son “P” Ningún “S” es “P”
Ninguno de los “S” son “P” Algunos “S” son “P”
Algún “S” es “P” Ningún “S” es “P”
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
E) x(AxBx)
7. Formalizar: “Todo honesto es
PRÁCTICA 11 responsable”.
A) x(Ax→Bx)
1. Si: “No es innegable que ninguno sea B) x(Ax→Bx)
extraterrestre”, entonces: C) x(Ax→Bx)
1. Ni siquiera uno es extraterrestre D) x(AxBx)
2. Por lo menos uno es extraterrestre E) x(AxBx)
3. Al menos uno es extraterrestre 8. Formalizar: “Ninguna fruta es mineral”.
4. Algunos son extraterrestres A x(Ax→Bx) B) x(Ax→Bx)
5. Bastantes no son extraterrestres
C) x(Ax→Bx)
Son falazmente incorrectas:
D) x(AxBx) E) x(AxBx)
a) 1,2,3 b) 3,5,4 c) 3,2,4 d) 1,3,5 e) 1,5,4
2. De la premisa: "Algunos insectos no 9. Formalizar: “Es falso que, toda persona
vuelan" se concluye en: sea bondadosa”
(A)Ningún animal que vuela es insecto. A) x(Ax→Bx) B) x(Ax→Bx)
(B)Es falso que haya insectos voladores. C) x(Ax→Bx) D) x(AxBx)
(C)Es una falacia que todo insecto no vuele. E) [x(Ax→Bx)]
(D)Es absurdo que todo insecto vuele. 10. “Si sabemos que: “Algún joven es
(E)De ningún modo hay insectos que no postulante”, equivale:
vuelan. A) Algún joven no es postulante.
3. La expresión: “Algunos son marineros” B) Todo postulante es joven.
equivale a: C) Es falso que todo joven es postulante.
1. No todos no son marineros D) Algún joven no es no postulante.
2. Es falso que ninguno no E) Ningún postulante es joven.
sea marinero 11. La negación de: “La mitad de los
3. Varios no son no marineros postulantes ingresaron a la universidad”,
4. Ni siquiera uno no es marinero equivale a:
5. Es falso que no hay marineros A) Todos ingresaron a la universidad.
Son ciertas: B) Algunos postulantes hayan ingresado a la
a) Todas b) Sólo 1, 3 y 4 universidad.
c) Sólo 1, 2 y 3 d) Sólo 1, 3 y 5 C) Ningún postulante ingreso a la
e) Sólo 2, 4 y 5 universidad.
4. La proposición: “Es falso que ninguno D) Algunos postulantes no ingresaron a la
aprobará” Equivale a: universidad.
a) Varios aprobarán E) N. A.
b) Elena, Ana y Justina aprobarán 12. La negación de: ”Ningún indio es salvaje tal
c) Todos aprobarán como algún ateo es selvático”, es:
d) Ninguno aprobará A)Algún indio no es salvaje tal como todo
e) Ingrid, Lourdes o Carolina no ateo no es selvático.
aprobarán B)Todo indio es salvaje y ningún ateo es
5. La expresión: “Todos son inmortales”, selvático.
equivale a: C)Algún indio es salvaje a menos que todo
1. No hay mortales ateo es selvático.
2. Hay inmortales D)Algún indio es salvaje salvo que ningún
3. Ninguno es mortal ateo es selvático.
4. No existen inmortales E)Todo indio es salvaje o algún ateo no es
5. Ninguno es inmortal selvático.
Son falsas, absolutamente: 13. La proposición: “Muchos de los eficientes
a) 1, 2 y 4 b) 2, 3 y 5 c) 2, 4 y 5 no son eficaces”, tiene como negación a:
d) Todas e) 1, 3 y 4 1. Es mentira que, todos los ineficaces sean
6. Formalizar: “Ningún edificio es ineficientes.
antisísmico”. 2. No hay ineficaces que sean eficientes.
A) x(Ax→Bx) 3. Ninguno de los eficientes es ineficaz.
B) x(Ax→Bx) 4. Ninguno de los eficaces es ineficiente.
C) x(Ax→Bx) 5. No todos los eficientes son eficaces.
D) x(AxBx) No son falsas:
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
a) Sólo 2 y 3 b) 1, 4 y 5 c) 2, 3 y 4 5. Es falso que nadie que sea mamífero es no
d) Sólo 1 y 3 e) 1, 2 y 5 felino.
14. La expresión: “Ninguno no es abogado”, Son ciertas:
equivale a: a) 1 y 3 b) 2 y 4 c) 3 y 5 d) 1 y 4 e) 2 y 5
1. Es imposible que, todos sean abogados. 19. La proposición: “Todos los profesores son
2. Todos son abogados. profesionales, sin excepción” equivale a:
3. Algunos no son abogados. a) Ningún no profesional es no profesor
4. No se cumple que, algunos no sean b) Es falso que todos los profesores sean
abogados. profesionales
5. Indudablemente no es cierto que, varios no c) Es falso que algunos profesores no sean
sean abogados. profesionales
Son ciertas: d) Es falso que algunos profesionales no sean
a) 2, 4 y 5 b) 2, 3 y 4 c) 1, 2 y 5
profesores
d) 1, 3 y 4 e) Ninguna
e) Algunos profesores no son profesionales
15. La proposición: “Todos los leopardos son
cazadores”. Equivale a: 20. La proposición: “Quienquiera que sea
1. Quienquiera que sea no cazador es no militar obviamente que es servidos
leopardo. público” equivale a:
2. Es falso que no todos los leopardos son 1. Todos son militares salvo que sólo sean
cazadores. servidores públicos
3. No hay leopardos que no sean cazadores. 2. Sólo algunos militares son servidores públicos
4. Es falso que la mayoría de leopardos son 3. Todos son servidores públicos a no ser que
cazadores. no sean militares
5. Todos los cazadores son leopardos. 3. Ni siquiera un servidor que no sea público es
Son ciertas: militar
a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 4. Es mentira que la mayoría de servidores
d) 1, 3 y 5 e) 1, 2 y 4 públicos no es militar.
Son absolutamente falsas:
16. La proposición: “Quienquiera que sea no a) 1, 3 y 4 b) Sólo 3 y 4 c) 1, 2 y 5
deportista no es no vegetariano”. Equivale d) Sólo 2 y 5 e) 1, 2 y 4
a:
1. Es mentira que existan vegetarianos no 21. La proposición: “Los cirujanos son
deportistas. médicos” equivale a:
2. Es cierto que nadie que sea deportista es a) Sólo un médico es cirujano
vegetariano. b) Es innegable que cada uno no es cirujano a
3. Total y absolutamente todos los no no ser que sea médico
vegetarianos son deportistas. c) Todos los médicos sólo son cirujanos
4. Es mentira que, haya deportistas que no sean d) No hay cirujanos que no sean no médicos
vegetarianos. e) Todos son médicos no obstante no son
5. Todos son deportistas o sólo vegetarianos. cirujanos
Son inciertas, excepto: 22. La proposición: “Un ácido es reactivo”
a) 1 y 2 b) 2 y 5 c) Sólo 3 d) Sólo 3 y 4 equivale a:
e) 2, 3 y 4 a) Muchos reactivos son ácidos
17. La proposición: “Ninguno no es incapaz”, b) Algunos reactivos no son ácidos
tiene como negación a: c) Todos los reactivos son ácidos
1. Es falso que, algunos sean capaces. d) Todo no es ácido salvo que no
2. Algunos son capaces. sea reactivo
3. Es mentira que, todos sean incapaces. e) Quienquiera que sea ácido de seguro que es
4. Es mentira que, algunos no son incapaces. reactivo
5. Es mentira que, ninguno sea capaz. 23. La proposición: “Quienquiera que sea aviador
No son ciertas, excepto: es militar” tiene como negación a:
a) Sólo 1 y 4 b) 2, 3 y 5 c) Sólo 3, 4 y 5 a) Es falso que algunos aviadores no sean
d) Sólo 2 e) Sólo 3 y 5 militares
18. La proposición: “Varios mamíferos son b) Es mentira que algunos militares no sean
felinos” Equivale: aviadores
1. Es falso que ningún mamífero sea felino. c) Todos los aviadores sin duda no
2. No todos los felinos son mamíferos. son militares
3. Algunos no mamíferos no son no felinos. d) Pocos aviadores no son militares
4. Sí existen felinos que no son no mamíferos. e) Muchos militares no son aviadores
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
INFERENCIA
T EM A
12
CUANTIFICACIONAL
FUNDAMENTACIÓN MÉTODO TRADICIONAL.
TEÓRICA MÉTODO BOOLEANO.
MÉTODO Dos universales
MODO NOMBRE
CUANTIFICACIONAL. Término medio: FIGURA
VÁLIDO LATÍN
Ponendo ponens Tollendo AB= Complementario AAA BARBARA
tollens B’ C = MP
EAE CELAREN
_________ Conclusión: SM
AII DARII
SP
x(Ax → Bx) x(Ax → Bx) AC= Lo que sobra EIO FERIO
x(Ax Cx) x(Cx –Bx) PM
EAE CESARE
__________ ___________ Universal – Particular SM
AEE CAMESTRES
EIO FESTINO
x(Bx Cx) x(Cx –Ax) SP
Término medio: AOO BAROCO
AB=
Idéntico
Silogismo Hipotético Puro CB
Conclusión:
_________ Término particular y
x(Ax → Bx) C A’ Complemento del AII DATISI
MP
x(Bx → Cx) término universal IAI DISAMIS
MS
___________ OAO BOCARDO
SP
x(Ax → Cx) EIO FERISON
PM AEE CAMENES
MS IAI DIMARIS
SP EIO FRESISON
Lic. Jorge Cruz Portugal
Academia Preuniversitaria CIMA LÓGICA
Son inobjetablemente ciertas:
A) 1, 3, 5 B) 2, 3, 5 C) 1, 2,4 D) 3, 5 E) N. A.
PRÁCTICA 12 6. Si: “Es sofisma que, por lo menos un
charlatán no es verborreico, sin embargo,
nadie que sea verborreico es veraz”, de ello se
1. Si: “Ningún peruano es argentino sin embargo deduce que:
todo trujillano es peruano”, podemos deducir a. Cada quien no es veraz excepto que no sea
entonces que: charlatán
1. Todo argentino no es trujillano. b. Casi todos los charlatanes no son veraces
2. Quienquiera que sea el ciudadano no es trujillano c. Nadie que sea charlatán es veraz
salvo que no sea argentino d. Es mentira que, existan charlatanes veraces
3. Es incorrecto que haya trujillanos y a la vez e. Siquiera por lo menos una persona veraz es
argentinos. charlatán
No son absurdas, salvo
4. Ningún trujillano es argentino.
A) 1, 3, 4 B) 1, 4 C) 2, 5 D) 2, 3, 5 E) 1, 4, 5
5. No es verdad que ciudadano trujillano
sea compatible con ciudadano argentino. 7. De las premisas: “Cualquier figura geométrica,
Son no falsas: si es rombo es obvio que es un paralelogramo.
a) 1,2,3 b) 2,3,4 c) 3,4,5 d) Todas e) N.a. Asímismo, nada que sea figura geométrica,
puesto que es paralelogramo, no es polígono”,
2. De las premisas: inferimos válidamente en:
“Ningún arequipeño es liberteño. 1. Ningún rombo es polígono
Algunas persona son arequipeñas”. 2. Es falso que ciertos polígonos son rombos
Se deduce: 3. Cualquier rombo es polígono
A) Todo arequipeño es liberteño. 4. Es falso que existen no polígonos que son
B) Algún arequipeño es liberteño. rombos.
C) Algunas personas son liberteñas. 5. Ningún no polígono no es rombo.
D) Algunas personas no son liberteñas. Sólo son ciertas:
E) N. A. a) 1, 2, 3 b) 2, 3, 4 c) 3, 4, 5
3. De las premisas: “Alguna planta no es d) 1, 3, 5 e) 3, 4
hortaliza, y todas las plantas son vegetales”. 8. De las Premisas: “Algunos comestibles son
Se deduce que: vegetales”, pero “Ningún hidrocarburo es
A) Algún vegetal es hortaliza. comestible”; se concluye:
B) Todos los vegetales son hortalizas. a) Todos los vegetales son comestibles.
C) Alguna hortaliza no es vegetal. b) Hay minerales que son comestibles.
D) Alguna no hortaliza es vegetal. c) Ningún comestible es vegetal.
E) N. A. d) Algunos hidrocarburos no son vegetales.
4. “Cualquier animal siendo avestruz es ave e) Algunos vegetales no son hidrocarburos.
corredora, mas bastantes avestruces de 9. Si: “Ningún oxiuro es tenia”, y “varios oxiuros
ningún modo son aves voladoras”, entonces: son parásitos”, entonces:
1. Hay siquiera una ave corredora que de a) Hay tenias que no son parásitos.
ningún modo es voladora. b) La mayoría de parásitos no son tenias.
2. Es falaz que, toda ave voladora sea c) Ningún parásito es tenia.
corredora
d) Cualquier tenia no es parásito.
3. No, ninguna ave corredora es voladora
4. No siempre, cada ave corredora es voladora e) Cada oxiuro es parásito.
5. En forma alguna, cada quien no es corredora 10. De las premisas:
excepto que sea ave voladora P1: Ni siquiera un español es tailandés
Son falsas: P2: Algunos españoles son venezolanos
A) 1, 2,3 B) 1, 4, 5 C) 4, 5 D) 2, 3 Se concluye:
E) Todas a) Varios venezolanos son tailandeses
b) Quienquiera que sea tailandés no es venezolano
5. “Es objetable que, por lo menos un curandero c) Muchos tailandeses no son venezolanos
folklórico no sea ritualista, mas es negable d) Varios venezolanos no son tailandeses
que, hayan ritualistas que sean ancashinos”, e) Al menos uno no es venezolano ni tailandés
luego:
a. Cada curandero no folklórico en modo alguno 11. De las premisas:
es ancashino P1: Todos los brasileños juegan fútbol
b. Es innegable que, cualquiera de los que cura P2: Algunos peruanos no juegan fútbol
con medicina folklórica no es ancashino Se concluye:
c. Ni siquiera un ancashino es curandero a) Es obvio que muchos brasileños no son peruanos
folklórico b) Por lo menos un peruano no es brasileño
d. Cualquier persona que sea ancashino no es c) Ningún peruano es brasileño
en modo alguno curandero folklórico d) Existen brasileños que son peruanos
e. No es irrefutable que, haya ancashinos que e) Todos los no brasileños son peruanos
son curanderos folklóricos.
Prof. Fernando Caceres Yañez
Academia Preuniversitaria CIMA LÓGICA
12. De las premisas: 18. Dadas las premisas: “Todos los desobedientes
P1:Por lo menos un italiano es vegetariano son locuaces” sin embargo “Todos los
P2:No hay italianos que sean astronautas obedientes son perseverantes”.
Se concluye: Se concluye:
a) Existen vegetarianos que son astronautas a) Todos los perseverantes no son locuaces
b) Ningún astronauta es italiano b) Todos los no perseverantes son lucoaces
c) Muchos astronautas no son italianos c) Todos los perseverantes son locuaces
d) Hay italianos que no son astronautas d) Todos los locuaces son perseverantes
e) Por lo menos un no italiano es no astronauta e) Nada se concluye
13. De las premisas: 19. Del siguiente argumento: “Todos los inmorales
P1:No todos los astronautas son científicos son irresponsables” pero “Ningún responsable
P2:Ningún artesano es científico es ocioso” Podemos concluir.
Se concluye: a) Todos los inmorales son ociosos
a) Por lo menos un artesano es astronauta b) Todos los ociosos son inmorales
b) Ningún astronauta es artesano c) Ningún ocioso es inmoral
c) Al menos un artesano no es astronauta d) Todos los no ociosos son inmorales
d) Existen astronautas que no son artesanos e) Nada se concluye
e) No es posible concluir válidamente 20. Del argumento: “Todos los analfabetos son
irrespetuosos” además “Ningún profesional es
14. De. “Cada nubarrón es agua condensada, así
como, por lo menos un nubarrón es nube irrespetuoso”. Se concluye:
gris”, se deduce a) Ningún profesional no es analfabeto
[Link] inobjetable que, toda agua condesada en b) Todos los profesionales son alfabetos
c) Algunos profesionales son analfabetos
modo alguno es nube gris.
d) Ningún analfabeto es profesional
[Link] es falso que, cualquier fenómeno no es nube e) Todos los analfabetos son profesionales
gris excepto que no sea agua condensada.
[Link] nubes grises son agua condensada 21. Determine la premisa que falta:
[Link] obvio que, nada que sea agua condensada P.1. Cualquier país es Estado.
es nube gris. P.2. .........................................
[Link] innegable que, ninguna nube gris es agua Algunas monarquías no son países:
condensada; negado totalmente. a) Cualquier monarquía es Estado.
Son inciertas: b) Ningún estado es Monarquía.
A) 1, 2, 5 B) 1, 3, 5 C) 2, 4 D) 3, 5 c) Algunos Estados son monarquías.
E) N. A. d) Algunos países son monarquías.
15. De las premisas: e) Algunas monarquías no son Estados.
P1: Muchos deportistas practican tenis
P2: Todos los que practican tenis cuidan su
alimentación
Se concluye:
a) Cualquier deportista cuida su alimentación
b) Al menos un deportista cuida su alimentación
c) Varios deportistas no cuidan su alimentación
d) Muchos que cuidan su alimentación no son
deportistas
e) No es posible concluir válidamente
16. De las premisas:
P1: Algunos osos son animales polares
P2: La mayoría de animales polares son carnívoros
Se concluye:
a) Muchos osos son carnívoros
b) Todos los osos son carnívoros
c) Varios osos no son carnívoros
d) Varios carnívoros no son osos
e) No es posible concluir válidamente
17. De las premisas:
P1: Quienquiera que sea vertebrado es ser vivo
P2: Muchos vertebrados no son carnívoros
Se concluye:
a) Muchos seres vivos son carnívoros
b) Varios carnívoros no son seres vivos
c) Por lo menos un no carnívoro es no ser vivo
d) Varios seres vivos no son carnívoros
e) No es posible concluir válidamente
Prof. Fernando Cáceres Yañez
También podría gustarte
- Conectivos Lógicos y Tablas de VerdadAún no hay calificacionesConectivos Lógicos y Tablas de Verdad38 páginas
- Lógica Proposicional: Proposiciones y Conectivos100% (2)Lógica Proposicional: Proposiciones y Conectivos2 páginas
- Operaciones Lógicas y Tablas de VerdadAún no hay calificacionesOperaciones Lógicas y Tablas de Verdad3 páginas
- Introducción a la Lógica ProposicionalAún no hay calificacionesIntroducción a la Lógica Proposicional4 páginas
- Funciones Veritativas y Daga de ShefferAún no hay calificacionesFunciones Veritativas y Daga de Sheffer4 páginas
- Verdad Formal en Proposiciones LógicasAún no hay calificacionesVerdad Formal en Proposiciones Lógicas4 páginas
- Tablas de Verdad y Lógica ProposicionalAún no hay calificacionesTablas de Verdad y Lógica Proposicional23 páginas
- Ejercicios de Lógica para Academia PreuAún no hay calificacionesEjercicios de Lógica para Academia Preu7 páginas
- Conectivos Lógicos en Proposiciones Matemáticas100% (1)Conectivos Lógicos en Proposiciones Matemáticas13 páginas
- RM - Practica 01-Logica Proposicional - Con Clave - Verano 2018Aún no hay calificacionesRM - Practica 01-Logica Proposicional - Con Clave - Verano 20186 páginas
- Guía de Lógica Proposicional y TablasAún no hay calificacionesGuía de Lógica Proposicional y Tablas36 páginas
- SEMINARIO CLASE UNI CHIMBOTE Enero 2024Aún no hay calificacionesSEMINARIO CLASE UNI CHIMBOTE Enero 20246 páginas
- Lógica Proposicional y EjerciciosAún no hay calificacionesLógica Proposicional y Ejercicios7 páginas
- Tablas de Verdad en Lógica ProposicionalAún no hay calificacionesTablas de Verdad en Lógica Proposicional5 páginas
- Lógica Proposicional: Fundamentos y EjerciciosAún no hay calificacionesLógica Proposicional: Fundamentos y Ejercicios4 páginas
- Fundamentos de Lógica ProposicionalAún no hay calificacionesFundamentos de Lógica Proposicional4 páginas
- Semana 1 Aritmética 2023 Ii Cepre UntelsAún no hay calificacionesSemana 1 Aritmética 2023 Ii Cepre Untels4 páginas
- Práctica Dirigida Nº18 Tablas de VerdadAún no hay calificacionesPráctica Dirigida Nº18 Tablas de Verdad3 páginas
- 00042460007IE01S11003708hoja de Practica 1 de Matematica 1Aún no hay calificaciones00042460007IE01S11003708hoja de Practica 1 de Matematica 178 páginas
- Proposiciones Lógicas y Evaluación MatemáticaAún no hay calificacionesProposiciones Lógicas y Evaluación Matemática6 páginas
- Ejercicios de Lógica ProposicionalAún no hay calificacionesEjercicios de Lógica Proposicional2 páginas
- Lógica Proposicional: Ejercicios y AnálisisAún no hay calificacionesLógica Proposicional: Ejercicios y Análisis8 páginas
- Proposiciones Lógicas y Valores de VerdadAún no hay calificacionesProposiciones Lógicas y Valores de Verdad2 páginas
- Guia #11 - 5º Año - Logica II - AAún no hay calificacionesGuia #11 - 5º Año - Logica II - A8 páginas
- Lógica Proposicional: Fundamentos y EjerciciosAún no hay calificacionesLógica Proposicional: Fundamentos y Ejercicios56 páginas
- Lógica Proposicional: Proposiciones y ConectivosAún no hay calificacionesLógica Proposicional: Proposiciones y Conectivos7 páginas
- Ejercicios de Lógica ProposicionalAún no hay calificacionesEjercicios de Lógica Proposicional5 páginas
- Módulo de Aritmética y Lógica MatemáticaAún no hay calificacionesMódulo de Aritmética y Lógica Matemática22 páginas
- Leyes de Lógica Proposicional y EjerciciosAún no hay calificacionesLeyes de Lógica Proposicional y Ejercicios4 páginas
- Lógica Proposicional: Fundamentos y EjerciciosAún no hay calificacionesLógica Proposicional: Fundamentos y Ejercicios64 páginas
- Ejercicios de Lógica Matemática y Proposiciones50% (2)Ejercicios de Lógica Matemática y Proposiciones3 páginas
- Lógica Proposicional: Fundamentos y EjemplosAún no hay calificacionesLógica Proposicional: Fundamentos y Ejemplos4 páginas
- Lógica Proposicional y Ejercicios MatemáticosAún no hay calificacionesLógica Proposicional y Ejercicios Matemáticos7 páginas
- Lógica y Conjuntos: Fundamentos MatemáticosAún no hay calificacionesLógica y Conjuntos: Fundamentos Matemáticos15 páginas
- Equivalencias Lógicas y ProposicionesAún no hay calificacionesEquivalencias Lógicas y Proposiciones6 páginas
- Lógica Proposicional: Proposiciones y ConectivosAún no hay calificacionesLógica Proposicional: Proposiciones y Conectivos7 páginas
- Proposiciones y Lógica en ÁlgebraAún no hay calificacionesProposiciones y Lógica en Álgebra23 páginas
- Lógica Proposicional: Conceptos y EjerciciosAún no hay calificacionesLógica Proposicional: Conceptos y Ejercicios4 páginas
- Fundamentos de Sistemas HidráulicosAún no hay calificacionesFundamentos de Sistemas Hidráulicos1 página
- Beneficiarios del Bono de Atracción 2019Aún no hay calificacionesBeneficiarios del Bono de Atracción 201939 páginas
- INDICACIONES Y CONDICIONES DE INSCRIPCIÓN Firma (Ene2020)Aún no hay calificacionesINDICACIONES Y CONDICIONES DE INSCRIPCIÓN Firma (Ene2020)2 páginas
- Fundamentos de Sistemas HidráulicosAún no hay calificacionesFundamentos de Sistemas Hidráulicos1 página
- Convertidores de Frecuencia KEB COMBIVERTAún no hay calificacionesConvertidores de Frecuencia KEB COMBIVERT13 páginas
- Manual Postulacion Mipyme ProductivaAún no hay calificacionesManual Postulacion Mipyme Productiva18 páginas
- Análisis de Teoremas y Problemas de Combinatoria100% (1)Análisis de Teoremas y Problemas de Combinatoria6 páginas
- Aplicación Práctica de Conjuntos en IngenieríaAún no hay calificacionesAplicación Práctica de Conjuntos en Ingeniería13 páginas
- Ejercicios de Matemática I: Binomio y ComplejosAún no hay calificacionesEjercicios de Matemática I: Binomio y Complejos5 páginas
- Metodología de Investigación TeológicaAún no hay calificacionesMetodología de Investigación Teológica42 páginas
- Kemel George González - Origen, Destierro y Renacimiento de Los InfinitesimalesAún no hay calificacionesKemel George González - Origen, Destierro y Renacimiento de Los Infinitesimales10 páginas
- Simbolización de Carol en lógica proposicionalAún no hay calificacionesSimbolización de Carol en lógica proposicional4 páginas
- Lista de Verbos para Comprender Consignas y PreguntasAún no hay calificacionesLista de Verbos para Comprender Consignas y Preguntas4 páginas
- Problemas de Conjuntos y Subconjuntos MatemáticosAún no hay calificacionesProblemas de Conjuntos y Subconjuntos Matemáticos4 páginas
- Teoría de Conjuntos para PreuniversitariosAún no hay calificacionesTeoría de Conjuntos para Preuniversitarios7 páginas
- Examen Liderazgo Integral y CreativoAún no hay calificacionesExamen Liderazgo Integral y Creativo5 páginas
- Silabo - MA-181 - Matematica BasicaAún no hay calificacionesSilabo - MA-181 - Matematica Basica8 páginas
- Interpretación y Razonamiento JurídicoAún no hay calificacionesInterpretación y Razonamiento Jurídico5 páginas
- Lógica de Términos y ProposicionesAún no hay calificacionesLógica de Términos y Proposiciones91 páginas
- Tarea 3 de Logica Computacional, Henry Junior Ortiz TorresAún no hay calificacionesTarea 3 de Logica Computacional, Henry Junior Ortiz Torres14 páginas
