تالی
From Wikipedia, the free encyclopedia
تالی جزء دوم یک گزارهٔ منطقی است. برای نمونه در عبارت «اگر الف ب باشد آنگاه ج د است»، به «ج د است» تالی گفته میشود.[1] تالی به لحاظ معنایی دنبالهٔ مقدم است.[2]
در قضایای شرطی متصل، مقدم مستلزم تالی و تالی تابع مقدم است.[3]