logica de programação / 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 proposição composta depende unica- mente do valor lógico de suas proposições simples, seguindo os critérios a seguir.

3. 2 tópicos de Valores , Verdade

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.

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

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

6. pra que estudar lógica ? não é más fácil começar direto em uma linguagem ?

6.1. O que é a lógica computacional?

7. Proposição 2

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

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

8. Proposição 1

8.1. Simples

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

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

8.1.1.1.1. Conjunção

8.1.1.1.2. Disjunção

8.1.1.1.3. Condicional

8.1.1.1.4. Bicondicional

8.1.1.1.5. Negação

8.2. Composta

8.2.1. Duas proposições simples ou mais.

9. Princípios fundamentais da Lógica

10. 1-Principio da identidade : garante que uma preposição é igual a si mesma . Isso parece estranho em um primeiro momento , mas do ponto de vista formal é necessário garantir isto ;

11. 2- Princípio da não contradição: uma preposição não pode ser verdadeira e falsa ao mesmo tempo.

12. 3- Princípio do terceiro excluído : uma preposição ou é verdadeira ou é falsa ; não existe uma terceira alternativa .