将假设应用于变量 [英] Applying hypotesis to a variable
本文介绍了将假设应用于变量的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
假设我在证明中，而我有这样的假设：
Let's say I'm in the middle of a proof and I have hypotheses like these:
a : nat
b : nat
c : nat
H : somePred a b
及其定义of somePred说：
and the definition of somePred says:
Definition somePred (p:nat) (q:nat) : Prop := forall (x : nat), P(x, p, q).
如何将 H 应用于 c 并获得 P（c，a，b）？
推荐答案
答案是：
specialize H with c.
这篇关于将假设应用于变量的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
查看全文
