翻訳と辞書 Words near each other ・ SequenceBase ・ Sequenced Packet Exchange ・ SequenceL ・ Sequenceome ・ Sequencer ・ Sequencer (Covenant album) ・ Sequences Art Festival ・ SequenceVariantAnalyzer ・ Sequencia ・ Sequencing ・ Sequencing batch reactor ・ Sequencing by hybridization ・ Sequencing by ligation ・ Sequencing fountain ・ Sequenom ・ Sequent ・ Sequent (disambiguation) ・ Sequent (MUD) ・ Sequent calculus ・ Sequent Computer Systems ・ Sequentia (music group) ・ Sequential access ・ Sequential access memory ・ Sequential algorithm ・ Sequential analysis ・ Sequential art ・ Sequential bilingualism ・ Sequential Circuits ・ Sequential Circuits Prophet 2000 ・ Sequential Circuits Prophet-5 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Sequent ： ウィキペディア英語版 Sequent In mathematical logic, a sequent is a very general kind of conditional assertion. : $A\_1,\backslash ,\backslash dots,A\_m\; \backslash ,\backslash vdash\backslash ,\; B\_1,\backslash ,\backslash dots,B\_n.$ A sequent may have any number ''m'' of condition formulas ''Ai'' (called "antecedents") and any number ''n'' of asserted formulas ''Bj'' (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus. == Introduction == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Sequent」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.