Para que se usan las marcas textuales de explicación y contradicción?​

Explanation:

Ingles:

Two definitions are:

1. In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction.

https://en.wikipedia.org/wiki/Proof_by_contradiction

2. Contradiction is a kind of semantic relation between sentences. Contradiction occurs when sentences are unlikely to be correct at the same time [1]. For example, the contradiction happens between the sentence pair “Some people and vehicles are on a crowded street” and “Some people and vehicles are on an empty street”.

Contradiction Detection with Contradiction-Specific ... - MDPI (the link)

Espanol:

Dos definiciones son:

1. En lógica y matemáticas, la prueba por contradicción es una forma de prueba que establece la verdad o validez de una proposición, mostrando que asumir que la proposición es falsa conduce a una contradicción.

https://en.wikipedia.org/wiki/Proof_by_contradiction

2. La contradicción es una especie de relación semántica entre oraciones. La contradicción ocurre cuando es poco probable que las oraciones sean correctas al mismo tiempo [1]. Por ejemplo, la contradicción se produce entre el par de frases "Algunas personas y vehículos están en una calle muy transitada" y "Algunas personas y vehículos están en una calle vacía".

Detección de contradicciones con contradicciones específicas ... - MDPI (el enlace)