Se ho un teorema del tipo
$ (p^^q)=>r $
posso dimostrarlo per assurdo nel seguente modo
$ (notr^^p)=>notq $
o è logicamente errato?
(in pratica assumo come vera l'antitesi e una sola premessa che fa parte dell'ipotesi, e giungo di conseguenza attraverso un ragionamento logico alla negazione della seconda premessa che fa parte dell'ipotesi).