ReasonLines
10+
(количество скачиваний)
Для всех
info
Описание
ReasonLines обеспечивает (1) новый и более удобный подход к традиционному силлогизм и (2) расширение традиционного силлогизма включать численное количественной оценки.
1) Новый подход к традиционному силлогизм
Вместо того чтобы рассматривать отдельные заявления в качестве компонентов аргументов, таких как большая посылка, меньшей посылки, и заключение, этот новый подход связывает каждое утверждение с ее эквивалентами и каждый пучок представлен своим собственным "схематичное" стрел. Предпосылка схемные затем может быть отброшен на месте вдоль стороны друг друга, где их сопоставление показывает то, что заключение, если таковые имеются, это влечет за собой. Пользователю нужно только, чтобы узнать, как выбрать правильные схемы помещения и как следовать стрелки для вывода.
& # 8195; & # 8195; Часть первая страницы справки является учебным пособием для этого нового подхода.
(2) Числовое расширение традиционного силлогизма
Это уже является стандартом для интерпретации конкретного квантор численно; то есть, это стандарт принять "некоторые", как "по крайней мере один". Кроме того, универсальные кванторы, "все" и "нет", может также быть варьянтом численно, так как "все" означает "все с нулевым исключением" и "нет" не означает, что нет «ни с нулевым исключением." Исходя из этого, получается, что традиционные квантификаторы просто отмечают начало бесконечных возможных количественными, так как "по крайней мере один" открывает серию "по крайней мере два", "по крайней мере три "и т.д., и" все (нет), но ноль "не открывается" все (нет), но один "," все (нет), а два "и т.д.
Делая это явно, ноль и один из традиционных силлогизмам стать заменяемые другими числами. Так, например, " Все, кроме 10 А являются B и все, кроме 20 B являются C, так что все, кроме 30 А являются C " и " По крайней мере, 100 А являются B, Все, кроме 7 B являются C, поэтому по крайней мере 93 являются C , "так же действует как традиционная Барбаре и Дарий, и по той же самой причине.
& # 8195; & # 8195; Часть вторая страницы справки развивает это численное расширение, обращаясь к схеме.
1) Новый подход к традиционному силлогизм
Вместо того чтобы рассматривать отдельные заявления в качестве компонентов аргументов, таких как большая посылка, меньшей посылки, и заключение, этот новый подход связывает каждое утверждение с ее эквивалентами и каждый пучок представлен своим собственным "схематичное" стрел. Предпосылка схемные затем может быть отброшен на месте вдоль стороны друг друга, где их сопоставление показывает то, что заключение, если таковые имеются, это влечет за собой. Пользователю нужно только, чтобы узнать, как выбрать правильные схемы помещения и как следовать стрелки для вывода.
& # 8195; & # 8195; Часть первая страницы справки является учебным пособием для этого нового подхода.
(2) Числовое расширение традиционного силлогизма
Это уже является стандартом для интерпретации конкретного квантор численно; то есть, это стандарт принять "некоторые", как "по крайней мере один". Кроме того, универсальные кванторы, "все" и "нет", может также быть варьянтом численно, так как "все" означает "все с нулевым исключением" и "нет" не означает, что нет «ни с нулевым исключением." Исходя из этого, получается, что традиционные квантификаторы просто отмечают начало бесконечных возможных количественными, так как "по крайней мере один" открывает серию "по крайней мере два", "по крайней мере три "и т.д., и" все (нет), но ноль "не открывается" все (нет), но один "," все (нет), а два "и т.д.
Делая это явно, ноль и один из традиционных силлогизмам стать заменяемые другими числами. Так, например, " Все, кроме 10 А являются B и все, кроме 20 B являются C, так что все, кроме 30 А являются C " и " По крайней мере, 100 А являются B, Все, кроме 7 B являются C, поэтому по крайней мере 93 являются C , "так же действует как традиционная Барбаре и Дарий, и по той же самой причине.
& # 8195; & # 8195; Часть вторая страницы справки развивает это численное расширение, обращаясь к схеме.
Последнее обновление
Чтобы контролировать безопасность, нужно знать, как разработчики собирают ваши данные и передают их третьим лицам. Методы обеспечения безопасности и конфиденциальности могут зависеть от того, как вы используете приложение, а также от вашего региона и возраста. Информация ниже предоставлена разработчиком и в будущем может измениться.
Данные не передаются третьим сторонам.
Подробнее о том, как разработчики заявляют о передаче данных…
Данные не собираются
Подробнее о том, как разработчики заявляют о сборе данных…
Новое в приложении
Minor bug fixes
Поддержка приложения
О разработчике
Wallace A Murphree
wmurphree@gmail.com
274 Co Rd 804
Wedowee, AL 36278-6286
United States
undefined