已知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.

根据推理规则“引入假设”，我们可以在一个假设下进行推理。因此，我们可以加入假设A来推导I∪{A}⊢¬A。由于I是I∪{A}的子集，我们可以得到I⊢A⇒¬A。但是，这并不能推出I⊢¬A，因为我们不能排除I中存在一个假设C，使得C推出A。因此，对于I={C}，C⊢A且C⊢¬A，I∪{A}⊢¬A成立，但是I⊢¬A不成立。