GEB, Глава VII: Исчисление высказываний

GEB, Глава VII: Исчисление высказываний

Формальная система для логики.

Символы:
∧ — "и"
∨ — "или"
⊃ — "если... то"
~ — "не"

Строим теоремы по правилам, но... аксиом нет!

🌀 Откуда берутся теоремы?