Закон Импортации

(от англ. Distribution - распреде­ление, размещение) - общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну ло­гическую связь относительно другой. Полный 3. Д. Конъюнкции относительно дизъюнкции с использо­ванием символики логической формулируется так (р, q, r — некото­рые высказывания. &. - конъюнкция, «и». V - дизъюнкция, «или». = — эквивалентность, «если и только если»). P&(qvr) = (p&q)v(p&r), первое и (второе или третье), если и то..

- закон логики классической, характери­зующий логическое противоречие и импликацию материальную. За­кон можно передать так. Ложное высказывание влечет (имплици­рует) любое высказывание. Напр. «Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не значит». Первое упоминание закона принадлежит средневековому фило­софу и логику Дунсу Скоту, прозванному «тонким доктором» схо­ластики. Амер. Философ и логик К. И. Льюис (1883-1964), поло­живший начало исследованию модал..

- логический закон, со­гласно которому истинно или само высказывание, или его отри­цание. Закон устанавливает связь между противоречащими друг другу высказываниями. Одно из таких высказываний истинно. Напр. «Аристотель умер в 322 г. До н. Э. Или он не умер в этом году». «Завтра будет морское сражение или завтра не будет морского сражения» и т. П. Само название закона выражает его смысл. Дело обстоит так, как описывается в рассматриваемом высказывании, или так, как говорит его отрицание. Третьего..

— логический закон, характеризующий связь импликации («если, то») и отрицания. Его можно передать так. Если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или короче. Высказы­вание, вытекающее из своего собственного отрицания, истинно. Иначе говоря. Если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание ис­тинно. Напр., если условием того, чтобы машина не работала, является ее работа, то машина работ..