#symbolic logic #evaluation #truth #propositions #mathematical statements #reasoning #formal language #semantics