Professional Documents
Culture Documents
MAT1012 - 2
Nicolás Morales
13 de Agosto de 2010
es una tautologı́a.
1
Soluciones:
p≡V; q ≡F
2. Sabemos que:
[p → (q ∨ r)] ≡ F
2
4. Ya que la proposición es falsa, podemos afirmar que [q → (r ∧ s)] ≡ V
y también [(p ∨ q) → p] ≡ F , esto último nos indica que p ≡ F y que
(p ∨ q) ≡ V , obteniendo ası́ el valor de q el cual es V . Al observar el
resto de la proposición, notamos que si [q → (r ∧ s)] ≡ V y también
q ≡ V , necesariamente (r ∧ s) ≡ V , por lo tanto r ≡ s ≡ V .
∀x ∈ R, ∃y ∈ R | y 2 = x
∃x ∈ R, ∀y ∈ R | y 2 6= x
Lo que se lee como: Existe un número real tal que dado otro número
real cualquiera, este no es el cuadrado del primer número.