In this he claimed that the conclusion of an argument will follow logically from its premises if and only if every model of the premises be a model of the conclusion.
Sa mga ito niya inaangkin na ang katapusan ng isang argument ay sundin logically nito mula sa lugar kung at kapag lamang ang bawat modelo ng mga lugar ay isang modelo ng pagpapasiya.