(E2x). Fx & (E2x). Gx & ind.C.(E4x). Fx V .Gx …A Dieser Satz sagt – natürlcih – nicht, dass 2 + 2 = 4, sondern, dass der Ausdruck eine Tautologie ist, zeigt es. F und G müssen unind[r|t]egrierte Variable sein.

✓ / \