Symbols Logic для ПК

С помощью Symbols вы можете изучать естественную дедукцию и правила логического вывода на своем мобильном устройстве. Если вы новичок в изучении логики или хотите освежить в памяти правила логического вывода, наши учебные карточки помогут вам учиться и повторять; и наши мероприятия помогут вам совершенствовать и практиковать свои навыки.

Наши учебные карточки включают в себя: Modus Ponens, Modus Tollens, разделительный силлогизм и многие другие.

Наша деятельность включает в себя:

1. Валидность: Валидность исподтишка использует повторение, чтобы научить студента правилам вывода. Посмотрим правде в глаза, повторение работает эффективно, но часто может показаться рутиной. Способ, которым Достоверность дает вам преимущества повторения, сводя к минимуму его недостатки, заключается в том, что вы знакомитесь с новыми аргументами, которые уже были «решены». Затем вы должны определить, правильно ли применялось решение на каждом этапе. Повторение лежит в основе развития навыков, но чтобы свести к минимуму ощущение «притирания и оттирания», пока ученик не устанет и не разочаруется, стимул является новым, а та часть, которая больше всего похожа на работу, уже подготовлена ​​для вас. Все, что вам нужно сделать, это определить, правильно ли были применены шаги.

2. Обоснование: Обоснование скрывает от учащегося по крайней мере одну часть шага, заставляя пользователя выяснять, какая часть или части отсутствуют и как они вписываются в более широкую картину того, что предоставляется. В то время как валидность незаметно увеличивает количество повторений, обоснование привлекает ваше творчество чем-то вроде головоломки. Это предназначено не только для того, чтобы учащийся был вовлечен, но и для того, чтобы углубить его понимание правил, а точнее, их применение в споре.

3. Вывод. Вывод предоставляет пользователю только набор предпосылок и окончательный вывод. К тому времени, когда ученик достигает умозаключения, его тренировочные колеса полностью отключены, и все, что они узнали ранее, должно быть использовано либо для мысленного построения обоснованного аргумента с тем, что предоставлено, либо для того, чтобы прийти к выводу, что его нельзя правильно сделать. То, что обычно делается с помощью бумаги и карандаша, делается со скоростью мысли.

4. Перевод. Перевод помогает учащемуся переводить утверждения с индикаторными словами и фразами в логические утверждения. Слова-индикаторы и фразы обычно используются в книгах и курсах по логике, чтобы помочь учащимся понять, как перевести утверждение на человеческом языке в утверждение логики. Перевод разбивает их на набор уровней и позволяет пользователю устанавливать новые баллы по мере достижения новых уровней мастерства.