wartość logiczna xx: 4 ≤ −5 ⋀ 2+1=3 4 : 2 = 2 ⇒ 2⁰

Jack: pierwsze to oczwyscie fałsz, a drugie nie podlega ocenia ponieważ nie jest zdaniem ("2⁰" to jest nazwa, a w następniku implikacji oczekujemy zdania)