Beruflich Dokumente
Kultur Dokumente
LÒGICA PROPOSICIONAL A) ∼ q → p
Semana
1 Si la proposiciòn (∼ p∧ ∼ r) → (r4q) es falsa B) ∼ p∨ ∼ q
y las proposiciones s y t tienen valor de verdad C) p →∼ q
desconocido, ¿cuàl de las siguientes proposi- D) ∼ p∧ ∼ q
ciones son verdaderas?
E) p∧ ∼ q
I. (p ∧ s) ∨ q
II. (s ∨ t) →∼ r 5 Al simplificar:
III. (t ∧ q) → p t → {[(p → q) → q] ∧ [∼ p ∧ (q → p)]}
A) Solo II B) Solo III C) I y II indique lo que se obtiene.
D) II y III E) N inguna A) ∼ q B) ∼ p C) ∼ t
D) p ∧ q E) q ∧ t
2 Indique la alternativa correcta despues de de-
terminar si la proposiciòn es verdadera (V) o 6 Se define p♦q ≡ (p∧ ∼ q) ∨ (q∨ ∼ p)
falsa (F), segun el orden dado: Simplifique:
I. Entre dos nùmeros racionales existe al menos [(∼ p♦q) → q] → [p → (q♦p)]
un nùmero irracional. A) p B) q C) ∼ p
II. El nùmero π se puede expresar exactamente D) ∼ q E) T autologia
22
como un nùmero racional π =
7 7 Negar la siguiente proposiciòn:
III. La suma de dos nùmeros irracionales es un “Algùn alumno no estudia”
nùmero irracional.
A) Todos los alumnos no estudian
A) V V V B) V V F C) V F F
D) F V F E) F F F B) Algunos alumnos estudian
C) Ningùn alumno estudia
3 Si:
D) Todos los alumnos estudian
p: Daniel compra manzanas
E) Solo un alumno estudia
q: Daniel ingresa temprano a la CEPREUNA
r: Daniel se levanta temprano 8 Si el siguiente esquema molecular es contradic-
torio
Formalizar:
“Si Daniel se levanta temprano y no compra ∼ {∼ [(p ∧ q) → r] ∧ [(r → q) ∨ p]}
manzanas implica que no podrà ingresar a la
CEPREUNA, pero que haya comprado man- halle los valores de verdad de las variables
zanas es condicion necesaria y suficiente para proposicionales p, q y r.
que se haya levantado temprano” A) F F V B) F V F C) V F V
A) [(r∧ ∼ p) ∨ ∼ q] ∧ (p ↔ r) D) V V F E) F V V
B) [(r ∧ p) →∼ q] ∧ (q ↔ r) 9 Negar la siguiente proposiciòn
C) [(r∧ ∼ p) →∼ q] ∧ (p ↔ r) “Ningùn economista es contador”
D) [(r∧ ∼ p) ↔ q] ∧ (r → p) A) Algùn economista no es contador
E) [(p ∧ p) → r] ∧ p B) Algùn economista es contador
4 Simplificar: C) Todos los economistas son contadores
D) Ningùn economista es contador
∼ {∼ [∼ (p ∧ q) ∧ (∼ p∧ ∼ q)]} E) Todos los economistas no son contadores
[(Ac ∪ B) ∩ (B c ∪ A)]c ∪ (A ∩ B)
A = {4, 5, {4, 3} , 1, {{2, 3, 4}, 2}, {7}}
A) A B) B C) Ac
Indicar el valor de verdad de cada proposición: D) A ∪ B E) A ∩ B
A = {(n + m) , (n + p) , 8} y
B = {(m + p) , 10} {(A − B) ∩ (A ∪ C)c }∩{(Ac − B) ∪ (Ac ∩ B)c }
Hallar: m + n − p
A) 3 B) 8 C) 7 A) ∅ B) A − B C) C c
D) 4 E) 5 D) (A ∩ C) − B E) (A ∩ B)c