Fundamentos da Computação

Prévia do material em texto

Fundamentos da Computação 
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 
b) p ^ q 
c) p v q 
d) p <-> q 
e) p -> ~q 
f) q v ~p 
g) ~p -> ~q 
h) p <-> ~q 
i) ~(~q) 
~p -> q 
a) ~p = Não está calor 
b) p ^ q = Está calor e está chovendo 
c) p v q = Está calor ou está chovendo 
d) p <-> q = Está calor se e somente se está chovendo 
e) p -> ~q = Se está calor então não está chovendo 
f) q v ~p = Está chovendo ou não está calor 
g) ~p -> ~q = Se não está calor então não está chovendo 
h) p <-> ~q = Está calor se e somente se não está chovendo 
i) ~(~q) = Está chovendo 
j) ~p -> q = Se não está calor então está chovendo