Amplicassion

Da Wikipedia.
Drapò piemontèis.png Vos an lenga piemontèisa
Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì


L'amplicassion a l'é n'operassion lògica, ëd sòlit denotà con ël sìmbol  \Rightarrow o  \rightarrow . A peul esse definìa an fonsion ëd negassion e disgionsion an considerand p \Rightarrow q tanme abreviassion ëd  \neg p \vee q.
Ël sust ëd cost'operassion a l'é che l'amplicassion p \Rightarrow q a l'é vera gavà cand p a l'é vera e q a l'é fàussa. An efet, già dantorn al 300 aGC, Filon ël dialétich a l'avìa definì l'amplicassion antra p e q tanme lòn che an notassion formal al di d'ancheuj a së scrivrìa  \neg (p \wedge\neg q).

Ant l'amplicassion p \Rightarrow q, as dis che p a l'é l'antecedent o ipòtesi o assonsion, antant che q a l'é ël conseguent o la conclusion.
Si l'amplicassion p \Rightarrow q a l'é vera, antlora soa ipòtesi as dis condission suficenta për soa conclusion, e soa conclusion condission necessaria për l'antecedent.