Reguły wnioskowania - odwrotność wzorów czy istnieje?

[Piotrek172]

Witam, mam troche trywialne pytanie. Czy istnieje odwrotność reguł wnioskowania? np:
\(\displaystyle{ \frac{ \alpha \Rightarrow \beta , \neg \beta }{ \neg \alpha }}\) to czy poprawne jest cos takiego? :
\(\displaystyle{ \frac{ \alpha \Rightarrow \beta , \neg \alpha }{ \neg \beta }}\)

[Medea 2]

Z pewnością nie. Jeśli poprzednik jest fałszywy, to o następniku implikacji nie wiadomo nic.