Last Updated
：2025/11/22
sequent
IPA(Pronunciation)
Sense（2）
(logic)
A
disjunctive
set
of
logical
formulae
which
is
partitioned
into
two
subsets;
the
first
subset,
called
the
antecedent,
consists
of
formulae
which
are
valuated
as
false,
and
the
second
subset,
called
the
succedent,
consists
of
formulae
which
are
valuated
as
true.
(The
set
is
written
without
set
brackets
and
the
separation
between
the
two
subsets
is
denoted
by
a
turnstile
symbol,
which
may
be
read
"give(s)".)
Sense（3）
Sense（4）
（ plural ）
Quizzes for review
Something that follows in a given sequence.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
sequent
Each sequent in the list corresponds to the next step in the procedure.
See correct answer
Each sequent in the list corresponds to the next step in the procedure.
音声機能が動作しない場合はこちらをご確認ください
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
