Recent content by iambored

Let {A1, A2, A3, ... } be an infinite set of formulas in propositional logic. Assume that for every valuation v there is some n (depending on v) such that v(An) = 1. Show then that there is some fixed m with A1 \vee A2 \vee ... \vee Am a tautology. This is equivalent to showing that v(Ai)...