Subido por Jose Martinez

ACT 4

Anuncio
Ma. Isabel Morales Salgado
MATEMATICAS PARA LA COMPUTACION
1 De acuerdo a la lectura de lógica1 (última parte); elabora la demostración directa de los
siguientes argumentos. Estudiar la validez del razonamiento.
1) [(p → q) ∧ (q ←→ ¬r)] → (p → ¬r)
p: Torcuato se casa
q: Florinda se tira al tren
r: Torcuato se hace cura
Si Torcuato se casa, entonces Florinda se tira al tren.
Florinda se tira al tren siempre y cuando Torcuato no se haga cura.
Por lo tanto, si Torcuato se casa, entonces no se hace cura.
2) (p→r∨ q)∧(r→¬q)⇒p→r(p→r∨q)∧(r→¬q)⇒p→r
p : 1Gb es mejor que nada.
q : Compraremos mayor capacidad de memoria.
r : Compraremos un ordenador nuevo
Actividad 3
Descargar