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
