Sentential Logic（SL） Syntax: The language of SL / Symbolize Semantic: a sentence / compare two sentences / compare a set of sentences Derivation Syntax: The Language…
