contraejemplo

contraejemplo

s. m. Aquello que contradice una afirmación, una regla o una teoría aseguró que todos los cisnes eran blancos y ellos, como contraejemplo, le señalaron que existen cisnes negros.
Traducciones

contraejemplo

SMcounter-example
Ejemplos ?
Se puede demostrar que el número de hojas en un árbol binario completo es el número de nodos interiores más uno. Supongamos que existe un contraejemplo; entonces debe existir un contraejemplo con el mínimo número de nodos posible.
En este contraejemplo, el número de nodos internos difiere del número de hojas más uno, pero no puede ser el árbol más pequeño, dado que éste cumple con la propiedad.
C., Esopo sería el autor de un gran número de fábulas, breves relatos, bien en prosa o bien versificados para facilitar su memorización, muchos de ellos protagonizados por animales antropomorfizados (hablan y se comportan como seres humanos), como recurso literario muy efectivo para la sátira de costumbres, al convertirse en un ejemplo o contraejemplo moral.
Roderick M. Chisholm propuso el siguiente contraejemplo:Un observador ve en la lejanía lo que le parece exactamente una oveja. Así que cree que hay una oveja en el campo.
Entonces, el contraejemplo mínimo tiene al menos una hoja cuyo ancestro es un nodo interno. Al remplazar ese nodo interno por el hermano de la hoja en el contraejemplo mínimo se obtiene un árbol más pequeño que también es un contraejemplo, lo que representa una contradicción.
El primer contraejemplo enunciado por Gettier es el siguiente: Smith ha pedido un trabajo pero tiene la creencia justificada de que «Jones conseguirá el trabajo».
Si se puede demostrar que la existencia de un contraejemplo mínimo implica la existencia de un contraejemplo aún más pequeño se llega a una contradicción por lo que el conjunto de contraejemplos debe ser vacío.
Sin embargo, la búsqueda de las clases de azar que hacen que una situación sea un contraejemplo de Gettier ha generado varias propuestas.
Por eso no sirve la inducción, porque por mucho que se experimente nunca se podrá examinar todos los casos posibles, y basta con un solo contraejemplo para echar por tierra una teoría.
En sentido figurado, las representaciones de la realidad en «blanco y negro». Un contraejemplo: El principio del Yin y yang. No es en estricto sentido un par de términos dicotómicos, porque todas las variantes de la enseñanza oriental coinciden en que los términos no se descartan mutuamente sino que se complementan y se sobreponen.
En efecto, es: Reflexivo: forall n in mathbb N, entonces n le n (porque por definición, n=n,) Antisimétrico: forall n_1, n_2 in mathbb N, si; n_1 le n_2; y; n_2 le n_1,; entonces n_1 le n_2 le n_1 Rightarrow n_1=n_2 Transitivo: forall n_1,n_2,n_3 in mathbb N, si; n_1 le n_2; y; n_2 le n_3,; entonces n_1 le n_2 le n_3 Rightarrow n_1 le n_3 Orden total, pues Sean m y n dos números naturales, entonces m ≤ n ó n ≤ m.: Contraejemplo, (ℤ +,) no es totalmente ordenado con la relación a b, " a divide b"; pues: 5 no divide a 12, ya que no existe h entero positivo tal que 12 = 5h.
La línea Lyon-Nantes aparece sin embargo como un contraejemplo: si la línea apenas lleva cada vez menos viajeros al funcionar el TGV Lyon - Nantes vía Massy-TGV, las infraestructuras de esta línea han sido actualmente mejoradas por la SNCF con la electrificación entre Tours y Vierzon en diciembre de 2007 y el proyecto de electrificar a medio plazo entre Bourges y Saincaize.