Background for sequent
BeDict Logo

sequent

/ˈsiːkwənt/

Meanings
noun
Something that follows in a given sequence.

Examples :

"The explosion was sudden, and the fire was its terrible sequent. "
system process outcome time
noun
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)".)

Examples :

"The logic textbook explained how each sequent, with its antecedent of false statements leading to a succedent of true conclusions, represented a valid argument form. "
logic math philosophy system theory

Related Words

Illustration sequential

sequential adjective

/sɪˈkwenʃəl/ /səˈkwenʃəl/

Succeeding or following in order

"The lessons in the math course were presented in a sequential order, starting with basic addition and moving to multiplication. "

Illustration significant

significant noun

/sɪɡˈnɪ.fɪ.kənt/

That which has significance; a sign; a token; a symbol.

"The teacher's smile was a significant of approval for my hard work. "

Illustration accomplishment

accomplishment noun

/ə.ˈkʌm.plɪʃ.mənt/ /ə.ˈkɑm.plɪʃ.mənt/

The act of accomplishing; completion; fulfilment.

"the accomplishment of an enterprise, of a prophecy, etc"

Illustration consecutive

consecutive noun

/kɒnsɛkjʊtɪv/

A sequence of notes or chords that results from repeated shifts in pitch of the same interval.

"The consecutive notes in the melody were all a perfect fourth apart. "

Illustration conclusions

conclusions noun

/kənˈkluʒənz/

The end, finish, close or last part of something.

"After a long day of tests, the students were happy to reach the conclusions of their exams. "

Illustration statements

statements noun

/ˈsteɪt.mənts/

A declaration or remark.

"The teacher asked us to write statements about what we learned in class today. "

Illustration disjunctive

disjunctive noun

/dɪsˈdʒʊŋktɪv/ /dɪsˈdʒʌŋktɪv/

A disjunction.

"The menu offered a clear disjunctive: you could have soup or salad, but not both. "

Illustration antecedent

antecedent noun

/ˌantɪˈsiːdənt/

Any thing that precedes another thing, especially the cause of the second thing.

"The heavy rain was the antecedent to the flooding in the streets. "

Illustration partitioned

partitioned verb

/pɑrˈtɪʃənd/ /pərˈtɪʃənd/

To divide something into parts, sections or shares

"The teacher partitioned the students into four groups for the project. "

Illustration represented

represented verb

/ɹɛpɹɪˈzɛntɪd/

To present again or anew; to present by means of something standing in the place of; to exhibit the counterpart or image of; to typify.

"The artist's painting represented the beauty of the sunset over the ocean. "

Illustration separation

separation noun

/sɛpəˈɹeɪʃən/

The act of disuniting two or more things, or the condition of being separated.

"The separation of the classroom into smaller groups for the lesson was efficient. "

Illustration challenging

challenging verb

/ˈtʃæləndʒɪŋ/

To invite (someone) to take part in a competition.

"We challenged the boys next door to a game of football."