bavi: (Default)
Буду собирать потихоньку.

1.Законом де Моргана (закон У. Оккама )
Тавтология
- отрицание конъюнкции высказываний а и bэквивалентно дизъюнкции отрицаний каждой их них по отдельности и, соответственно, наоборот, отрицание дизъюнкции эквивалентно конъюнкции отрицаний.
- Если известно, что кто-то не выполнил обещания того, что будет Х и Y, то это будет эквивалентно тому, что нет X или нет Y.

2. Правило Клавдия
Тавтология3

3. Закон Дунса Скота
Тавтология4
bavi: (Default)
1. Категорический (Аристотелевские силлогизмы)
2. Разделительно-категорический (Или... или  по принципу АС)
3. Условно-категорическим (Если..., то...  по принципу АС)
Read more... )

Хм.

Feb. 12th, 2014 12:52 pm
bavi: (Default)
Если есть А, то есть и В, а если нет А, а В есть - то А является достаточным условием для В (Т.е В для А является родом, а значит свойством, а А для В является видом, а значит признаком)

Если есть А, то есть и В, если нет А, то нет и В - то в этом случае А является необходимым условием для В (Т.е А является для В родом и т.д)

Итак, вид это всегда только достаточное для рода, а род это необходимое для вида.

Или по другому:
Все А есть В, и некоторые В есть А, то А это достаточное для В, а В это необходимое для А. Т.е В без А существовать может, а А без В нет.

Все А есть В и Все В есть А, то это есть эквивалентность?? а А есть и необходимое и достаточное для В и наоборот.
bavi: (Default)
Итак, варианты, когда вывод сделать нельзя:
Read more... )
bavi: (Default)
Ничего сложного в этих вещах нет.
Мы пройдем последовательно и плавно подойдем к правилам Метода индексов Л. Кэррола и у нас будет меньше вопросов и больше понимание процессов стоящих за ... и приводящих к ...

В суждениях с 2 посылками возможны следующие варианты:

1. Все - Все - Вывод
2. Все - Некоторые - Вывод
3. Все - Ни один...не - Вывод
4. Ни один...не - Ни один...не - Вывод
5. Ни один...не - Некоторые – Вывод

Read more... )
... продолжение следует

September 2014

S M T W T F S
 123 456
789 1011 1213
14151617181920
21222324252627
282930    

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 21st, 2017 11:13 pm
Powered by Dreamwidth Studios