"Contronominale" proposition

Question

Given an implication to prove, say p implies q, it is well known that it is equivalent to prove -q implies -p. In italian this second equivalent proposition is called "contronominale" of the previous proposition. How is it called in english?

And, even if you are not asking for it, Contraposición in Spanish, Kontraposition in German and Contraposée in French. — anderstood, Jan 06 '16 at 20:44

score 2 · Accepted Answer · answered Jan 06 '16 at 20:42

2

The English term is Contrapositive.

answered Jan 06 '16 at 20:42

Mauro ALLEGRANZA

94,169

I did not find any Italian page on wikipedia dedicated to contronominale. I can't speak Italian (well, I've never tried), so maybe there is one, but I just missed it. If you want to have a look and find one, I will link the English page with the Italian one (on wikipedia of course). – anderstood Jan 06 '16 at 20:59
@anderstood - see Implicazione logica. – Mauro ALLEGRANZA Jan 06 '16 at 21:03
1

That's the one I found but it does not correspond exactly to contrapositive (it's more general). Nevermind and thank you for searching. – anderstood Jan 06 '16 at 21:04
@anderstood - but the Italian Wiki page mix "logical implication" with "conditional", and this - IMO - is misleading. – Mauro ALLEGRANZA Jan 06 '16 at 21:04

score 1 · Answer 2 · answered Jan 06 '16 at 20:41

1

In English we call this the "contrapositive".

answered Jan 06 '16 at 20:41

Deusovi

2,792
1
20
23

"Contronominale" proposition

2 Answers2