最終更新日：2022/12/24
In the truth table in Figure 1, the first row corresponds to modus ponens, the last row corresponds to modus tollens, the second row could be taken to represent an invalid argument (where P→Q is the argument and P is a premise or conjunction of premises), and the third row helps ensure that an argument of the form P→Q,¬P⊢¬Q is invalid.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
In
the
truth
table
in
Figure
1,
the
first
row
corresponds
to
modus
ponens,
the
last
row
corresponds
to
modus
tollens,
the
second
row
could
be
taken
to
represent
an
invalid
argument
(where
P→Q
is
the
argument
and
P
is
a
premise
or
conjunction
of
premises),
and
the
third
row
helps
ensure
that
an
argument
of
the
form
P→Q,¬P⊢¬Q
is
invalid.
