Below is an instruction that describes a task. Write a response that appropriately completes the request.

### Instruction:
User:MPという用語は正式なロジックで何を参照していますか？ Assistant:正式な論理では、「MP」という用語は、モーダスポネンの推論ルールを指します。モダスポーネンは、命題pが命題qを暗示する演ductive的な議論形式であり、pは真であると主張されているため、qは真でなければなりません。通常、ポーネンの尺度のルールは、通常「p then q」と「p」、したがって「Q」という形式で表現されます。Modus Ponensルールは、命題論理と述語論理における推論の基本的なルールの1つです。 
User:ロジックで使用されているすべての用語を、それぞれにいくつかの単語でリストできますか？論理シーケンスを使用します。

### Response:

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

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