Question

Como puedo explicar que son las funciones de verdad

Answer 1

En la lógica proposicional las funciones de verdad son los conectores que relacionan distintas proposiciones simples o compuestas; estas conectivas o conectores son el conjuntor (y), el disyuntor (o) que puede ser inclusivo o exclusivo, el condicional, el bicondicional y el negador; todos ellos son reductibles al conjuntor y negador. Es decir, en lógica proposicional todo se puede decir con "y" y con "no". Cada uno de los conectores se define en términos de verdad o falsedad. Por ejemplo el conjuntor (y) se define como verdadero solo cuando los dos elementos que relaciona son verdaderos.