Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Рассмотрим еще два закона алетической логики.
|
|
А É à А («Все действительное является возможным»).
Аналитическая таблица для данного закона будет выглядеть так:
0. Fw А É à А
1. TwA
I 2. Fw à A F É, 0
3. Fw A F à, 2
+
Ясно, что обратная зависимость будет неверной: «Из возможности не вытекает действительность».
Напримет, из того, что «Киевское Динамо «может выиграть в очередном туре» не вытекает его действительная победа.
ð A É à A(«Все необходимое является возможным»).
Данный закон представляет следствие двух уже рассмотренных законов:
ð A É A [о2]
A É à A
ð A É à A
В нем зафиксирована зависимость: «Если ð Аистинно, то А будетистинным во всех возможных мирах, в том числе и в выделенном действительном мире, значит и à А будет истиным».
Проверим спраедливость данного закона с почощью аналитической таблицы:
0. Fw ð A É à A
1. Tw ð A
I 2. Fw à A FÉ, 0
II 3. Tw´ A T ð, 1
III 4. Fw´ A F à, 2
+
Мы получили замкнутую таблицу.
|
|