Búsqueda de valores de verdad

Abstract

En este vídeo se presenta un ejemplo en el que se debe determinar un conjunto de valores de verdad para que una proposición no implique tautológicamente a otra proposición. En este caso, se debe determinar un conjunto de valores de verdad para las proposiciones simples que verifiquen que la implicación propuesta no es una tautología.

This video presents an example in which a set of truth values ​​must be determined so that one proposition does not tautologically imply another proposition. In this case, a set of truth values ​​must be determined for simple propositions that verify that the proposed implication is not a tautology.