Антецедент или претпоставка — првата половина од хипотетички исказ, секогаш кога ако-реченицата стои пред тогаш-реченицата. Во некои контексти, антецедентот се нарекува протаза.
Примери:
Ако , тогаш .
Ова е нелогична формулација на хипотетичка изјава. Во овој случај, антецедентот е P, а консеквентата е Q. Во импликацијата „ имплицира ", се нарекува претпоставка и се нарекува последица или заклучок.Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004 Антецедентот и консеквентата се поврзани преку логички сврзник за да образуваат исказ.
Ако е човек, тогаш е смртен.
„ е човек“ е антецедентот за овој предлог, додека „ е смртен“ е консеквента на исказот.
Ако луѓето оделе по Месечината, тогаш јас сум крал на Франција.
Тука, „луѓето оделе по Месечината“ е антецедентот, а „Јас сум крал на Франција“ е консеквентата.
Нека .
Ако тогаш .
„“ е антецедентот, а „“ е консеквентата од ова хипотетичко тврдење.
Поврзано Консеквента Потврдување на консеквентата (заблуда) Негирање на антецедентот (заблуда) Неопходност и доволност
Наводи
Категорија:Логика Категорија:Латинизми Категорија:Зборови што ги нема во ТРМЈ