Opa, salve salve caros visitantes, volto a postar hoje com um assunto que fritou muitos neurônios na aula de Lógica Computacional de ontem (20/03/07).
Bom, como vocês viram no exercício que o professor Anderson passou, é de extrema importância que vocês tenham as tabelas-verdade bem afiadas e entendam o porquê dos resultados. É exatamente sobre isso que eu vou falar agora. Vamos debugar?
Começaremos então com os símbolos, são eles:
Agora vamos para a parte boa 
, as tabelas:
Negação
Como o próprio nome já diz, a negação nega alguma coisa, ela simplesmente inverte os valores, ou seja, se P for verdadeiro, então ~P é falso. Calma que você vai já entender, assim que você visualizar a tabela-verdade e o exemplo:
Exemplo:
- P: Maria foi ao cinema.
- ~P: Maria não foi ao cinema.
Conjunção
A conjunção só será verdadeira se P e Q forem verdadeiras, se algumas delas for diferente disso, o resultado é falso:
Exemplo:
- P: João é alto.
- Q: José é magro.
Se realmente João for alto e José for magro, então o resultado e verdadeiro, agora se João não for alto ou José não for magro, então o resultado será falso.
Disjunção
Na disjunção, teremos verdadeiro como resultado se pelo menos um dos valores for verdadeiro:
Exemplo:
- P: Maria foi à praia.
- Q: Maria foi ao mercado.
Se Maria tiver ido à praia ou ao mercado, o resultado será verdadeiro, porque ela foi a pelo menos a um dos lugares.
Disjunção Exclusiva
A disjunção exclusiva é a mesma coisa que a disjunçao, só que o resultado só será verdadeiro, se somente uma for verdadeiro e a outra falsa (e vice-e-versa):
Exemplo:
- P: Maria foi à praia.
- Q: Maria foi ao mercado.
Se Maria foi à praia, então ela não pode ter ido ao mercado ao mesmo tempo, e vice-e-versa.
Condicionamento
O condicionamento indica que o acontecimento de P é uma condição para que Q aconteça, ou seja, o resultado vai ser falso se P for verdadeiro e Q for falso, caso contrário, o resultado então será verdadeiro. Calma que você vai entender 
:
Exemplo:
- P: Chover.
- Q: A rua fica molhada.
Se chover então a rua fica molhada.
Bicondicionamento
O resultado só será verdadeiro se os dois valores forem iguais, caso contrário, o resultado será falso
Exemplo:
- P: Aprovado.
- Q: Estudar.
João será aprovado se e somente se estudar.
Bom, básicamente é isso, no próximo post eu vou colocar os exercícios que a gente fez na sala com as suas respectivas respostas.
Espero que tenham entendido, qualquer dúvida, utilize o espaço do blog (comentários) ou então via e-mail ( simonarde@gmail.com ).
Até o próximo,
Simonarde Jr.
Comentários