Oldingi (mantiq) - Antecedent (logic) - Wikipedia

An oldingi a-ning birinchi yarmi taxminiy taklif, har doim if-so'z keyin-gapdan oldin kelganda. Ba'zi kontekstlarda oldingi narsa "deb nomlanadi protaz.^[1]

Misollar:

• Agar ${ displaystyle P}$, keyin ${ displaystyle Q}$.

Bu gipotetik taklifni g'ayritabiiy shakllantirishdir. Bunday holda, oldingi narsa P, va natijada bu Q. In xulosa, agar ${ displaystyle phi}$ nazarda tutadi ${ displaystyle psi}$ keyin ${ displaystyle phi}$ deyiladi oldingi va ${ displaystyle psi}$ oqibat deyiladi.^[2] Oldingi va natijada orqali ulangan mantiqiy biriktiruvchi shakllantirish taklif.

• Agar ${ displaystyle X}$ u holda erkak ${ displaystyle X}$ o'likdir.

"${ displaystyle X}$ bu odam "bu taklif uchun avvalgi narsa.

• Agar erkaklar oyda yurishgan bo'lsa, demak men Frantsiya qiroliman.

Bu erda "erkaklar oyda yurishdi" - bu avvalgi narsa.

Ruxsat bering ${ displaystyle y = x + 1}$. Agar ${ displaystyle x = 1}$ keyin ${ displaystyle y = 2}$

Shuningdek qarang

• Buning natijasini tasdiqlash (xato)
• Oldingi narsani inkor etish (xato)
• Zarurlik va etarlilik

Adabiyotlar

Bu mantiq bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.