Assertion: logical truth | /r/HasProperty | logical truths
Facets:
Source sentences:
text: As we said above, it seems to be universally accepted that, if there are any logical truths at all, a logical truth ought to be such that it could not be false, or equivalently, it ought to be such that it must be true.