Operações Lógicas. As operações feitas a partir de proposições são chamadas de operações lógicas. Este tipo de operação segue as regras do chamado cálculo proposicional. As operações lógicas fundamentais são: negação, conjunção, disjunção, condicional e bicondicional.
Simbolicamente: "p v q" (lê-se: "p OU q"). Condicional: chama-se proposição condicional ou apenas condicional representada por "se p então q", cujo valor lógico é falsidade (F) no caso em que p é verdade e q é falsa e a verdade (V) nos demais casos.
Para negarmos uma proposição composta ligada pelo conectivo operacional "OU" , basta negarmos ambas as proposições individuais(simples) e trocarmos o conectivo "ou" pelo conectivo"e". Ou seja, "transformaremos" uma disjunção inclusiva em uma conjunção. Vejamos; "Augusto é feio ou Maria é Bonita".
A lógica digital se baseia em operações lógicas. Cada uma delas decide se algo é VERDADEIRO ou FALSO (os únicos dois valores possíveis) baseado no fato de que uma ou mais condições são, por sua vez, VERDADEIRAS ou FALSAS. ... A decisão a ser tomada, então, é se a afirmação "vou à praia" será verdadeira ou falsa.
Na álgebra Booleana, existem três operações ou funções básicas. São elas, operação OU, operação E e complementação.
Tabela verdade ou tabela de verdade é uma ferramenta de natureza matemática muito utilizada no campo do raciocínio lógico. Seu objetivo é verificar a validade lógica de uma proposição composta (argumento formado por duas ou mais proposições simples).
Proposições são usualmente consideradas como o conteúdo de crenças e outros pensamentos representativos. Elas também podem ser o objeto de outras atitudes, como desejo, preferência, intenção, como em "Desejo um carro novo" e "Espero que chova", por exemplo.
Para negar uma proposição no formato condicional (p q), faremos o seguinte:
Para negarmos uma sentença com conectivo "ou" a Lei de De Morgan nos orienta a negar todas as partes trocando o conectivo "ou" pelo conectivo "e". Assim a negação da proposição "João é rico, ou Maria é pobre" pode ser escrita como "João não é rico, e Maria não é pobre".