Regra de inferencia

Resposta:

1. Se Maria for assistir a uma série no canal de stream, não estudará para a

prova, mas Maria deve estudar para a prova ou será reprovada. Logo, se Maria

for assistir a uma série no canal de stream, ela será reprovada.

A: Maria vai assistir à série.

B: Maria estuda para a prova.

C: Maria é reprovada.

A → B′: se Maria for assistir à série no canal de stream, não estudará para a prova.

B∨C: Maria deve estudar para a prova ou será reprovada.

A → C: se Maria for assistir à série no canal de stream, ela será reprovada.

(A → B′) ∧ (B ∨ C) → (A → C)

Podemos reescrever o argumento como:

(A → B′) ∧ (B ∨ C)∧ A → C)

Supondo que o argumento A é verdadeiro (hipótese), resta provar a validade de C.

Uma sequência de demonstração é:

1. A → B′ hip

2. B ∨ C hip

3. A hip

4. B′ 1, 3, modus ponens

5. B’ → C 2, equivalência condicional. (B ∨ C⇔ B’→C)