Definindo tabelas verdade

tabelas de verdade é uma estratégia da lógica simples que estabelece a validade das várias propostas sobre qualquer situação, ou seja, determina as condições para ser verdade uma proposta de declaração, permitindo classificados em tautolgicos (são verdadeiras para qualquer situação) contraditória (são declarações falsas na maioria dos casos) ou contingentes (declarações que não podem ser muitos o verdadeiro eo falso não há uma tendência a um sentido ). declaração

permite que diferentes aspectos das condições que tornam verdadeiras e quais são as suas conclusões lógicas, ou seja, se a declaração proposta é verdadeira ou falsa. Esta tabela foi concebido por Charles Sander Peirce sobre em 1880, mas o mais utilizado é o modelo atualizado de Luidwin Wittgenstein em 1921. construção

La do mesa baseia-se na utilização de uma carta para as variáveis ​​de resultado e ao mesmo sejam atendidas dizer que eles são verdadeiros, caso contrário, se não cumprimento atribui-lhes o nome falso, por exemplo: Declaração: Se nos mudamos, meu cão morre . Variáveis: A: Se silenciosa caminho B: Cão morre.

Se você disser que é verdade tanto variáveis ​​ são atribuídos a letra (V) e representa a positividade da declaração, se algumas das variáveis ​​não forem atendidas são atribuídos a letra (F) esta não é a falsidade a declaração e que se reuniu uma única variável pode ser designado como verdade, que dependem da declaração. Quando ambos os valores são verdadeiras em todas as ocasiões diz-se que há uma conjugacin na declaração, no entanto s dois resultados reais é obtida e, em seguida, um verdadeiro e outro falso é dito que há uma disyuncin .

.