Conditionals

This chapter describes a number of different logics that introduce a two-place operator (Ó, ⇒, or >) to help represent conditional expressions – expressions of the form: if A, then B (or of related forms such as the subjunctive conditional: if A were to be the case, then B would be). But why are suc... View More