Operadores lógicos sentencial, tabelas de entrada-saída e regras de implicação
Trabalhando com a lógica sentencial significa trabalhar com uma linguagem concebida para expressar argumentos lógicos com precisão e clareza. Para fazer uso desta linguagem da lógica, você precisa saber o que os operadores de utilizar, as tabelas de insumo-produto para os operadores, e as regras de implicação.
Esta tabela apresenta operadores lógicos sentenciais:
As próximas tabelas oferecem tabelas de insumo-produto para operadores lógicos sentenciais:
Logic ajuda a chegar a conclusões, que você faz com a ajuda de regras de implicação para a lógica sentencial:
