Lógica_Computacional

Prévia do material em texto

Arial;;;;;;;Lógica Computacional
Proposição
É 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.
Proposição
Simples
É simples se, e somente se, contiver uma única afirmação.
As proposições são ligadas por conectivos.
Conjunção
Disjunção
Condicional
Bicondicional
Negação
Negação é unário.
Composta
Duas proposições simples ou mais.
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). Observe 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).
O valor-verdade de uma proposição composta é obtido de forma única 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.
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
Tabela 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.
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.