A maior rede de estudos do Brasil

Grátis
4 pág.
UMC_AVALIAÇÃO_LÓGICA_ÁLGEBRA

Pré-visualização | Página 1 de 1

AVALIAÇÃO DE LÓGICA E ALGEBRA RELACIONAL
1) Seja p=”marcos é rico” e q=”marcos é feliz”. Sabendo que quem não é feliz é infeliz e quem não é rico é pobre, escreva as proposições abaixo na forma simbólica:
A) Marcos é pobre e feliz: ~p ^ q
B) Marcos não é rico nem feliz: ~(p ^ q)
C) Marcos é ou rico ou infeliz: p v ~q
D) Marcos é pobre, ou é ao mesmo tempo rico e infeliz: ~p v (p ^ ~q)
2) Determine a tabela verdade de cada uma das proposições:
a) 
	p
	q
	~ q
	p v ~q
	V
	V
	F
	V
	V
	F
	V
	V
	F
	V
	F
	F
	F
	F
	V
	V
b) 
	p
	q
	~ p
	~ q
	~ p ^ ~q
	V
	V
	F
	F
	F
	V
	F
	F
	V
	F
	F
	V
	V
	F
	F
	F
	F
	V
	V
	V
c) 
	p
	q
	~p
	~q
	P ^ q
	~ P ^ q
	~(~p ^ q)
	V
	V
	F
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	F
	F
	V
	V
	F
	F
	V
	F
	F
	F
	V
	V
	F
	V
	F
3) Mostrar as leis de Morgan 
em tabelas verdade.
	P
	q
	p ^ q
	~ (p ^ q)
	V
	V
	V
	F
	V
	F
	*F
	V
	F
	V
	F
	V
	F
	F
	F
	V
	p
	Q
	~p
	~q
	~p V ~q
	V
	V
	F
	F
	F
	V
	F
	F
	V
	F
	F
	V
	V
	F
	F
	F
	F
	V
	V
	V
4) Verificar se é uma tautologia.
	P
	q
	p^q
	~(p^q)
	P v ~(p ^ q)
	V
	V
	V
	F
	V
	V
	F
	F
	V
	V
	F
	V
	F
	V
	V
	F
	F
	F
	V
	V
*Sim, a proposta acima é tautológica!
5) Verificar se é uma contradição.
	P
	q
	p ^ q
	p v q
	~ (p v q)
	(p ^ q) ^ ~(p v q)
	V
	V
	V
	V
	F
	F
	V
	F
	F
	V
	F
	F
	F
	V
	F
	V
	F
	F
	F
	F
	F
	F
	V
	F
*Sim, a proposta acima é uma contradição!