¿Qué es un contraejemplo?

Preguntado por: Ian Echevarría  |  Última actualización: 22 de enero de 2022
Puntuación: 4.3/5 (70 valoraciones)

En lógica, especialmente en sus aplicaciones a matemáticas y filosofía, un contraejemplo es una excepción a una regla general propuesta, es decir, un caso específico de la falsedad de una cuantificación universal. Por ejemplo, consideremos la proposición "todos los escritores son inteligentes".

¿Cómo se hace un contraejemplo?

Lógica. Método por contraejemplo. Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un elemento que satisfaga la hipótesis de la proposición, pero que no satisfaga su conclusión. A dicho elemento se le conoce con el nombre de contraejemplo.

¿Qué es un ejemplo y un contraejemplo?

La noción de contraejemplo refiere a un ejemplo que se utiliza para desmentir o refutar lo que se intentó exponer con otro. Un contraejemplo, por lo tanto, funciona por oposición a un primer ejemplo. ... Con un contraejemplo se evidencia que la generalización no es acertada. Veamos otro caso.

¿Qué es metodo contraejemplo?

El método del contraejemplo supone que el razonamiento dado no es correcto admitiendo la existencia de una interpretación que interprete a las fórmulas premisas como verdaderas y a la fórmula conclusión como falsa; con esta hipótesis se interpretan todas las subfómulas del razonamiento.

¿Cómo demostrar si una proposición es verdadera o falsa?

Dada una proposición cualquiera P; podemos formar una nueva proposición no es verdadero que P. Por ejemplo, si consideramos la proposición (verdadera) El núumero entero 3 es impar podemos formar la nueva proposición No es verdadero que el núumero entero 3 es impar, la cual evidentemente es falsa.

¿QUÉ ES UN CONTRAEJEMPLO?

36 preguntas relacionadas encontradas

¿Cómo se demuestra por contradicción?

Prueba por contradicción
  1. Se quiere demostrar que una afirmación P es verdadera.
  2. Se asume que P es falsa.
  3. Se muestran las consecuencias del hecho de que P sea falsa.
  4. Se llega a un absurdo o imposibilidad.

¿Cómo se demuestra por absurdo?

La demostración por reducción al absurdo es un tipo de argumento muy empleado en demostraciones matemáticas. Consiste en demostrar que una proposición matemática es verdadera, probando que si no lo fuera conduciría a una contradicción, por lo cual sería verdadera.

¿Qué es un contraejemplo IPC?

CONTRAEJEMPLO: Consiste en construir un razonamiento de la misma forma lógica que otro, pero con premisas verdaderas y conclusión falsa. Su función es probar la invalidez de los razonamientos. FORMA DE RAZONAMIENTO: Se divide en formas válidas (que preservan o transmiten la verdad) y en las formas inválidas.

¿Qué es una afirmacion refutada?

Refutación es hallar el error en una argumentación general y explicar el mismo mediante el uso de citas, razones o pruebas.

¿Cuál es la forma de asegurar en matemáticas que una afirmación es falsa?

En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas.

¿Qué significan las refutaciones para Popper?

La refutación misma de una teoría -es decir, de la anticipación o solución tentativa para nuestro problema- es siempre un paso adelante. Es la manera por la cual podemos aprender de nuestros errores, dice Popper. ... Para nosotros como personas es importante poder aprender de nuestros errores.

¿Cómo se refuta un argumento?

Cuatro pasos para refutar argumentos
  1. Primer Paso: “Ustedes han dicho…” Es importante que el público (y el jurado) sepa claramente contra qué idea de nuestro oponente vamos a lanzar la refutación. ...
  2. Segundo Paso: “Sin embargo…” ...
  3. Tercer Paso: “Porque…” ...
  4. Cuarto Paso: “Y, por tanto…”

¿Qué es la asimetria logica?

En la filosofía contemporánea se afirma que entre confirmación y refutación hay una asimetría lógica, esta consiste en que puede probare la falsedad de una hipótesis, pero no puede probarse su verdad.

¿Cuándo tiene contraejemplo el modus tollens?

El modus tollendo tollens (latín: "el modo que, al negar, niega",​ conocido como modus tollens,​​​​ negación del consecuente o ley de contraposición)​ es una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y Q no es cierto, entonces P no es cierto".

¿Qué es un argumento invalido?

Un argumento es inválido cuando la interpretación que hace verdadero al conjunto de premisas hace falsa a la conclusión.

¿Cómo demostrar que un razonamiento es invalido?

Un razonamiento es INVÁLIDO cuando de premisas VERDADERAS se llega a una conclusión falsa.

¿Qué es la reducción al absurdo?

El esquema de argumento conocido como Reductio ad Absurdum (RA) es uno de los modos característicos de argumentación en filosofía y consiste en refutar una tesis deduciendo de ella una implicación absurda.

¿Qué son los argumentos deductivos por reducción al absurdo?

El argumento de la reducción al absurdo se define en el mundo del Derecho como aquel que permite rechazar un significado de un enun- ciado normativo de entre las teóricamente (o prima facie) posibles, por las consecuencias absurdas a las que conduce.

¿Quién inventó el metodo de reducción al absurdo?

Al parecer, fue Euclides el autor de la misma (aparece en la Proposición 20 del Libro IX de Elementos), y utiliza el método de reducción al absurdo. Vamos a ver una especie de traducción moderna de la misma. Queremos demostrar que hay infinitos números primos.

¿Qué es una prueba por Contrapositiva en matemáticas?

En matemáticas, la demostración por contraposición es una regla de inferencia utilizada en demostraciones. Esta regla se infiere una sentencia condicional a partir de su contraposición. ​ En otras palabras, la conclusión «si A, entonces B» se extrae de la premisa simple «si no B, entonces no A».

¿Qué es un razonamiento indirecto?

Muchas veces se llega a una conclusión correcta por medio de razonamiento indirecto. En esta forma de razonamiento, se llega a la conclusión correcta eliminando todas las conclusiones posibles excepto una. La posibilidad restante debe ser la correcta.

¿Qué es la asimetría lógica entre verificación y falsación?

Esa asimetría lógica entre verificación y falsación es la clave del método científico, que consiste en una búsqueda sin término, porque nunca podemos demostrar con certeza que nuestras teorías son definitivamente verdaderas, y siempre deberíamos buscar contraejemplos que nos ayuden a acercarnos más a la verdad mediante ...

¿Qué es la asimetría lógica entre refutación y verificación?

La llamada 'asimetría entre refutación y verificación' consiste, desde un punto de vista lógico, entre la asimetría entre una tautología y una 'no tautología'.

¿Qué es la lógica de verificación?

(del latín “verificare”: demostrar la verdad.) Uno de los principios básicos de los positivistas lógicos, según el cual la veracidad de toda aseveración relativa al mundo ha de ser establecida, en último término, confrontando la aseveración dada con los datos sensoriales.

¿Que se puede refutar?

Refutar es un verbo que refiere a la acción de negar, objetar o desmentir algo a partir de la exposición de argumentos contrarios a aquello que se rechaza. Lo que se hace al refutar algo, por lo tanto, es oponerse a lo afirmado por otro u otros, esgrimiendo razones que justifican dicha oposición.

Articolo precedente
¿Cuál es el especialista que trata la andropausia?
Articolo successivo
¿Qué fue el digesto?