1) (Nvel 1 1,5 ponto) Lgica tem dois significados principais: discute o uso de raciocnio em alguma

atividade e o estudo normativo, filosfico do raciocnio vlido. No segundo sentido, a lgica

discutida principalmente nas disciplinas de filosofia, matemtica e cincia da computao. Ambos
os sentidos se baseando no foco comum referente harmonia de raciocnio, a proporcionalidade
formal entre argumentos, assim sendo, a correta e equilibrada relao entre todos os termos, a total
concordncia entre cada um deles dentro de um desenvolvimento.
A seguir sero feitas algumas afirmaes sobre o estudo da lgica, determine se essas afirmaes
so verdadeiras (V) ou falsas (F).

( ) Um argumento uma sequncia de proposies (declaraes/afirmaes) na qual uma delas a concluso e as

demais so premissas. Uma proposio (ou declarao/afirmao) uma sentena que pode ser verdadeira ou falsa. O
objeto de estudo da lgica determinar se a concluso de um argumento ou no uma consequncia lgica das
premissas.

( ) Quando dois ou mais argumentos tm a mesma forma, se um deles vlido, todos os outros
tambm so, e se um deles invlido, todos os outros tambm so.

( ) A conjuno de duas proposies p e q retorna um valor lgico verdadeiro quando, pelo menos
uma das duas premissas, for verdadeira.

( ) Na disjuno exclusiva, o fato de ambas proposies ( p e q ) serem verdadeiras, o valor lgico

retornar um valor falso.

( ) A condicional retorna um valor lgico verdadeiro quando p e q so verdadeiros ou quando p

e q forem falsos.

2) (Nvel 1 1,5 ponto) O conceito mais elementar no estudo da lgica o de Proposio. Proposio
vem de propor que significa submeter apreciao; requerer um juzo. Trata-se de uma sentena
declarativa algo que ser declarado por meio de termos, palavras ou smbolos e cujo contedo
poder ser considerado verdadeiro ou falso. Proposies podem ser ditas simples ou compostas.
Sero proposies simples aquelas que vm sozinhas, desacompanhadas de outras proposies.
Todavia, se duas (ou mais) proposies vm conectadas entre si, formando uma s sentena,
estaremos diante de uma proposio composta.

A seguir so apresentadas algumas proposies compostas, analise-as e determine o valor lgico

(V ou F) de cada uma das seguintes proposies compostas: (1,0 pontos)

a) O Brasil banhado pelo Oceano Atlntico e no faz divisa com a Argentina.

b) A leitura estimula o pensamento ou 10 no mltiplo de 5.

c) So Paulo fica no nordeste brasileiro se e somente se o fumo pode causar cncer.

d) Se 5 2 diferente de 3 ento todo nmero inteiro positivo.

3) (Nvel 2 2,0 pontos) Duas proposies so consideradas equivalentes entre si, quando transmitem
a mesma ideia. De forma mais tcnica, dizemos que duas proposies so equivalentes entre si
quando elas sempre possuem o mesmo valor lgico ou seja, quando uma verdadeira, a outra
tambm , e quando uma falsa, a outra tambm . Resumidamente, duas proposies so
 equivalentes quando possuem a mesma tabela-verdade. Podemos notar tambm que as relaes de
equivalncia possuem algumas propriedades pr-definidas.
Sabendo-se que as proposies abaixo so equivalentes, associe as proposies com a propriedade
que melhor defina a equivalncia estabelecida dente elas:

Proposies Leis de Equivalncia

(A) p^ q q^ p ( ) Distributividade
(B) p ^ (q v r) (p ^ q) v (p ^ r) ( ) Contraposio
(C) p q p v q ( ) Condicional
(D ) p q q p ( ) Comutatividade
(E) p p ^ q p q ( ) Absoro
4) (Nvel 2 2,0 pontos) Tabela verdade ou tabela veritativa um tipo de tabela matemtica usada
em Lgica para determinar se uma frmula vlida ou se um sequente correto.
As tabelas verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros nomes da dcada
de 1880, e tomaram a forma atual em 1922 atravs dos trabalhos de Emil Post e Ludwig
Wittgenstein. A publicao do Tractatus Logico-Philosophicus, de Wittgenstein, utilizava as
mesmas para classificar funes veritativas em uma srie. A vasta influncia de seu trabalho levou,
ento, difuso do uso de tabelas verdade.
Determinar o valor lgico das proposio composta abixo, em funo dos valores lgicos das
proposies que a compe, para isso construa sua tabela verdade:

a) (p ^ q) v ~ r)

b) (p q) (q v r)
c) (p v q) v ~(p v ~ r)

d) ~ (p v q) ~p ^ ~ q
5) (Nvel 3 3,0 pontos) Sero apresentadas algumas proposies, analise cada uma delas, verifique a
possibilidade de sua reduo utilizando as regras de equivalncia sugerida e reescreva a nova forma
da proposio. Ao final monte as tabelas verdade da proposio original e da equivalente pra
comprovar a equivalncia.

a) ( ~ q v r ) ^ (( q r) ^ ( q ~ r )) (Refutao por absurdo)

b) ( r ^ q v p ) ^ (( p q)^(~p q )) v r (Dilema)
c) p v ( p q)^(q p ) v q (Bicondicional)