Exibir mapa completo

Copiar e editar mapa Copiar

Lógica Computacional

Outro

Jorge Meireles

Seguir

Começar. É Gratuito

ou inscrever-se com seu endereço de e-mail

Mapas mentais semelhantes Esboço do mapa mental

Lógica Computacional por Jorge Meireles Mind Map: Lógica Computacional

Mind Map: Lógica Computacional

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 proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir.

3. Tabela-Verdade

4. O valor-verdade de uma proposição composta é obtido de forma úni- ca a partir dos valores-verdade atribuídos às proposições simples que a compõem.A atribuição de um valor-verdade para uma proposição simples depende do seu contexto e faz parte do estudo semântico.

4.1. Conjunção Disjunçã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. Critérios para o valor-verdade O valor-verdade de uma proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir. Conjunção (∧) Uma conjunção tem seu valor lógico (V) se, e somente se, as duas proposições que a compõem forem verdadeiras (V). Ob- serve que, na tabela apresentada, a conjunção tem valor lógico (V) somente na primeira linha, onde as proposições p e q são verdadeiras. Disjunção (∨) Uma disjunção tem valor-verdade (F) se, e somente se, ambas as proposições que a compõem forem falsas (F) (é o caso da última linha da disjunção). Condicional (→) Uma proposição condicional é falsa (F) se, e somente se, a pro- posição antecedente for verdadeira (V) e a consequente for falsa (F) (é o caso da segunda linha da condicional).

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 substituídas por letras maiúsculas do alfabeto latino: A, B, ... , Z.

7. Proposição

7.1. Simples

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

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

7.1.1.1.1. Conjunção

7.1.1.1.2. Disjunção

7.1.1.1.3. Condicional

7.1.1.1.4. Bicondicional

7.1.1.1.5. Negação

7.2. Composta

7.2.1. Duas proposições simples ou mais.

ou Inscrever-se