Crowdly
Додати до Chrome
If a term M has the type p \rightarrow (p \rightarrow q) , and a term N ...
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
If a term M has the type
p \rightarrow (p \rightarrow q), and a term
N has the type
p, then what type does the term
M N have?
❌
❌
❌
✅
❌