Admin ¿Cómo saber si una proposición es equivalente?
1 Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en todas sus interpretaciones). También decimos que dos proposiciones son equivalentes cuando la bicondicional que se forma entre ellas es una tautología y viceversa.
¿Qué fórmulas son lógicamente equivalente a P → Q?
Diremos que dos proposiciones P y Q son lógicamente equivalentes si es una tautología, es decir, si las tablas de verdad de P y Q son iguales. Sea P una tautología y q una variable de P. Si sustituimos cada aparición de q por cualquier otra proposición Q entonces la proposición resultante es también una tautología.
¿Qué significa p → q?
La condicional p→q suele leerse “p implica q” o “p sólo si q”. Observe que: En consecuencia, cuando p es falsa, la condicional p→q es verdadera sin importar el valor de verdad de q. b) La bicondicional p ↔ q es verdadera siempre que p y q tienen los mismos valores de verdad; y es falsa en otro caso.
¿Qué es una proposición equivalente ejemplos?
Proposiciones equivalentes. Dos proposiciones son equivalentes cuando en todos los casos toman los mismos valores lógicos. Por ejemplo: “Soy madre” es equivalente a “Soy mujer y tengo un hijo”. En matemáticas, la equivalencia suele ir ligada a los signos = y ⇔.
¿Cuándo se dice que una proposición implica lógicamente a otra?
La implicación o condicional es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
¿Cómo se lee p => q?
La proposición p⇒q p ⇒ q se lee «p implica q » o «si p entonces q » y es falsa solamente cuando la primera proposición (antecedente) es verdadera y la segunda proposición (consecuente) es falsa.
¿Qué significa lógicamente equivalente?
Una proposición es lógicamente equivalente a otra cuando cada una de las asignaciones de valores de verdad a las proposiciones simples que las componen genera el mismo valor de verdad en ambas proposiciones. En otras palabras, dos expresiones son lógicamente equivalentes si sus tablas de verdad son iguales.
¿Cómo se lee P ∧ Q?
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”.
¿Cómo saber si dos proposiciones son equivalentes?
Dos proposiciones son equivalentes cuando en todos los casos toman los mismos valores lógicos. Por ejemplo: “Soy madre” es equivalente a “Soy mujer y tengo un hijo”. En matemáticas, la equivalencia suele ir ligada a los signos = y ⇔.
¿Cómo saber si una implicación es logica?
Conectivas Lógicas : Proposición Condicional. Si se conectan dos enunciados colocando la palabra “si” antes de la condición – llamada antecedente – y después de la palabra “entonces” , el consecuente; la proposición compuesta resultante se llama un condicional, proposición hipotética o implicación.
¿Cómo es la negación de una proposición?
Para negar una proposición simple, se le antepone la expresión “no es verdad que”, “no es cierto que” o se incluye la palabra “no” al enunciado. Una proposición simple se representa simbólicamente con una letra. Generalmente son utilizadas las letras p, q, r o s.