論理
Two intertwining vines of reason
A path that splits into possibilities
A bud that hasn't opened
Truth cells blooming or dormant
Pouring logical symbols into the garden
Ideas take root. A single proposition grows branches, each bifurcation representing a logical deduction. By the time it reaches its full height, it has become a complete proof tree.
A statement that is either true or false
Drawing conclusions from premises
Both conditions must be true
At least one condition is true
The opposite of a statement
If A, then B follows
The foundation of mathematical reasoning
Reasoning about possibility and necessity
Where truth exists on a spectrum