O que é Logica Computacional

Começar. É Gratuito
ou inscrever-se com seu endereço de e-mail
O que é Logica Computacional por Mind Map: O que é Logica Computacional

1. Tabela-Verdade

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

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

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

5. Proposição

5.1. É uma sentença declarativa que assume um dos dois valores-verdade: (V) ou (F).As proposições podem ser substituídas por letras maiúsculas do alfabeto latino: A, B, ... , Z.

6. Proposição

6.1. Simples

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

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

6.1.1.1.1. Conjunção

6.1.1.1.2. Disjunção

6.1.1.1.3. Condicional

6.1.1.1.4. Bicondicional

6.1.1.1.5. Negação

6.2. Composta

6.2.1. Duas proposições simples ou mais.

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