O que é uma declaração Logic

? Demonstrações fornecem a base para tirar conclusões válidas na lógica, mas a matemática ea filosofia também utilizar instruções lógicas para a construção de argumentos válidos e tirar conclusões. Embora possa não parecer que quando você está fora de uma sala de aula , você usa instruções lógicas em linguagem corrente para transmitir informações para outras pessoas e tirar suas próprias declarações conclusions.Logic

A declaração é uma frase que declara alguma coisa e que pode ser verificado como verdadeiro ou falso . Sentenças fragmentos, perguntas e comandos não são declarações de lógica , porque eles não são declarativas , frases completas.

Por exemplo, " As chaves do carro estão na gaveta " é uma afirmação lógica , porque é uma frase completa e declara algo que pode ser verificado como verdadeiro ou falso. Você pode verificar para ver se algo é uma afirmação lógica , acrescentando " É verdade que ..." para o início da frase . Se ainda faz sentido com " É verdade que ... " na frente dele , é uma afirmação lógica
Declaração condicional

A declaração lógica condicional é um declaração de que está composta de duas condições, sempre que uma condição depende do outro . Para toda a instrução condicional para ser verdade, a condição de dependente deve ser verdade quando o outro é verdadeiro Por exemplo, considere a seguinte declaração condicional: "Se eu estudar , então eu vou conseguir uma boa nota . " Se você estudar e conseguir uma boa nota , então a instrução condicional é verdadeiro; No entanto, se você estudar e você não conseguir uma boa nota , então a instrução condicional é falsa.
Uso de instruções lógicas

As declarações lógica são utilizados para tirar conclusões válidas . A conclusão é válida se todas as premissas que levaram a essa conclusão são verdadeiras. Por exemplo, considere as seguintes declarações:

". Se eu estudar , vou receber uma boa nota "

". Estudei "

Se você assumir que estudar garantias uma boa nota, fazendo a primeira premissa verdadeira , e que você fez estudo , tornando a segunda premissa verdadeira, então você pode concluir que você recebeu uma boa nota.
Outras considerações

As variáveis ​​são muitas vezes utilizados para ver facilmente a relação entre duas afirmações lógicas sem ter que reescrever toda a instrução toda vez que você quiser falar sobre a relação entre os dois. Para fazer isso, você tem que atribuir as variáveis ​​para cada uma das afirmações . A partir do exemplo na Seção 3, as duas declarações que estão sendo feitas são: " eu estudo " e "Eu vou receber uma boa nota. " Seja P igual " eu estudo " e Q igual "Vou receber uma boa nota " :

Se P , então Q

P , portanto , Q.