Is it okay to decide the validity of formula by gathering the validity of subformulas?

前端未结

关注

 0  1642

野性不改

Problem

Formally, I want to know the relation between

forall I. I ⊧ (f1∧f2∧f3)

and

(forall I. I ⊧ f1) and (forall I. I ⊧ f2) and


                      
              相关标签: