a truth table is a handy little logical device that appears up not only in mathematics but also in Computer Science and Philosophy, making it an awesome interdisciplinary tool. A notação pode variar dependendo da disciplina em que você está trabalhando, mas os conceitos básicos são os mesmos.
esta primera irá equipá-lo com o conhecimento de que necessita para compreender a lógica simbólica. Vamos começar com a definição dos operadores comuns e no próximo post, vou mostrar-lhe como dissecar uma lógica mais complicada.,
→ para mais tutoriais em matemática, confira Hacks de matemática no YouTube! ←
Álgebra booleana é um ramo da álgebra que envolve boóis, ou valores verdadeiros e falsos. São tipicamente denotados como T ou 1 para true E F ou 0 para false. Usando este sistema simples, podemos resumir afirmações complexas em fórmulas lógicas digeríveis.
operadores unários
operadores unários são as operações mais simples porque eles podem ser aplicados a um único valor Verdadeiro ou Falso.
identidade
a identidade é o nosso caso trivial. Afirma que o verdadeiro é verdadeiro e o falso É Falso.,
negação
o operador de negação é comumente representado por um tilde (~) ou símbolo. Nega, ou muda, o valor da verdade de alguma coisa.podemos mostrar esta relação numa tabela da verdade. Uma tabela verdade é uma forma de organizar informações para listar todos os cenários possíveis.
Nós intitulamos a primeira coluna p para proposição. Na segunda coluna aplicamos o operador a p, neste caso é ~p (Leia: não p). Então, como você pode ver se nossa premissa começa como verdadeira e nós a negamos, obtemos falsa, e vice-versa.,
o Verdadeiro Lógico e Lógico False
Estas são meio estranhas operações. O verdadeiro lógico sempre resulta em falso verdadeiro e falso lógico sempre resulta em falso não importa a premissa. Estas operações são muitas vezes referidas como” sempre verdadeiras “e”sempre falsas”.,
Binary Operators
Binary operators require two propositions., Usaremos p E q Como nossas proposições de amostra.
e
The AND operator (symbolically: ∧) also known as logical conjunction requires both p and q to be True for the result to be True. Todos os outros casos resultam em falsos. Isto é logicamente o mesmo que a intersecção de dois conjuntos em um diagrama de Venn.