Assertion: consequence | /r/HasProperty | valid
Facets:
value: in all terms
type: MANNER
Source sentences:
text: As Buridan (Tractatus de Consequentiis (henceforth TC), 21) remarks, it is for the most part a matter of terminology: he says he will adopt the definition of consequence as a true hypothetical sentence, but then throughout his text also uses the terminology of a consequence being valid or holding rather than simply being true or false.
text: A consequence is called formal if it is valid in all terms retaining a similar form.
text: If this consequence is valid, then it has a necessary antecedent and a false consequent (since the consequent says that it is invalid).