# data[].attributes.attachment_link.title
Noções Básicas de Lógica - Brasil Escola

# data[].attributes.attachment_link.title
Lógica de Programação: O que é e Por que é Importante?

# data[].attributes.attachment_link.description
Veja neste artigo as principais informações sobre a Lógica de Programação, seus conceitos, usos e aplicações, como no desenvolvimento de algoritmos. Leia!

# data[].attributes.attachment_link.readable_text
Lógica Computacional

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

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

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

3. Proposição

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

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

4. Proposição

4.1. Simples

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

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

4.1.1.1.1. Conjunção

4.1.1.1.2. Disjunção

4.1.1.1.3. Condicional

4.1.1.1.4. Bicondicional

4.1.1.1.5. Negação

4.2. Composta

4.2.1. Duas proposições simples ou mais.

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

6. Tabela-Verdade

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

# data[].attributes.attachment_link.description
Lógica Computacional 4.1.1. É simples se, e somente se, contiver uma única afirmação. 4.1.1.1. As proposições são ligadas por conectivos. 4.1.1.1.1. Conjunção 4.1.1.1.2. Disjunção 4.1.1.1.3. Condicional 4.1.1.1.4. Bicondicional 4.1.1.1.5. Negação 4.2.1. Duas proposições simples ou mais.

# data[].attributes.headline
Lógica: uma ferramenta indispensável na programação de computadores

# data[].attributes.subject
Lógica: uma ferramenta indispensável na programação de computadores