直言命題 的英文怎麼說

中文拼音 [zhíyánmìng]
直言命題 英文
categorical syllogism
  • : Ⅰ形容詞1 (成直線的; 硬挺的) straight; stiff 2 (跟地面垂直的; 從上到下的; 從前到后的) erect; v...
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • 直言 : speak bluntly; state outright
  • 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
  1. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了邏輯中任一公式的真值表的生成演算法與公式類型的判定演算法,實現了利用計算機對有限多個公式的真值表的接計算和輸出,以及對一個公式是重式、矛盾式或可滿足式的機械判定。
  2. Analysis on conversion inference of categorical proposition by eulerian graph

    直言命題換位推理的歐拉圖析
  3. The deviations from the natural conclusion will arise when categorical preposition is reasoned in transformed forms

    摘要按規則對直言命題進行變形推理,會出現結論違背經驗常理的情況。
  4. To solve the problem, it is necessary to follow " it is allowed to change the scope of subject - predicate, or predicate "

    為消除直言命題變形推理出現違背經驗常理的情況,使經驗與邏輯統一起來,必須限定「每次對變形不得轉移主項或謂項的論域」 。
  5. Mathematics method of thinking opposite to starched mathematics knowledge is fuller of vitality, mathematics knowledge is a result, but mathematics method of thinking pays attention to the formation of the result ; mathematics knowledge is recorded down with letter, sign, sketch. . etc explicit esse, but mathematics method of thinking usually tacitly exsits in the formation of concept, formula, rule, axioms and the process of problem - solving ; mathematics method of thinking is the knowledge to be placed in the higher than mathematics knowledge, if we assimilate knowledge to a key, then, mathematics knowledge opens the door of a certain realm, but mathematics method of thinking could open the door of the different realm

    相對于數學知識的呆板而,數學思想方法更富有生的味道,數學知識是結果,而數學思想方法關注結果的形成過程;相對于數學知識的以文字、符號、圖形等外顯的形態接記錄下來的存在方式,數學思想方法則常常以內隱的形式存在於概念、公式、法則、定理的形成過程和問解決的過程之中;數學思想方法是比數學知識處于更高層次上的知識,如果用把知識比作鑰匙,那麼,數學知識開啟的是某一領域的大門,而數學思想方法可以開啟不同領域的大門,比數學知識更富有指導意義。
分享友人