Jednojezični primeri (nisu ih verifikovali PONS urednici)
engleski
Semantics is useful for investigating a logic (i.e. a derivation system) only if the semantical entailment relation reflects its syntactical counterpart, the "consequence" relation ("derivability").