PERGUNTA 5 Os conhecimentos inerentes à demonstração de correção integram os fundamentos matemáticos para a ciência da computação. Nesse contexto,...

PERGUNTA 5 Os conhecimentos inerentes à demonstração de correção integram os fundamentos matemáticos para a ciência da computação. Nesse contexto, há a regra condicional, sendo bastante comum a aplicação da Tripla de Hoare junto à regra de inferência do condicional. Assinale a alternativa que apresenta a descrição correta do que se pode deduzir de {Q ∧ B} P subscript 1 {R}, {Q ∧ B′} P subscript 2 {R}, com s subscript i como declaração condicional. a. left curly bracket Q right curly bracket s subscript i left curly bracket B right curly bracket. b. left curly bracket B right curly bracket s subscript i left curly bracket Q right curly bracket. c. left curly bracket Q right curly bracket s subscript i left curly bracket R right curly bracket. d. left curly bracket B right curly bracket s subscript i left curly bracket R right curly bracket. e. left curly bracket R right curly bracket s subscript i left curly bracket B right curly bracket.