bitPhile

Home

❯

notes

❯

logics

❯

propositional logic

❯

rules of inference

Folder: notes/logics/propositional-logic/rules-of-inference

5 items under this folder.

  • Sep 27, 2024

    abduction

    • reasoning
    • inferences
  • Sep 27, 2024

    modus-ponens

    • inferences
    • reasoning
  • Sep 27, 2024

    substitution

    • inferences
    • reasoning
  • Oct 16, 2023

    resolution-method

    • inferences
    • reasoning
  • Sep 15, 2023

    Modus-tollens

    • inferences
    • reasoning

Created with Quartz v4.5.0 © 2025

  • GitHub
  • Discord Community