Exercício de Fixação de Lógica Proposicional

Prévia do material em texto

Prezado (a) Aluno(a),
Você fará agora seu EXERCÍCIO DE FIXAÇÃO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua avaliação. O mesmo será composto de questões de múltipla escolha (3).
Após a finalização do exercício, você terá acesso ao gabarito. Aproveite para se familiarizar com este modelo de questões que será usado na sua AV e AVS.
	
	
		1.
		Dada a expressão (~p --> q) ^ p, podemos afirmar que o resultado da sua tabela verdade é dada por:
		
	
	
	
	
	F F F F
	
	 
	V V F F
	
	
	V V V V
	
	
	V F V F
	
	
	F F V V
	 Gabarito Comentado
	 Gabarito Comentado
	
	
		2.
		Dada a expressão ~(p^q) <--> p, podemos afirmar que o resultado da sua tabela verdade é dada por:
		
	
	
	
	 
	V V V V
	
	
	F V V V
	
	
	F F F F
	
	
	V F F F
	
	 
	F V F F
	 Gabarito Comentado
	 Gabarito Comentado
	
	
		3.
		Supondo que as proposições "P" e "Q" tem em suas colunas solução os seguintes valores lógicos: VVVV e FFFF, respectivamente. Quanto a "P" e "Q", nessa ordem, podemos dizer que são:
 
		
	
	
	
	
	contraválida e tautológica.
 
	
	
	tautológica e contingente.
 
	
	 
	tautológica e contraválida.
 
	
	 
	contingente e contraválida.
 
	
	
	ambas contingentes.
	 Gabarito Comentado
	 Gabarito Comentado
	
	
		4.
		A tabela-verdade de uma proposição composta com n proposições simples contém 2^n linhas, assim: se a proposição P é composta pelas proposições p,q e r então sua tabela verdade possui,
		
	
	
	
	 
	8 linhas
	
	
	6 linhas
	
	
	2 linhas
	
	
	3 linhas
	
	
	4 linhas
	 Gabarito Comentado
	
	
		5.
		A tabela-verdade de uma proposição composta com n proposições simples contém 2^n linhas, assim: se a proposição Q é composta pelas proposições p,q ,r e t então sua tabela verdade possui,
		
	
	
	
	
	8 linhas
	
	
	2 linhas
	
	 
	16 linhas
	
	
	4 linhas
	
	
	32 linhas
	
	
	
		6.
		Dada a expressão p^(q v p), podemos afirmar que o resultado da sua tabela verdade é dada por:
		
	
	
	
	
	F F V V
	
	
	V F V F
	
	 
	V V F F
	
	
	F F F F
	
	
	V F F F
	 Gabarito Comentado