Resultado de búsqueda
Si tienes un gato, no tendrás ratones. Con toda honestidad, no solemos necesitar ayuda para determinar si una oración es una tautología, contradicción o contingencia. A menudo decimos que las tautologías son triviales, y las contradicciones son obvias.
- Reclamaciones Múltiples
La consistencia es una relación bastante simple. Significa...
- Tablas de la Verdad
Si una declaración es una tautología, una contradicción, o...
- Reclamaciones Múltiples
Tautología: proposición que es siempre verdadera independiente de los valores de veracidad de sus proposiciones componentes. Ejemplo p ∨ ¬p Contradicción: proposición que es siempre falsa independiente de los valores de veracidad de sus proposiciones componentes. Ejemplo p ∧ ¬p Contingencia: proposición que es verdadera o falsa Ejemplo p ∨ (p↓ q)
Otro ejemplo Determinar, utilizando equivalencias, si la fórmula P ⇒ Q ∧ P es una tautologı́a, contradicción o contingencia. P ⇒ Q ∧ P ≡ ¬P ∨ (Q ∧ P ) ≡ ¬P ∨ Q (por P ⇒ Q ≡ ¬P ∨ Q) (por absorción) Dado que el valor de verdad de ¬P ∨ Q puede ser verdadero o falso, la fórmula es una contingencia.
la tautología y la contradicción pueden transformarse una en otra mediante una simple operación, pero, como luego veremos, una representa el modelo de razonamiento a seguir y la otra una impureza cuya presencia echa por tierra el valor de cualquier demostración.
LÓGICA SIMBÓLICA. PROPOSICIONES SIMPLES Y COMPUESTAS. CONECTIVOS LÓGICOS: CONJUNCIÓN, DISYUNCIÓN, NEGACIÓN. TABLAS DE VERDAD. CONDICIONAL. BICONDICIONAL. TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA. En el desarrollo de cualquier teoría, se hacen afirmaciones en forma de oraciones.
En este módulo se abordan los siguientes temas: la lógica como ciencia; definición, clases de proposiciones; operadores o conectivos lógicos; tautología, contradicción y contingencia; equivalencia e implicación y las principales leyes lógicas o tautologías notables.
Podemos usar tablas de verdad para determinar si una declaración es una tautología, contradicción o declaración contingente. En una tautología, la tabla de la verdad será tal que cada fila de la tabla de la verdad bajo el operador principal será verdadera.
