Импликация: Разлика между версии

Умозаключения ''<math>p\and q</math>'' <math>\Rightarrow</math> <math>p</math>, <math>p</math> <math>\Rightarrow</math> ''<math>p\or q</math>'' и ''<math>p\rightarrow q \Rightarrow \neg q \rightarrow \neg p</math>'' са примери за умозаключения с една предпоставка. Най-често обаче умозаключенията се правят от определено множество от предпоставки,. коитоВ този случай, образувайкикогато сложнообразуваме кореспондиращото на умозаключението сложното импликативно изречение, биватние свързанисвързваме тези предпоставки в конюнкцияедно сложно конюнктивно изречение, коятокоето, на свой ред, бивапоставяме свързанав отношение скъм извода чрез кондиционална връзка. Едно важно правило за 'пренасяне' на една от предпоставките в извода, който придобива тогава форма на кондиционално твърдение, изглежда по следния начин: от дадено правило за извод