腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
如果
p
→
q
,
那么
q
→
p
?
、
、
在多年没有重言式之后,我正在尝试回到布尔代数,我目前正在做一个练习,要求验证
p
→
q
或
q
→
p
是否是重言式,
p
和
q
是很难简化的很长的表达式,但是
p
→
q
很容易使用真值表来证明重言式,而
q
→
p
使用真值表来验证则需要更长的时间语句
p
→
q
≡
q
→
p
正确吗?我找不到关于这个命题的简明信息,但构建真值表让它看起来是正确的。
如果
是,我可以回答,因
浏览 44
提问于2021-02-12
得票数 0
1
回答
我如何证明所有的
P
q
:支柱,(
P
->
Q
) ->
P
) ->
P
) ->
Q
) ->
Q
)?
我对coq很陌生,所以
如果
你只说自我介绍的话。我不知道该介绍什么。所以要有针对性,比如。(简介
p
.
q
.)会很有帮助的。
浏览 7
提问于2022-03-01
得票数 0
1
回答
如何证明或伪造“`forall (
P
,
q
:支柱),(
P
->
Q
) -> (
Q
->
P
) ->
P
=
q
.”?
、
、
、
、
我想在Coq中证明或伪造forall (
P
Q
: Prop), (
P
->
Q
) -> (
Q
->
P
) ->
P
=
Q
.。这是我的方法。但是,
如果
是这样的话,为什么还要消除证据的内容呢?Lemma True_neq_True2 : True = True2 -> False.Theorem iff_eq : forall (
P
浏览 0
提问于2014-10-26
得票数 8
回答已采纳
2
回答
如何证明(~
Q
-> ~
P
) -> (
P
->
Q
)
、
、
我试图在coq中证明(~
Q
-> ~
P
) -> (
P
->
Q
),这是反正定理(
P
->
Q
) (~
Q
-> ~
P
)的逆。目前我正在考虑使用同样的逻辑来证明反正定理,如下所示: 不展开。介绍A。B。C。
浏览 40
提问于2021-05-12
得票数 0
回答已采纳
1
回答
例子:(
p
∨
q
)∧(
p
∨r)→
p
∨(
q
∧r)
定理证明在精益说明如下:由于这涉及到iff,让我们先演示一个方向,从左到右:
浏览 11
提问于2019-10-16
得票数 1
回答已采纳
1
回答
p
<
q
或
p
>=
q
的Coq证明
我试图证明下面这个微不足道的引理: Lemma lt_or_ge: forall a b : nat,Proof. intros a0 b0 H. 我需要这样的东西: ((a <? b) = false) -> (a >= b) 但似乎在Coq库中找不到它。感谢您的帮助,谢谢。
浏览 31
提问于2020-02-01
得票数 1
回答已采纳
1
回答
对"
p
OR
q
“、"
p
AND
q
”的混淆,其中"
p
“等于"false","
q
”等于“未知”
、
、
我在上看到了下面的图表然而,我对"
p
OR
q
“、"
p
AND
q
”的结果感到困惑,其中"
p
“等于"false","
q
”等于“unking”。在图中,"
p
或
q
“的结果是”未知“,其中"
p
”等于"false","
q
“等于”未知“。但结果不应该是“假的”吗?另外,在图中,"
p</em
浏览 0
提问于2017-03-14
得票数 2
回答已采纳
1
回答
例子:((
p
∨
q
)→r)→(
p
→r)∧(
q
→r)
定理证明在精益说明如下:让我们关注左右方向:example : ((
p
∨
q
) → r) → (
p
→ r) ∧ (
q
→ r) := (assume hpqr : (
浏览 3
提问于2019-10-19
得票数 0
回答已采纳
1
回答
DNF (
P
<->
Q
)&(
Q
<->R)
、
、
我试着用析取范式来写介词(
P
<->
Q
)^(
Q
<->R)。到目前为止,我得到了((
p
^~
q
)v(
q
^~
p
)) ^ ((
q
^~
p
)v(
p
^~
q
)),我被困在这里。我不知道下一步该怎么做。谢谢!
浏览 3
提问于2016-02-09
得票数 0
回答已采纳
1
回答
如何在余数中证明(
p
->
q
) -> (~
p
\/
q
)
我试图用公理证明余式中的(
p
->
q
) -> (~
p
/
q
): Axiom tautology : forall
P
:Prop,
P
\/ ~
P
.我正在尝试通过应用
p
->
q
将~
p
/
q
转换为~
p
/
p
。所以这样做: Theorem Conversion: forall (
p
浏览 19
提问于2019-04-13
得票数 0
回答已采纳
1
回答
如何证明所有(
p
,
q
:Prop),~
p
->~((
p
->
q
) ->
p
)。使用coq
定理PeirceContra:对于所有(
p
,
q
:->
p
),~
p
->~(
p
->
q
) ->
p
。 我尝试了下面的证明方法。给定公理为Axiom classic : forall
P
:Prop,
P
\/ ~
P
.Theorem PeirceContra: forall (
p
q
:Prop), ~
p
-> ~((
p</e
浏览 0
提问于2019-04-15
得票数 0
4
回答
当
p
和
q
是素数时求n=
p
*
q
的'
p
‘和'
q
’
、
、
n = 77 用蛮力制作
p
和
q
的查找器。到目前为止我的代码是: int n = 77;
浏览 7
提问于2017-07-18
得票数 0
回答已采纳
2
回答
如果
L=
P
∩
q
,其中
P
是无上下文语言,
q
是正则的,
那么
L在?
、
、
context free language
P
和regular language
Q
的交集据说总是context free,但我仍然不明白为什么它是上下文自由的,但不是规则的。
浏览 7
提问于2015-10-21
得票数 0
回答已采纳
1
回答
给定"N“找到
p
&
q
,使得
p
+
q
=N和
p
*
q
为最大
问题是:现在我需要找到两个数字
p
和
q
,这样
p
+
q
= N &&
p
*
q
= maximum.
浏览 0
提问于2014-03-06
得票数 0
1
回答
给定((
p
⇒
q
)⇒r),用Fitch系统证明((
p
⇒
q
)⇒(
p
⇒r))
我正在尝试,给定((
p
⇒
q
)⇒r),使用惠誉系统来证明 ((
p
⇒
q
)⇒(
p
⇒r))。我该怎么做,有什么建议吗?
浏览 2
提问于2013-04-19
得票数 3
1
回答
(
p
⇒
q
)⇒
p
)⇒
p
的形式证明
、
、
在惠誉中,我试图构造((
p
⇒
q
)⇒
p
)⇒
p
的一个形式证明。我知道这是真的,但我怎么证明呢?
浏览 1
提问于2017-03-16
得票数 1
1
回答
如何用给定的假设(
P
Q
:支柱,(
P
->
Q
) -> (~
P
\/
Q
))证明被排除的中间?
、
目前,我对如何证明以下定理感到困惑: (forall
P
Q
: Prop, (
P
->
Q
) -> (~
P
\/
Q
)) -> (forall
P
,
P
\/ ~
P
).我被困在这里: (forall
P
Q
: Prop, (
P
浏览 4
提问于2021-12-25
得票数 0
回答已采纳
4
回答
如何证明引理"(
P
\/
Q
) /\ ~
P
->
Q
.“在coq?
Lemma a : (
P
\/
Q
) /\ ~
P
->
Q
.一般情况下,如何证明诸如false->
P
,
P
/~
P
等简单命题?
浏览 0
提问于2012-10-03
得票数 5
回答已采纳
1
回答
TPIL 3.6:示例:(
p
→
q
)→
p
∧
定理证明在精益说明如下:让我们用¬来重写→表达式example : ((
p
→
q
) → false) →
p
∧ (
q
浏览 2
提问于2019-10-27
得票数 1
1
回答
算法寻找素数$
q
$和$
p
$与$
q
\,\,
p
-1$?
我理解
如果
p
是素数,
那么
p
-1必须是复合的(至少可以被2整除)。但是一个算法是如何找到质数
q
这样的
q
\cdot r =
p
- 1的。我觉得素保理是个很难的问题吗?
浏览 0
提问于2019-08-19
得票数 8
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
从p-value到q-value的计算
P2P平台转型助贷并不是那么简单
安卓P系统还没普及,谷歌已经在测试安卓Q了
产品设计赏析-P.Q-微信点赞和评论外露更合理?
联发科技发布Helio P90超强AI算力低功耗 年Q1上市
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券