bitPhile

Home

❯

notes

❯

logics

❯

exercises

Folder: notes/logics/exercises

2 items under this folder.

  • Sep 27, 2024

    find-tautology-of-formula

    • reasoning
    • inferences
    • exercises
  • Sep 27, 2024

    convert-formula

    • exercises
    • fol
    • reasoning
    • inferences

Created with Quartz v4.5.0 © 2025

  • GitHub
  • Discord Community