Please enable JavaScript.

Coggle requires JavaScript to display documents.

Logic - Coggle Diagram

- - - - and/but/also/although/while
        
        Conjunction
        
        Connecting statement with "and"
        
        P ∧ Q
        
        ∧ means "and"
        
        Both components must be true for the conjunction to be true
      - or
        
        Disjunction
        
        Connecting statement with "or" where at least one is true
        
        Disjunction is false only if both of them are false
        
        P ∨ Q
        
        ∨ means "or"
      - if.., then...
        
        Conditional
        
        Connecting the statement with "if..., then..."
        
        P → Q
        
        → means "then" or "implies"
        
        Conditional is false only if P(antecedent) is true and Q(consequent) is false
      - if and only if
        
        Biconditional
        
        If two statements are logically equivalent, they are both true or both false
        
        biconditional is true only if its components are both true or both false
        
        P ↔ Q
        
        ↔ means "if and only if"
  - - - ~P
      - Statement: 5 is an even number (F) Negation: 5 is not an even number(T)
      - Adding the word "not" into the statement