Conceitos da Lógica computacional
por Ruan Cardoso
1. A lógica computacional é 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, o qual faz parte do pensamento computacional.
2. O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir.
3. Dois tópicos de Valores Verdade
4. O valor-verdade de uma proposição composta é obtido de forma úni- ca a partir dos valores-verdade atribuídos às proposições simples que a compõem.A atribuição de um valor-verdade para uma proposição simples depende do seu contexto e faz parte do estudo semântico.
4.1. Conjunção Disjunção Condicional Bicondicional p q p∧q p∨q p→q p↔q V V V V V V V F F V F F F V F V V F F F F F V V
5. Critérios para o valor-verdade O valor-verdade de uma proposição composta depende unica- mente 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 (V). Ob- serve que, na tabela apresentada, a conjunção tem valor lógico (V) somente na primeira linha, onde as proposições p e q são verdadeiras. Disjunção (∨) Uma disjunção tem valor-verdade (F) se, e somente se, ambas as proposições que a compõem forem falsas (F) (é o caso da última linha da disjunção). Condicional (→) Uma proposição condicional é falsa (F) se, e somente se, a pro- posição antecedente for verdadeira (V) e a consequente for falsa (F) (é o caso da segunda linha da condicional).
6. 1-Principio da identidade : garante que uma preposição é igual a si mesma . Isso parece estranho em um primeiro momento , mas do ponto de vista formal é necessário garantir isto ;
7. Proposição 2
7.1. É uma sentença declarativa que assume um dos dois valores-verdade: (V) ou (F).
7.2. As proposições podem ser substituídas por letras maiúsculas do alfabeto latino: A, B, ... , Z.
8. Proposição 1
8.1. Simples
8.1.1. É simples se, e somente se, contiver uma única afirmação.
8.1.1.1. As proposições são ligadas por conectivos.
8.1.1.1.1. Conjunção
8.1.1.1.2. Disjunção
8.1.1.1.3. Condicional
8.1.1.1.4. Bicondicional
8.1.1.1.5. Negação
8.2. Composta
8.2.1. Duas proposições simples ou mais.