Raciocinio logico

INTRODUÇÃO À LÓGICA
Definição: Uma proposição (afirmação) é uma sentença declarativa que pode ser classificada, unicamente, como verdadeira ou falsa.
Observação: verdadeiro( V ) e falso( F ) são os únicos valores lógicos que uma proposição pode ter.
Toda a lógica clássica está baseada em três princípios que são enunciados abaixo.
Princípio da não-contradição: “Uma proposição não pode ser verdadeira e falsa ao mesmo tempo.”
Princípio do terceiro excluído: “Toda proposição ou é verdadeira ou é falsa, não há um terceiro caso a ser considerado.” Princípio da identidade: “Uma proposição verdadeira só pode ser verdadeira, da mesma forma que uma proposição falsa só pode ser falsa.”
Exemplos de proposições:

p : “O céu é azul”. , q : “João não viajou”.
Cada uma das duas proposições acima podem ser classificadas unicamente como verdadeiras ou falsas. Além disso, podemos negar cada uma delas com a utilização da palavra “não”, incluindo-a (se não houver tal palavra na proposição simples) ou excluindo-a (se já houver tal palavra na proposição simples). Negando as duas proposições acima temos:

p : “O céu é azul”. (incluindo “não”)
Negação de p : “O céu não é azul”.

q : “João não viajou”. (excluindo “não”)
“João não viajou”, logo: Negação de q : “João viajou”.
Importante: Por hora é importante saber que os valores lógicos de uma proposição e sua negação são sempre diferentes, ou seja, se uma é verdadeira
(V), então sua negação é falsa (F) e vice-versa.
Estudaremos a negação com mais detalhes posteriormente. EXERCÍCIOS
1. Três amigas, Tânia, Janete e Angélica, estão sentadas lado a lado em um teatro. Tânia sempre fala a verdade,
Jante às vezes fala a verdade e Angélica nunca fala a verdade. A que está sentada à esquerda diz: “Tânia é quem está sentada no meio”.
A que está sentada no meio diz: “Eu sou Janete”.
A que está à direita diz: “Angélica é quem está no meio”. Nessas condições, as amigas que estão sentadas à esquerda, no