已知TU{A}⊢非A,可以得到T⊢非A 吗?如果可以，形式证明之，如果不行，给出对应的反例T。

根据推出规则的可逆性，我们可以得到：如果 TU{A} ⊢ 非A，则 TU ⊢ 非A。但是不能直接得到 T ⊢ 非A，因为 T 不一定包含 TU 中所有的公式。下面是一个反例：

设 T = {B}，TU = {A, B}，其中 A 是一个永真式，B 是一个非永真式。显然，TU{A} ⊢ 非A，因为 A 与非A矛盾。但是 TU ∪ {非B} 也是合法的，因为非B 不与 TU{A} 中的任何公式矛盾。因此 TU ∪ {非B} ⊢ 非A，但是 T ∪ {非B} 不能推出非A，因为 B 与非B 矛盾。因此，T = {B} 是一个反例，说明结论不成立。

相关问题

已知I∪{A}⊢¬A,可以得到I⊢¬A吗?如果可以，形式证明之，如果不行，给出 对应的反例I.

不能直接得到 I ⊢ ¬A，因为 I 中不一定包含 A 或非A。我们可以通过构造一个反例来说明这个结论不成立。下面是一个反例：

设 I = {B}，其中 B 是一个非永真式。由于 I ∪ {A} ⊢ ¬A，根据推出规则的可逆性，我们可以得到 I ⊢ ¬A ∨ ¬A，即 I ⊢ ¬A。但是这个结论并不成立，因为 I = {B} 中的 B 与非A 不矛盾。因此，这个命题不成立，存在反例。