Exibir mapa completo

Copiar e editar mapa Copiar

Lógica Computacional

Outro

YAN FELLIPE MACENA SOUSA DE LIMA

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 YAN FELLIPE MACENA SOUSA DE LIMA 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. Na qual utiliza elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos.

2. O valor-verdade de uma proposição composta depende 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́nica 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