[показать] Логика позволяет строить самые замысловатые теории, выводить из предпосылок-аксиом самые нетривиальные высказывания. Именно такими изящными упражнениями занимались средневековые схоласты. Но и сейчас интерес к подобным экзерсисам не угас, пример чего мы вам и представляем. [показать] Вот такой вот логичный вывод. [показать] |