2019-09-15

thedeemon: (Default)
2019-09-15 10:39 pm

Logic

На днях проходил мимо такого объявления:


Интуитивно чувствуется, что связка & там уместна, и последнее утверждение как бы нейтрализует предыдущие ложные утверждения и преврещает всю формулу в истину. Но вот как бы ее записать на языке формальной логики? И какого порядка это логика?