如果我想写句子＆＃34;如果A然后B其他C＆＃34;在形式逻辑中，我可以：
(A -> B) V (~A -> C)
我怎样才能以这种形式写出相同的内容（我不记得这个形式如何被称为＆＃34;理性＆＃34;）：
A -> B ???
----------
C ???
真正的问题是：我有很多嵌套＆＃34; if .. else＆＃34;第二种形式似乎更自然地编写这样的嵌套if。我可以写嵌套＆＃34; if .. else＆＃34;如果是第一种形式，但我不知道如何写第二种形式，因为我不知道如何写单＃34;如果...... ELSE＆＃34;在第二种形式（由于＆＃34; else＆＃34;子句）。有可能吗？