encuentra los valores de verdad correspondientes para que se cumpla el valor indicado
Respuestas
Respuesta:
13. Universidad EAFIT Pedro Vicente Esteban Duarte Modus tollens: ((p → q)∧¬q) ⊢ ¬p, se lee “si p entonces q; ¬q; por lo tanto ¬p”. Silogismo Hipotético: ((p → q)∧(q → r)) ⊢ (p → r), se lee “si p entonces q; si q entonces r; por lo tanto, si p entonces r”. Silogismo Disyuntivo: ((p∨q)∧¬p) ⊢ q, se lee “si
sollunaestelar748 avatar
“si p o q; no p; por lo tanto, q”. Dilema Constructivo: ((p → q) ∧ (r → s) ∧ (p ∨ r)) ⊢ (q ∨ s), se lee “si p entonces q; y si r entonces s; pero p o r; por lo tanto q o s”. Dilema Destructivo: ((p → q)∧(r → s)∧(¬q∨¬s)) ⊢ (¬p∨¬r), se lee “si p entonces q; y si r entonces s; pero no q o no s; por lo tanto no p o no r”.
sollunaestelar748 avatar
Dilema Bidireccional: ((p → q) ∧(r → s) ∧(p ∨¬s)) ⊢ (q ∨¬r), se lee “p entonces q; y si r entonces s; pero p o no s; por lo tanto q o no r”. Simplificación: (p∧q) ⊢ p, se lee “p y q son verdaderos; por lo tanto p es verdadero”. Conjunción: p,q ⊢ (p∧q), se lee “p y q son verdaderos separadamente; entonces son
sollunaestelar748 avatar
verdaderos conjun- tamente.”. Adición: p ⊢ (p∨q), se lee “p es verdadero; por lo tanto la disyunción (p o q) es verdadera”. Composición: ((p → q)∧(p → r)) ⊢ (p → (q∧r)), se lee “si p entonces q; y si p entonces r; por lo tanto si p es verdadero entonces q y r son verdaderos”. Teorema de De Morgan (1) ¬(p∧q) ⊢ (¬p∨¬q), se lee
sollunaestelar748 avatar
“la negación de (p y q) es equivalente a (no p o no q)”. Teorema de De Morgan (2): ¬(p ∨q) ⊢ (¬p ∧¬q), se lee “la negación de (p o q) es equivalente a (no p y no q)”. Conmutación (1): (p∨q) ⊢ (q∨ p), en general “(p o q) es equivalente a (q o p)”. Conmutación (2): (p∧q) ⊢ (q∧ p), en general “(p y q) es equivalente a (q y p)”.
sollunaestelar748 avatar
Conmutación (3): (p ↔ q) ⊢ (q ↔ p), en general “(p es equivalente a q) es equivalente a (q es equivalente a p)”. Asociación (1): (p∨(q∨r)) ⊢ ((p∨q)∨r), en general “p o (q o r) es equivalente a (p o q) o r”. Asociación (2): (p∧(q∧r)) ⊢ ((p∧q)∧r), en general “p y (q y r) es equivalente a (p y q) y r”. Distribución (1):
sollunaestelar748 avatar
(p∧(q∨r)) ⊢ ((p∧q)∨(p∧r)), en general “p y (q o r) es equivalente a (p y q) o (p y r)”. Distribución (2): (p∨(q∧r)) ⊢ ((p∨q)∧(p∨r)), en general “p o (q y r) es equivalente a (p o q) y (p o r)”. Doble Negación: p ⊢ ¬¬p, en general “p es equivalente a la negación de no p”. Transposición: (p → q) ⊢ (¬q → ¬p), en general “si p entonces q es equivalente a si no q entonces no p”. 13
Explicación paso a paso:
Respuesta:
A: PΛQ B: P>Q C: ~P➜~Q
R: FVF R: VvV R:VvFfV
Explicación paso a paso:
ai estan los ejercicios y abajo de cada uno esta el resultado ; la d no las se perdon.