Валерий Иванович ГЛИВЕНКО
математик. Доказал, что двойное отрицание каждого истинного предложения классической логики суждений доказуемо в интуиционистской логике.
>>> Смотреть календарь
В Дрездене под управлением автора состоялась первая постановка оперы Рихарда ВАГНЕРА «Летучий голландец».
>>> Смотреть календарь
КОНТРФАКТИЧЕСКОЕ ВЫСКАЗЫВАНИЕ , выражается условным предложением с глаголом в сослагательном наклонении; подчеркивает смысловую связь (логическую, причинную и пр.) между высказываниями, объединенными в условном предложении союзом "если бы..., то...".