Individual km#sentential_logic__propositional_logic__propositional_calculus  proof theory for reasoning with propositional formulas as symbolic logic; it is extensional
  >part of:  mathematical_logic__symbolic_logic__metamathematics__metamathematic
     >part of:  formal_logic
        >part of:  logic.philosophy  the branch of philosophy that analyzes inference
           >part of:  philosophy  the rational investigation of questions about existence and knowledge and ethics
     >part of:  abstract_algebra

No statement uses or specializes sentential_logic; click here to add one.