Polish notation - Weblio 英和・和英辞典 (original) (raw)
単語を追加
意味・対訳 前置表記法; ポーランド記法
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
Polish notation
「Polish notation」の部分一致の例文検索結果
該当件数 : 2件
調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
- 履歴機能
過去に調べた
単語を確認! - 語彙力診断
診断回数が
増える! - マイ単語帳
便利な
学習機能付き! - マイ例文帳
文章で
単語を理解!
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
Polish notation
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
polish notation
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
Polish notation
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
Polish notation
Polish notation
polish notation
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
Polish notation
出典:『Wiktionary』 (2017/03/31 17:46 UTC 版)
名詞
- (arithmetic, logic) A notation for arithmetic (かつ logical) formulae in which operations (respectively, quantifiers かつ operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B.
- In Polish Notation, the connectives are placed before the wffs. The virtue of this sentence is that its grammar is simpler, for it has no need for parentheses. Sider’s examples: (P ∧ Q) → R and P ∧ (Q → R) become → ∧PQR and ∧P → QR.
If you actually look at a text in this tradition, you’ll find something slightly different. “C” stands for “consequence”, i.e., implication (→) and “N” for negation (∼).
So,consider the following from Tarski and Łukasiewicz’s Investigations into the Sentential Calculus. The claim there is that there are three axioms:
‘CCpqCCqrCpr’
‘CCNppp’
‘CpCNpq’
- In Polish Notation, the connectives are placed before the wffs. The virtue of this sentence is that its grammar is simpler, for it has no need for parentheses. Sider’s examples: (P ∧ Q) → R and P ∧ (Q → R) become → ∧PQR and ∧P → QR.
参考
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
Polish notation
出典:『Wikipedia』 (2011/06/07 05:19 UTC 版)
英語による解説
ウィキペディア英語版からの引用
Polish notationのページの著作権
英和・和英辞典 情報提供元は参加元一覧 にて確認できます。
| | | | | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | | | Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | | | All Rights Reserved, Copyright © Japan Science and Technology Agency | | | 日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License | | | Copyright © 2024 CJKI. All Rights Reserved | | Wiktionary | Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのPolish notation (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 | | Wikipedia | Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのPolish notation (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
| ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 | | | ------------------------------------------- | |
non-member
Polish notation