Показать меню

Консеквент

04.01.2021
54

Следствие (также консеквент, от лат. consequens — от com "с, вместе с" + sequi "следовать" или сукцедент, от succedens — «от sub после + cedere "идти») — используемое в философии (особенно кантовской школы) и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту.

В условном высказывании «если A {displaystyle A} , то B {displaystyle B} » высказывание A {displaystyle A} есть антецедент; высказывание B {displaystyle B} называется консеквентом. Например, в условном высказывании «если сейчас ночь, то темно» антецедент — «сейчас ночь», а следствие (консеквент) — «темно».

В формальных логических исчислениях понятие консеквента используется как для правой части импликации (в A ⇒ B {displaystyle ARightarrow B} консеквентом является B {displaystyle B} ), так и в понятиях о выводимости, например, в исчислении секвенций, где основным выражением является секвенция вида Γ → Δ {displaystyle Gamma ightarrow Delta } , показывающая выводимость формул списка Δ {displaystyle Delta } из формул списка Γ {displaystyle Gamma } , сукцедентом (консеквентом) называется список Δ {displaystyle Delta } .

Еще по этой теме:
Порядок числа по модулю
20:08, 18 декабрь
Порядок числа по модулю
Показателем, или мультипликативным порядком, целого числа a {displaystyle a} по модулю m {displaystyle m}
Пространство непрерывных функций
19:13, 18 декабрь
Пространство непрерывных функций
Пространство непрерывных функций — линейное нормированное пространство, элементами которого являются непрерывные на отрезке [ a , b ]
Существенно особая точка
14:44, 12 декабрь
Существенно особая точка
Изолированная особая точка z 0 {displaystyle z_{0}} функции f (
Частные производные высших порядков
02:45, 07 декабрь
Частные производные высших порядков
Пусть задана функция f ( x , y ) {displaystyle f(x,y)} . Тогда каждая из её частных производных (если они, конечно,
Максимальный тор
12:52, 03 декабрь
Максимальный тор
Максимальный тор связной вещественной группы Ли G {displaystyle G} — связная компактная коммутативная подгруппа Ли T
Обратный элемент
23:38, 01 декабрь
Обратный элемент
Обратный элемент — термин в общей алгебре, обобщающий понятия обратного числа (для умножения) и противоположного числа (для сложения). Определения Пусть ( M
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail:
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent