個々を表わし断定する記号論理学、および個々における..:和英・英文・翻訳
日本語 | 個々を表わし断定する記号論理学、および個々における量化のシステム(提案の関係と同様に) |
---|---|
英語 | a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) |
関連類語リンク
類語に関連する文章
日本語文章に対応する英文を閲覧できます。現在データがありません。