Ivo mukupenja

...nless both <math>\phi</math> and <math>\psi</math> are false. Because this semantics allows a disjunctive formula to be true when both of its disjuncts are true === Semantics === ...