implication

    1熱度

    1回答

    如何證明（（p⇒q）⇒p）⇒p，使用Fitch系統

    FYI，我使用的邏輯程序不能做矛盾介紹。這一點很可能是不相關的，因爲我非常懷疑我需要爲這個證明使用任何形式的矛盾。 在我試圖解決這個問題時，我開始假設（p⇒q）⇒p） 這是正確的嗎？ 如果是這樣，下一步是什麼？如果解決方案看起來如此明顯，請原諒我。
    logic implication fitch-proofs 2017-02-16

    1熱度

    1回答

    證明或反駁以下含義（大O符號）

    我不能證明這一點： f(n) = O(g(n))意味着f(n)^k = O(g(n)^k) where k is element of the natural, positiv numbers 我發現在互聯網上類似的例子。但我不確定這個例子是否適合實施這些解決方案。
    algorithm big-o implication 2016-04-27

    9熱度

    6回答

    python中是否有蘊含邏輯運算符？

    我想寫一個語句在Python中的邏輯蘊涵。 喜歡的東西： if x => y: do_sth() 當然，我知道我可以使用： if (x and y) or not x: do_sth() 但有一個邏輯運算符，這在Python？
    python math logical-operators implication 2013-05-06

    2熱度

    1回答

    哈斯克爾 - 用歸納法證明的暗示

    我已經通過歸納證明 no f xs ==> null (filter f xs) 其中： filter p [] = [] filter p (x:xs) | p x = x : filter p xs | otherwise = filter p xs null [] = True; null _ = False no p [] = True no p (x
    haskell theorem-proving induction implication 2015-12-07

    0熱度

    1回答

    檢查列是否有一定的值，然後用列表限制另一列

    我想知道是否有任何方法可以檢查列是否有值，如果值爲XXXXX那麼另一列必須在列表中（A，B，C）。 類似： CREATE TABLE test (a CHAR(60),b CHAR(60),Check (IF a == 'test' THEN b in ('a','b','c')));
    sqlite boolean-logic implication 2017-07-26

    1熱度

    1回答

    邏輯等價 - 或門和暗示

    我目前正在回答一個邏輯等價問題，並希望確認我在某一點使用的規則，因爲它不在法律列表中，可能是因爲它是「你應該知道的東西」。我工作的 部分是(NOT(p) OR NOT(q)) OR r == (NOT(p) OR r) OR (NOT(q) OR r) ，然後被後來簡化爲(p implies r) OR (q implies r) 構建真值表，並通過LogicWorks構建它，我認爲這兩者在邏輯上
    logic equivalence implication 2012-10-21

    1熱度

    1回答

    具有1個變量的邏輯蘊涵

    我在知識庫中有以下聲明，但有一個前提只有1個變量（請參閱第3行）。我試圖爲此建立一個真值表，但第三個前提讓我感到困惑，因爲只有一個條件來決定隱含條件。 p^q^r => s; q^r => t; t => u; <---- confused line. p; s; 例如，據我所知： p | q | p=>q -------------- 0 | 0 | 1 0 | 1 |
    variables logic implication 2012-05-26

    2熱度

    1回答

    蘊涵圖分配

    蘊含圖是一個有向圖，其中每個節點都分配了true或false，並且任何邊都暗示着if u is true then v is true。 我知道一個簡單的O(n^2)算法來找出在一般蘊涵圖的分配和O(n)算法某些特殊情況下（如從2-SAT問題產生的蘊涵圖）。 所以我想知道是否有O(n)算法找到任何蘊涵圖的任務？
    algorithm graph 2-satisfiability implication 2014-09-20

    0熱度

    1回答

    轉換VBScript的Imp運算符

    如果您的谷歌爲PowerShell Imp，您當前會在列表的頂部找到VBScript-to-Windows PowerShell Conversion Guide。然而，答案是很大的技術幫助： 進出口經營 定義：對兩個表達式的邏輯含義。 我們對Imp運算符有什麼瞭解？有兩件事：1）它在Visual Basic .NET中不受支持，2）我們從來沒有聽說過任何人使用它。因此，我們要說的是，是否有Win
    powershell logical imp implication 2017-06-22

    3熱度

    2回答

    在Coq /直覺主義邏輯中，存在與存在之間的這種關係是否可證明？

    以下定理在Coq中是可證明的嗎？如果不是，有沒有辦法證明它不可證明？ Theorem not_for_all_is_exists: forall (X : Set) (P : X -> Prop), ~(forall x : X, ~ P x) -> (exists x: X, P x). 我知道這個相關關係是正確的： Theorem forall_is_not_exists : (
    coq implication 2016-02-20
最新問題