Syntax (logic)

句法（英語：syntax）是一个语言学概念，指一门语言里支配句子结构，决定词、短语、从句等句子成分如何组成其上级成分，直到组成句子的规则或过程。研究句法的语言学分支称为句法学，其终极目标是探究所有自然语言通用的普遍句法规则。 “句法”的英语“syntax”来自古希腊语σύνταξις，意为“协调”，它包括了词根σύν

(邏輯)（英语：False (logic)） 真值表：邏輯學中使用的數理表 恆真式：符號化的邏輯真理 定理 有效性 分析-综合区别 冯契，徐孝通主编,外国哲学大辞典,上海辞书出版社,2000.07,第778页 Quine, Willard Van Orman, Philosophy of logic 扎尔塔, 爱德华·N

经典逻辑（英語：Classical logic），也被稱為標準邏輯（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的词项逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的

若一個句子 σ {\displaystyle \sigma } 獨立於一個一階理論（英语：Theory (mathematical logic)） T {\displaystyle T} ，那就表示說 σ {\displaystyle \sigma } 在 T {\displaystyle

Elementary Logic. New York: OUP (1972). Library of Congress Catalog Card no. 74-166004. Mendelson, Elliot. Introduction to Mathematical Logic. New York: