Romaji Hide
Definition and Synonyms for 述語論理
| 1. |
述語論理 |
個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に） |
|
Predicate Calculus |
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) |
|
Synonyms: |
述語論理 |
Meanings for each kanji in 述語論理
| » |
述 |
mention; state; speak; relate |
| » |
語 |
word; speech; language |
| » |
論 |
argument; discourse |
| » |
理 |
logic; arrangement; reason; justice; truth |
Categories 述語論理 is a member of
| 1. |
形式論理学 |
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系 |
|
Formal Logic |
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
|
Show all words in category » |
This site uses the EDICT and KANJIDIC dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.
