Em qualquer sistema de lógica, você comparar declarações para provar ou refutar sua validade. Com uma lógica sentencial, você usa as seguintes regras de equivalência para fazer essas comparações:
Logic For Dummies
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 implicação.
Menu
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, o que você faz com a ajuda de regras implicação para a lógica sentencial:
Regras de equivalência para Sentencial Logic
Identidade e Quantificador Regras para Quantifier Logic
lógica quantificador engloba as regras da lógica sentencial e se expande sobre eles para que você possa escrever instruções inteiras com símbolos lógicos. Esses símbolos entram em jogo quando você trabalha com identidades, ou constantes intercambiáveis. As regras de identidade são mostrados aqui:
E, quando se fala de identidades, você pode quantificar declarações, usando as regras na tabela a seguir:
Dicas para fazer um exame Logic
Tomando um exame na lógica exige uma cabeça clara e um plano claro. As pontas na lista a seguir pode ajudá-lo a se aproximar de um exame de lógica com a melhor chance de provar a sua proficiência:
Comece olhando ao longo de todo o exame para começar uma sensação para o que é coberto.
Aqueça-se com um problema fácil em primeiro lugar.
Preencha a coluna verdade mesas por coluna.
Se você sabe que cometeu um erro, digamos assim - você pode obter crédito parcial.
Se o tempo é curto, terminar o material tedioso.
Verifique - e double-check - seu trabalho.