Ï Î Î '' Î Î Î Î ) is a propositional formula that is true under any possible interpretation .
Ï Î Î '' Î Î Î Î ) is a formula which is true in every possible interpretation .