Crowdly

Додати до Chrome

Given that you have this line in the proof state: h: P ∨ Q ...

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

Given that you have this line in the proof state:

h: P ∨ Q

Which tactic should be used to split the proof into cases.

exact h,

❌

apply h,

❌

constructor,

❌

cases h with p q,

✅

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

Додати до Chrome