Exibir mapa completo

Copiar e editar mapa Copiar

Lógica Computacional

Outro

Warley Cesar

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 Warley Cesar 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. 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

ou Inscrever-se