Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03133387n
Noun Concept
Categories: 数学に関する記事, 数理論理学, 論理式, 形式言語, 述語論理
JA
論理式  Well-formed formula  整論理式  式  整形式
JA
数理論理学、命題論理、述語論理における 論理式（英: formula あるいは well-formed formula）とは、論理結合子の適用対象となる記号列のことである。 Wikipedia
Definitions
Relations
Sources
JA
数理論理学、命題論理、述語論理における 論理式（英: formula あるいは well-formed formula）とは、論理結合子の適用対象となる記号列のことである。 Wikipedia
論理結合子の適用対象となる記号列 Wikidata
IS A
論理式
PART OF
形式言語
HAS KIND
命題論理式
文
原子論理式
EN
canonical normal form
EN
open formula
HAS INSTANCE
否定標準形
DIFFERENT FROM
論理式
Wikipedia
JA
論理式 (数学)
Wikidata
JA
論理式 (数学)
Wikipedia Redirections
JA
Well-formed formula, 整論理式
Wikipedia Translations
JA
式, 整形式

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License