最終更新日：2022/12/24
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’.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
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’.
