avaliação III

Prévia do material em texto

O estudo da lógica é um dos princípios utilizados para distinguir o que é correto e o que é incorreto. Isso não significa que só a pessoa que estuda lógica consegue argumentar corretamente com uma pessoa que não estudou sobre o assunto, no entanto, o conhecimento sobre o conteúdo facilita a possibilidade de raciocínio e organização de pensamentos sobre a corretude das sentenças. O objetivo fundamental do estudo da lógica é a elaboração de critérios que permitam analisar argumentos para mostrar ou não sua validade.
Dada essa aprendizagem de lógica matemática, é possível resolver alguns exercícios de lógica que facilitarão seu raciocínio. Portanto com o uso de tabelas-verdade e, considerando que p = “Está calor” e q = “Está chovendo”, construa as seguintes frases e retorne seu valor lógico para as sentenças:
a)    ~p : Não está calor = falso
b)    p ^ q: Está calor e está chovendo = verdadeiro
c)    p v q : Está calor ou está chovendo = verdadeiro
d)    p <-> q : Está calor se e somente se está chovendo = verdadeiro
e)    p -> ~q : Se está calor então não está chovendo = falso 
f)     q v ~p : Está chovendo ou não está calor = verdadeiro
g)    ~p -> ~q : Se não está calor então não está chovendo = verdadeiro
h)    p <-> ~q : Está calor se e somente se não está chovendo = falso
i)     ~(~q) : Está chovendo = verdadeiro
 j) ~p -> q : Se não está calor então está chovendo = verdadeiro
	a)    ~p
	
	
	b)    p ^ q: 
	
	
	
	c)    p v q 
	
	
	 
	
	
	 
	
	
	
	
	
	
	p
	~p
	
	p
	q
	P^Q
	
	p
	q
	p v q
	V
	F
	
	V
	F
	F
	
	V
	F
	V
	V
	F
	
	V
	V
	V
	
	V
	V
	V
	F
	V
	
	F
	F
	F
	
	F
	F
	F
	F
	V
	
	F
	V
	F
	
	F
	V
	V
	d)    p <-> q 
	
	
	e)    p -> ~q : 
	
	
	
	
	
	
	
	
	
	
	
	p
	q
	p <-> q 
	
	p
	q
	~q
	p -> ~q
	V
	F
	F
	
	V
	F
	V
	V
	V
	V
	V
	
	V
	V
	F
	F
	F
	F
	V
	
	F
	F
	V
	V
	F
	V
	F
	
	F
	V
	F
	V
	f)     q v ~p : 
	
	
	
	
	
	
	
	p
	q
	~p
	   q v ~p
	V
	F
	F
	F
	V
	V
	F
	V
	F
	F
	V
	V
	F
	V
	V
	V
	g)    ~p -> ~q : 
	
	
	
	
	
	
	
	
	p
	q
	~p
	~q
	 ~p -> ~q
	V
	F
	F
	V
	V
	V
	V
	F
	F
	V
	F
	F
	V
	V
	V
	F
	V
	V
	F
	F
	h)    p <-> ~q : 
	
	
	
	
	 j) ~p -> q : 
	
	
	
	
	
	
	
	
	
	
	
	
	p
	q
	~q
	p <-> ~q
	
	p
	q
	~p
	~p -> q
	V
	F
	V
	V
	
	V
	F
	F
	V
	V
	V
	F
	F
	
	V
	V
	F
	F
	F
	F
	V
	F
	
	F
	F
	V
	V
	F
	V
	F
	F
	
	F
	V
	V
	V