FUNDACION UNIVERSITARIA TECNOLOGICO COMFENALCO PRECALCULO TALLER DE TABLAS DE VERDAD E INFERENCIAS LOGICAS JADER MELENDEZ BELEÑO Realiza en cada caso la tabla de verdad pedida. 1. (p v q) → (p v ¬q) 2. (p ∧ q) v (p ∧ ¬r) 3. ((((p ∧ q) → r ) ∧ (¬q → r )) →...
More
FUNDACION UNIVERSITARIA TECNOLOGICO COMFENALCO PRECALCULO TALLER DE TABLAS DE VERDAD E INFERENCIAS LOGICAS JADER MELENDEZ BELEÑO Realiza en cada caso la tabla de verdad pedida. 1. (p v q) → (p v ¬q) 2. (p ∧ q) v (p ∧ ¬r) 3. ((((p ∧ q) → r ) ∧ (¬q → r )) → (p → r)) Realice en cada caso la demostración propuesta justificando cada paso. 1. Demostrar Q. (1) S → ( P v Q) (2) S (3) ¬ Q 2. Demostrar R. 4. S → ¬ T 5. T 6. ¬ S → R 3. Demostrar S ∧ T (1) P∧R (2) P → S (3) R → T 4. Demostrar ¬ T (1) P → S (2) P ∧ Q (3) (S ∧ R) → ¬ T (4) Q → R 5. Demostrar Y ¿ Z (1) (X = Y) → (X = Z) (2) (X ≠ Y) → (X ¿ Z) (3) (X Z) V (Y ¿ Z) (4) (Z ≠ Y) ∧ (X ≠ Z) 6. Demostrar x ¿ 4 (1) (2x +3y =18) ∧ (x +4y = 16) (2) (x =2 ) → ( 3x +2y ≠ 18) (3) (x=2) v (y=3) (4) x ≠ 4 → y ≠ 3
Less
