3.5.7. логика, наука о мышлении, наука о законах и формах теоретического мышления

Ответ: Понятие «логика», «наука о законах и формах теоретического мышления» - равнозначные понятия. Понятие «логика», «наука о законах и формах теоретического мышления» и «наука о мышлении» находятся в отношении подчинения: «логика (наука о законах и формах теоретического мышления) – это обязательно наука о мышлении, наука о мышлении – не обязательно логика (наука о законах и формах теоретического мышления).

Наука о мышлении

Логика,

наука о законах и

формах теоретического

 мышления

Определите виды и проанализируйте структуру сложных суждений, запишите формулы

4.5.1. Игра может закончиться либо победой одного из соперников, либо ничьей.

Ответ: Дизъюнктивное суждение (дизъюнкция) – это сложное суждение с разделительным союзом «или», он может использоваться как в нестрогом (неисключающем) значении, так и в строгом (исключающем). Строгая дизъюнкция – это сложное суждение с разделительным союзом «или» в его строгом (исключающем) значении, который обозначается условным знаком «٧». С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a b (читается «или a, или b»), где a и b – это два простых суждения. Так, сложное суждение: «Игра может закончиться либо победой одного из соперников, либо ничьей», – является строгой дизъюнкцией (разделением) двух простых суждений: «игра может закончится победой одного из соперников», «игра может закончится ничьей». Обратим внимание на то, что эти суждения друг друга исключают, ведь невозможно одновременно закончить игру и победой одного из соперников, и ничьей (если игра закончится победой одного из соперников, то точно не закончится ничьей, и наоборот), в силу чего данная дизъюнкция является строгой. Формула: a ٧ b

4.5.2. Если Петр любит ходить в гости, то Павел домосед.

Ответ: Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом «если … то» в тождественном (эквивалентном) значении. В данном случае этот союз обозначается условным знаком «↔», с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a b (читается «если a, то b, и если b, то a»), где a и b – это два простых суждения. Например, сложное суждение: «Если Петр любит ходить в гости, то Павел домосед», – представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений: «Петр любит ходить в гости», «Павел домосед». В данном случае два суждения связаны так, что из первого вытекает второе, а из второго – первое: если Петр любит ходить в гости, то Павел домосед, а если Павел домосед, то Петр любит ходить в гости. В эквиваленции две её части являются равнозначными суждениями. Формула: a↔ b

4.5.3. Для того, чтобы х было нечетным, достаточно, чтобы х было простым.

Ответ: Импликативное суждение (импликация) – это сложное суждение с условным союзом «если … то», который обозначается условным знаком «→». С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a → b (читается «если a, то b»), где a и b – это два простых суждения. Например, сложное суждение: «Для того, чтобы х было нечетным, достаточно, чтобы х было простым», – представляет собой импликативное суждение (причинно-следственную связь) двух простых суждений: «Для того, чтобы х было нечетным», «достаточно, чтобы х было простым». В данном случае эти два суждения связаны таким образом, что из первого вытекает второе (если для того, чтобы х было нечетным, то достаточно, чтобы х было простым), однако из второго не вытекает первое (если достаточно, чтобы х было простым, то это вовсе не означает, что оно нечетное). Первая часть импликации называется основанием, а вторая – следствием; из основания вытекает следствие, но из следствия не вытекает основание. Формула: a → b.

4.5.4. Параллелограмм является квадратом, если и только если он прямоугольник и его стороны равны.

Ответ: Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом «если … то» не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается условным знаком «↔», с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a b (читается «если a, то b, и если b, то a»), где a и b – это два простых суждения. Например, сложное суждение: «Параллелограмм является квадратом, если и только если он прямоугольник и его стороны равны», – представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений: «Параллелограмм является квадратом», «параллелограмм - прямоугольник и его стороны равны». В данном случае два суждения связаны так, что из первого вытекает второе, а из второго – первое: если параллелограмм является квадратом, то он обязательно прямоугольник и его стороны равны, а если параллелограмм - прямоугольник и его стороны равны, то он обязательно квадрат. В эквиваленции, в отличие от импликации, не может быть ни основания, ни следствия, т. к. две её части являются равнозначными суждениями. Формула: a↔ b


Информация о работе «Основы логических суждений»
Раздел: Математика
Количество знаков с пробелами: 44828
Количество таблиц: 0
Количество изображений: 0

Похожие работы

Скачать
29370
1
0

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

Скачать
32107
8
0

... в методических целях порознь, качество и количество суждения тесно связаны. Поэтому в логике большое значение придается объединенной классификации суждений по их количеству и качеству. Возможны четыре вида таких суждений: общеутвердительные, частноутвердительные, общеотрицательные и частноотрицательные. Общеутвердительными называются суждения, по количеству, т.е. по характеру субъекта, общие, а ...

Скачать
58066
5
3

... . Человек в своем развитии приобрел способность познавать окружающий мир, субъективный образ которого должен совпадать с реальностью. Для студента это положение методологично, поскольку он должен понять и объяснить факт содержательного совпадения и формального отличия законов природы и законов логики. Во – первых, все законы объективны в том смысле, что отражают одну и ту же реальность и ...

Скачать
50542
0
1

... или произвольного измышления разума. Такие законы - результат отражения внешнего мира в сознании человека. Только адекватно инаучно осмысленная формальная логика раскрывает объективную основу логической формы законов человеческого мышления и тем самым доказывает их необходимость вовсяком процессе научного познания объективной реальности. Различают следующие виды формально-логических законов. ...

0 комментариев


Наверх