В чем заключается разница между антецедентом и консеквентом в математической логике?

Разница между антецедентом и консеквентом в математической логике заключается в их расположении в условном высказывании. zaochnik-com.com spravochnick.ru

Антецедент (основание) — это высказывание, которое идёт после слова «если». zaochnik-com.com spravochnick.ru

Консеквент (следствие) — это высказывание, которое следует за словом «то». zaochnik-com.com spravochnick.ru

Условное высказывание устанавливает, что одно событие, состояние и т. п. является условием или основанием для другого. spravochnick.ru При этом предполагается, что консеквент с определённой необходимостью «вытекает» из антецедента. zaochnik-com.com

Например, в высказывании «Если висмут — металл, он пластичен» консеквент («он пластичен») является логическим следствием антецедента («висмут — металл»). zaochnik-com.com