Lógica Computacional

Começar. É Gratuito
ou inscrever-se com seu endereço de e-mail
Lógica Computacional por Mind Map: Lógica Computacional

1. É simples se, e somente se, contiver uma única afirmação.

2. As proposições podem ser substituídas por letras maiúsculas do alfabeto latino: A, B, ... , Z.

3. Composta

4. Duas proposições simples ou mais.

5. 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.

6. 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.

6.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

7. Proposição

7.1. É uma sentença declarativa que assume um dos dois valores-verdade: (V) ou (F).

8. Proposição

8.1. Simples

8.1.1. As proposições são ligadas por conectivos.

8.1.1.1. Conjunção

8.1.1.2. Disjunção

8.1.1.3. Condicional

8.1.1.4. Bicondicional

8.1.1.5. Negação

8.1.1.5.1. Negação é unário.

8.1.2. 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).

9. 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.

10. Tabela-Verdade