Assertion: logic | /r/HasProperty | natural choice
Facets:
value: since \(t{:}x\
type: OTHER
Source sentences:
text: To formalize mathematical speech the justification logic \({\textsf{LP}}\) is a natural choice since \(t{:}X\) was designed to have characteristics of “\(t\) is a proof of \(X\).
text: Logic is more a natural science, reason well suited for moral philosophy.
text: Logic appears to be one of the natural laws God put into place at the creation of the universe.