Buscar

ATIVIDADE 1 INTROD LÓGICA 2018 1

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Prévia do material em texto

MINISTÉRIO DA EDUCAÇÃO 
UNIVERSIDADE FEDERAL DO PIAUÍ 
CENTRO DE EDUCAÇÃO ABERTA E A DISTÂNCIA - CEAD 
COORDENAÇÃO DO CURSO DE LICENCIATURA MATEMÁTICA 
Rua Olavo Bilac, 1148 – Centro Sul - CEP 64280-001 – Teresina PI 
Site: www.ufpi.br 
 
DISCIPLINA: Introdução a Lógica – Módulo VIII/2018.1 
PROFESSORES: Francisco Nilson Rodrigues dos Santos e José Ribamar Lopes Batista 
 
POLO_________________________ 
 
NOME________________________________________________________________ 
 
ATIVIDADE I 
 
 
 
01. Determine o valor lógico (V ou F) para a proposição: 
A expressão x2 - x + 41 = 0 (x  N) só produz números primos. 
Se for (F) falsa, dê um exemplo. 
 
02. Sejam as proposições p: Carlos fala francês, q: Carlos fala inglês e r: Carlos fala alemão. Traduzir para a 
linguagem simbólica as seguintes proposições: 
 
a) Carlos fala francês e inglês, ou não fala francês e alemão 
b) Carlos fala francês ou inglês, mas não fala alemão 
c) É falso que Carlos fala inglês ou alemão mas que não fala francês 
d) É falso que Carlos fala francês mas que não fala alemão 
 
03. Sabendo que os valores lógicos das proposições srqp e , , são respectivamente V, V, F e F, determine o 
valor logico (V ou F) de cada uma das seguintes proposições: 
 
 pqqpa  ) 
 
 )()( ) rpprb  
 
 )~ (~)( ) rprpc  
 
 ) )()((~ ) rsspd  
 
 
 
 
 
 
 
 
 
 
NOTA 
________ 
 
 
 
04. Mostrar que as seguintes proposições são tautológicas: 
 
 
 )()( ) qrpqpa  
 
 )()( ) rqpqpb  
 
 ) ()( ) rqrpqpc  
 
 )()( ) rqrpqpd  
 
 
 
 
 
05. Faça as tabelas-verdade das proposições " ~" e " ~)(" pqqp  . Justifique se preserva a implicação lógica 
" ~ " ~ )(" pqqp  , denominada Regra de Modus Tollens. 
 
 
p 
 
q 
 
qp 
 
q~ 
 
qqp ~)(  
 
p~

Outros materiais