[Перевод] Логика, объяснимость и будущее понимания
Открытие, связанное с логикой Логика служит основой множества вещей. Но каковы основы самой логики? В символьной логике вводятся символы вроде p и q, обозначающие утверждения (или «пропозиции») типа «это интересное эссе». Ещё есть определённые правила логики, к примеру, для любого p и любого q выражение NOT (p AND q) аналогично (NOT p) OR (NOT q)....