Formal semantics (logic)

1. REDIRECT Semantics of logic

{{Rcat shell|

{{R from move}}

{{R from alternative name}}

{{R printworthy}}

}}