prova 1.2 de lógica

Prévia do material em texto

Instituto de Ciências Exatas e Tecnologia
Campus São José do Rio Preto
	Curso: Análise e Desenvolvimento de Sistemas
Disciplina: Lógica
Prof(a): Patricia Correia de Souza Menandro
Prova: NP1
	NOTA
	Nome do aluno:
	RA:
	Turma:
	Assinatura do aluno:
	Data da Prova:
	INSTRUÇÕES
Caso a letra seja considerada ilegível, a resposta será anulada. 
Não é permitido utilizar folha adicional para cálculo ou rascunho.
Faça a prova com tinta azul ou preta.
Desligue o celular e observe o tempo disponível para resolução.
Não é permitida a consulta a qualquer material manuscrito ou impresso.
A prova é individual e não é permitido tirar dúvidas com outras pessoas durante a sua realização.
Em caso de fraude, todos os envolvidos receberão nota zero.
Esta prova tem peso 8 e presença e participação na aula tem peso 2.
(1,5 pontos) Mediante o uso de tabela – verdade, testar a validade do argumento: 
p → q´
(1,25 pontos) Determine, justificando, se a seguinte proposição, 
(q ⟶ p) ⟶ (p ⟶ q), é: 
Contingência
Tautologia
Contradição
(1,0 ponto) Sabendo que os valores lógicos das proposições p, q, r e s são, respectivamente, 1, 1, 0 e 0, determinar o valor lógico de cada uma das proposições: 
(p ⟶ r) ⟶ (p’ ⟶ r’)
((p + s) . (s + r))’
(2,5 pontos) Construir a tabela-verdade das proposições seguintes: 
 p ⟶ r ⟷ q + r’
p’. r ⟶ q + r
(0,25 ponto) No exercício anterior, podemos concluir que ocorreu nas letras a) e b), respectivamente, os seguintes casos:
Contingência e tautologia.
Tautologia e contingência.
Contingência e contradição.
Tautologia e contradição.
Contradição e contingência.
Justifique sua resposta.
(2,0 pontos) Se V(p)=V(q)=1 e V(r)=V(s)=0, determinar os valores lógicos das seguintes proposições:
(p ⟷ q) . ( r’ ⟶ s)
[p’ + (q . s)]’+ (r ⟶ s’)
q’ . [(r’+s)⟷(p ⟶q’)]
(0,75 ponto) Desenhar o diagrama de Euler-Venn para mostrar: p . q’ + p’. q
(0,75 ponto) Desenhar os circuitos referentes às expressões abaixo: 
m + n + p + q 
x . y + x . y’