A LINGUAGEM PROPOSICIONAL
Por: ggcara • 6/11/2022 • Relatório de pesquisa • 2.208 Palavras (9 Páginas) • 147 Visualizações
TIN0105 - INTRODUÇÃO À LÓGICA COMPUTACIONAL 2021 07
PRIMEIRA LISTA – LINGUAGEM PROPOSICIONAL
DIA FINAL PARA ENTREGA: 06 AGOSTO
CADA QUESTÃO VALE 0,5 PONTOS
A QUALIDADE DA APRESENTAÇÃO VALE 1 PONTO
O PRAZO PARA ENTREGA TERMINA NO DIA 6 DE AGOSTO
AS RESPOSTAS DEVEM SER ENTREGUES NESTE DOCUMENTO, SEMPRE EM PÁGINAS PRÓPRIAS SUBSEQUENTES APÓS O ENUNCIADO DA QUESTÃO.
AS RESPOSTAS DEVEM ESTAR NESTA COR DE FONTE
Identifique cada uma das proposições abaixo alguma letra de { A, K , M , N , Q, X , Y }
- Ursos pardos foram vistos na área.
- Caminhar é seguro na trilha.
- Frutas amadurecem ao longo da trilha.
Transcreva essas proposições para a linguagem proposicional
a) As frutas estão maduras ao longo da trilha, mas os ursos pardos não foram vistos na área.
b) Ursos pardos não foram vistos na área e caminhar na trilha é seguro, mas as frutas estão maduras ao longo da trilha.
c) Se as frutas estão maduras ao longo da trilha, a caminhada é segura se, e somente sem os ursos pardos não forem vistos na área.
d) Não é seguro caminhar na trilha, mas os ursos pardos não foram vistos na área e os frutos silvestres ao longo da trilha estão maduros.
e) Para que a caminhada na trilha seja segura, é necessário, mas não o suficiente, para que as frutas não estejam maduras ao longo da trilha e para que os ursos pardos não sejam vistos na área.
f) Caminhadas não são seguras na trilha sempre que ursos pardos foram vistos na área e os frutos estão maduros ao longo a trilha.
Traduza para a linguagem proposicional substituindo as proposições simples pelos valores (verdadeiro ou falso) que você deve saber que elas têm (é óbvio…)
Determine se cada uma das proposições condicionais obtidas é verdadeira ou falsa.
a ) Se 7 + 3 = 9, então gnomos moram na Floresta da Tijuca V//
b ) Se π é um número inteiro, então as vacas voam. V
c ) Se Se π é um número real, então as vacas voam. F
d ) Se 1 + 1 = 2, então 2 + 1 = 3. V
AS RESPOSTAS DEVEM ESTAR NESTA COR DE FONTE
Represente cada uma sentenças abaixo na linguagem proposicional. Indique que letras são usadas para cada proposições simples.
a) É necessário lavar o carro do patrão para ser promovido.
b) Os ventos do sul implicam um degelo da primavera.
c) Uma condição suficiente para que a garantia seja boa é que você comprou o computador há menos de um ano.
d) Willy é pego sempre que trapaceia.
e) Você pode acessar o site apenas se pagar uma assinatura.
f) Ser eleito decorre de conhecer as pessoas certas.
g) Carol fica enjoada sempre que está em um barco.
AS RESPOSTAS DEVEM ESTAR NESTA COR DE FONTE
Represente cada uma sentenças abaixo na linguagem proposicional. Indique que letras são usadas para cada proposições simples.
a) Se estiver calor lá fora você compra um sorvete de casquinha, e se você compra uma casquinha de sorvete está quente lá fora.
b) Para você ganhar o concurso é necessário e suficiente que você tem o único bilhete vencedor.
c) Você é promovido apenas se tiver contatos e você tem contatos apenas se for promovido.
d) Se você assistir televisão, sua mente se deteriorará, e vice-versa.
e) Os trens atrasam exatamente nos dias em que eu pego.
AS RESPOSTAS DEVEM ESTAR NESTA COR DE FONTE
Represente cada uma sentenças abaixo na linguagem proposicional. Indique que letras são usadas para cada proposições simples. Use as leis de De Morgan para escrever a negação de cada uma das afirmações abaixo
( a ) Sérgio via arrumar um emprego ou vai fazer o mestrado.
( b ) Gabriela sabe programar em Java e em Phyton.
( c ) Rivelino é jovem e forte.
( d ) Rita vai se mudar para Curitiba ou para Serra do Cipó.
AS RESPOSTAS DEVEM ESTAR NESTA COR DE FONTE
Houve uma festa na casa de Carlos, mas não se sabe se ele estava presente ou não. Sabe-se que não é verdade que tanto Carlos quanto Hélio não estavam lá. É fato que Romeu e Julieta nunca frequentam o mesmo lugar, mas um deles foi à festa. É notório que se Alexa foi, então Romeu fez questão de comparecer. Julieta e Carlos estão sempre juntos. Se Hélio esteve presente, então Alexa e Carlos também.
Converta as sentenças para a linguagem proposicional e verifique se o conjunto de proposições é consistente. Caso seja, apresente os modelos na forma de esquema.
AS RESPOSTAS DEVEM ESTAR NESTA COR DE FONTE
A direção de uma Universidade abriu uma sindicância para descobrir quem desligou o sistema de câmeras e sumiu com o HD das gravações. Quatro servidores se apresentaram como testemunhas.Pelos depoimentos dos servidores à Comissão de sindicância, foi possível concluir que
O professor de Biologia estava falando a verdade, apenas se o professor de Computação também estivesse falando a verdade. Entretanto, o professor de Computação e o vigilante não poderiam estar ambos falando a verdade. Infelizmente, o vigilante e o secretário escolar não poderiam estar ambos mentindo. Pior do que isto, verificou-se também que se o secretário escolar estivesse falando a verdade, então o professor de Computação estaria mentindo com absoluta certeza.
Traduza para a linguagem proposicional e verifique se é possível dizer quem mentiu e quem falou a verdade. Apresente sua justificativa pela apresentação de um modelo para o conjunto de sentenças.
AS RESPOSTAS DEVEM ESTAR NESTA COR DE FONTE
Converta para a linguagem proposicional e mostre, pela obtenção dos modelos, se as sentenças são consistentes ou não.
O sistema secundário está no estado multiusuário somente se está operando normalmente. O kernel do sistema principal pode estar funcionando normalmente ou não, mesmo que o sistema secundário esteja com defeito; mas quando o secundário opera normalmente, é impossível que o kernel esteja com defeito. Nunca acontece do kernel do principal estar funcionando no modo de interrupção. Entretanto, se o sistema secundário não está no modo de interrupção, então ele está no estado de multiusuário. Mas sabe-se que o sistema secundário não está no modo de interrupção.
...