Crowdly

Додати до Chrome

Consider the following Lean's proof state: p2q: P → Q, ...

✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.

Consider the

following Lean's proof state:

p2q: P → Q,

q2r: Q → R,

p: P,

⊢ R

Which of the following

tactics should be the next one?

exact p,

❌

apply p2q,

❌

apply q2r,

✅

exact r,

❌

Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!

Додати до Chrome