Crowdly
Add to Chrome
Verificação de Programas | Satisfação de Fórmulas Considere um estado de um pr...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Verificação de Programas | Satisfação de Fórmulas
Considere um estado de um programa v em que:
v(x) = 1
v(y) = 2
v(z) = 0
Para cada fórmula, f, abaixo, indique se v ⊧ f.
N.B. As opções incorretas descontam a cotação da pergunta.
0%
100%
0%
0%
100%
100%
100%
0%
100%