contronominale

contronominale

contronominale proposizione (o enunciato) associata a una implicazione logica del tipo A ⇒ B in cui la proposizione antecedente viene scambiata con quella conseguente e di entrambe si considerano le rispettive negazioni; formalmente: ￢B ⇒ ￢A. Quindi, la contronominale di «A implica B» è: «non B implica non A». Nel linguaggio naturale, la contronominale di «se sei genovese allora sei italiano» è «se non sei italiano allora non sei genovese». Con la tavola di verità si mostra facilmente che A ⇒ B e ￢B ⇒ ￢A sono logicamente equivalenti. La tavola ha nella sua terza e sesta colonna (corrispondenti rispettivamente a A ⇒ B e ￢B ⇒ ￢A) gli stessi valori di verità.