KNOWLEDGE GRAPH

Unified subjects, resources, and linked insights

Module Gallery

Slide through modules quickly, then open the full listing when needed.

0 subjectsView more

Recent Activity Feed

Chronological snippets from notes and focus logs.

Notes3/27/2026

Quantifiers & Implications Cheat Sheet

Standalone

| Concept | Symbolic Form | Negation | English Interpretation …

Notes3/27/2026

Quantifiers & Implications Summary

Standalone

Statements vs Open Statements

  • Statement: A sentence with a definite truth value (True/False)
  • Open Statement: Contains a free variable; truth…
Notes3/23/2026

Started it

Standalone

Variables and Sets - Study Notes

Velleman: How to Prove It | Session Summary


1. Variables in Sentential Logic

Definition

A **propositional v…