notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

Connectives.md (470B)

      1 # Connectives (Logical Operators)
      2 
      3 1.1.1
      4 
      5 **Definition:** Connectives are necessary for the creation of compound propositions and they are the following:
      6 
      7 - Negation (not | $\neg$)
      8 - Conjunction (and | $\wedge$)
      9 - Disjunction (or | $\vee$)
     10 - Implication (If, then | $\to$)
     11 - Biconditional (If and only if | $\iff$)
     12 - Exclusive or ($\oplus$)
     13 
     14 Simple Proposition:
     15 
     16 The sun is red.
     17 
     18 Compound Proposition:
     19 
     20 The sun is red on tuesday.
     21 
     22 p = tuesday
     23 
     24 q = sun is red
     25 
     26 $p \to q$