14 Sep
2023
14 Sep
'23
7:20 a.m.
A sentence of LA will be called true when it’s true in the structure N . Let’s see some examples of true sentences and false sentences of LA. ∀v1(v1S = v1 + 1) ∀v1(∃v2(v1 = 2 × v2) → ∃v3(v1 = 2Ev3)) translate: for all v1, v1++ == v1 + 1 (true) for all v1, if there exists a v2 such that v1 = 2 * v2, then there exists a v3 such that v1 = pow(2,v3) (false)