如果p→q，那么q→p？

文章/答案/技术大牛

发布

1回答

、、

在多年没有重言式之后，我正在尝试回到布尔代数，我目前正在做一个练习，要求验证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=pq的'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和pq为最大*

问题是：现在我需要找到两个数字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)) -> (forallP, 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

回答已采纳

点击加载更多