Expreesse cada um dos sistemas de especificações abaixo usando predicados, quantificadores e conectivos lógicos, se necessário.
Há um processo que continua executando durante todas as condições de erro se o kernel estiver funcionando corretamente.
Há um processo que continua executando durante todas as condições de erro se o kernel estiver funcionando corretamente.
Passo 1
O enunciado pede para traduzir para a lógica de primeira ordem a frase “Há um processo que continua executando durante todas as condições de erro se o kernel estiver funcionando corretamente”. O conteúdo é lógica de predicados com quantificadores existencial e universal, além de conectivo de implicação.
Passo 2
Vamos introduzir as variáveis e predicados:
– Domínio de : todos os processos.
– Domínio de : todas as condições do sistema.
– Predicado : “ é um processo”.
– Predicado : “ é uma condição de erro”.
– Predicado : “o processo continua executando durante a condição
”.
– Proposição atômica : “o kernel está funcionando corretamente”.
– Domínio de
– Domínio de
– Predicado : “
– Predicado : “
– Predicado : “o processo
– Proposição atômica : “o kernel está funcionando corretamente”.
Passo 3
Queremos dizer que, sempre que
for verdadeira, existe pelo menos um processo
que, para toda condição
de erro, continua executando. Isso se traduz no formato “antecedente (kernel OK) implica existência de
que satisfaz uma propriedade universal em
”. Assim escrevemos: