最終更新日:2022/12/22
例文
Although
some
of
the
logicians
working
in
term
logic
have
very
complicated
treatments
of
negation,
we
can
see
the
origin
of
the
modern
conception
in
the
extensional
tradition
as
well.
In
Boole
and
most
of
his
followers,
the
negation
of
a
term
is
understood
as
the
set
theoretic
complement
of
the
class
represented
by
that
term.
For
this
reason,
the
negation
of
classical
propositional
logic
is
often
called
‘Boolean
negation’.
復習用の問題
Although some of the logicians working in term logic have very complicated treatments of negation, we can see the origin of the modern conception in the extensional tradition as well. In Boole and most of his followers, the negation of a term is understood as the set theoretic complement of the class represented by that term. For this reason, the negation of classical propositional logic is often called ‘Boolean negation’.
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1