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

1. O valor-verdade de uma proposição composta depende do valor lógico de suas proposições simples, seguindo os critérios a seguir.

2. O valor-verdade de uma proposição composta é obtido de forma única 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.

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

3. Proposição

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

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

4. Proposição

4.1. Simples

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

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

4.1.1.1.1. Conjunção

4.1.1.1.2. Disjunção

4.1.1.1.3. Condicional

4.1.1.1.4. Bicondicional

4.1.1.1.5. Negação

4.2. Composta

4.2.1. Duas proposições simples ou mais.

5. A lógica computacional é a linguagem por trás das funções de um computador. Na qual utiliza elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos.

6. Tabela-Verdade

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