单项选择题 法律论证的阿列克西模式中运用了谓词推理的（）。

单项选择题 （x）（Tx→ORx）TaORa上述论证模式，被称为法律论证的（）。

单项选择题 法律论证的魏因贝格尔模式，可用命题逻辑公式表示为（）。