Conceitos da lógica computacional
Rander Magayverにより
1. A lógica computacional e a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. Nesse sentido é preciso seguir um raciocínio organizado e complexo.
2. O valor verdade de uma proposição composta depende unica- mente do valor logico de suas proposições simples, seguindo os criterios a seguir
3. Dois tópicos de valores verdade
4. O valor-verdade de uma proposição composta é obtido de forma única a parti dos valores verdades atribuídos as proposições simples que a compõem. A atribuição de um valor verdade para uma proposição simples.
5. Critérios para o valor verdade Valor verdade de uma proposição composta depende unicamente do valor lógico de suas proposições simples, seguindo os critérios a seguir. Conjunção (∧) Uma conjunção tem seu valor lógico (V) se, e somente se, as duas proposições que a compõem forem verdadeiras.
6. Proposição
6.1. É uma sentença declarativa que assume um dos dois valores verdade: (V) ou (F)
6.2. As Proposições podem ser substituidas por letras maisculas do alfabeto latino: A,B,...,Z
7. PROPOSIÇÃO
8. SIMPLES
8.1. É simples , e somente se, contiver uma unica afirmação
8.1.1. As proposições são ligadas por conectivos.