確かに、各概念に基づいて構築される論理シーケンスで、ロジックで使用されるいくつかの一般的な用語のリストを次に示します。

命題：真または偽の声明。
論理的な接続：「 "and" "" or "、"、 "o、"などの2つの命題を接続する単語または記号。
真実の価値：命題の真実または虚偽。
Tautology：その構成要素命題の真実の価値に関係なく、常に真実の命題。
矛盾：その構成要素命題の真実の価値に関係なく、常に間違っている命題。
論理的等価性：構成要素の命題のすべての可能な真理値に対して同じ真理値を持つ2つの命題。
推論：1つ以上の施設から結論を導き出すプロセス。
演ductive的推論：結論が必然的に施設から続くタイプの推論。
帰納的推論：結論が施設によって支持されているが、必ずしもそれらから続くとは限らないタイプの推論。
モーダスポーネン：命題pが命題qを暗示する演ductive的な議論形式であり、pは真であると主張されているため、qは真でなければなりません。
モーダストーレンス：命題pが命題qを暗示する演ductive的な議論形式で、qはfalseであると主張されるため、pはfalseでなければなりません。
三段論法：2つの前提と結論からなる演ductive的な議論形式。
Sure, here's a list of some common terms used in logic, in a logical sequence that builds on each concept:

Proposition: A statement that is either true or false.
Logical connective: A word or symbol that connects two propositions, such as "and," "or," or "not."
Truth value: The truth or falsity of a proposition.
Tautology: A proposition that is always true, regardless of the truth values of its constituent propositions.
Contradiction: A proposition that is always false, regardless of the truth values of its constituent propositions.
Logical equivalence: Two propositions that have the same truth values for all possible truth values of their constituent propositions.
Inference: The process of deriving a conclusion from one or more premises.
Deductive reasoning: A type of reasoning in which the conclusion necessarily follows from the premises.
Inductive reasoning: A type of reasoning in which the conclusion is supported by the premises, but does not necessarily follow from them.
Modus Ponens: A deductive argument form in which a proposition P implies a proposition Q, and P is asserted to be true, thereby Q must be true.
Modus Tollens: A deductive argument form in which a proposition P implies a proposition Q, and Q is asserted to be false, thereby P must be false.
Syllogism: A deductive argument form consisting of two premises and a conclusion.