Видове логически съюзи - Студиопедия
Концепцията за логически съюз. Видове съставни изявления
1. Законът за тъждеството: всяка мисъл в процеса на разсъждение трябва да бъде идентична на себе си. Според този закон е забранено идентифицирането на различни мисли, както и разграничаването на еднакви. Законът изразява изискването за сигурност на мисленето. Нарушаването на закона за тъждеството води до логическа грешка, която се нарича "подмяна на понятието" или подмяна на предмета на разсъждението.
2.Законът на противоречието: две противоречиви твърдения за един и същи предмет, взети по едно и също време и в едно и също отношение, не могат да бъдат едновременно верни; поне един от тях е задължително неверен. Според този закон две мисли не могат да бъдат едновременно верни, едната от които отрича другата. Законът на противоречието изразява изискването за последователност на мисленето. (A-E)
3.Законът на изключената среда: две противоречиви изявления за една и съща тема, по едно и също време, в едно и също отношение, не могат да бъдат едновременно неверни; ако едно от тях е невярно, то второто е вярно, а третото е изключено. Този закон се изразява с формулата: А или не А. Законът за изключената среда изразява изискването за точност, последователност на мисленето. (A-O. E-I)
4. Закон за достатъчната причина: Само тези твърдения могат да се считат за надеждни, в полза на истинността на които има достатъчно основания. Този закон установява изискването за разумност (убедителност, аргументираност) на мисленето. За доказателство се считат разсъжденията, в които се обосновава истината. Изразява се с формулата A е, защото B е.
Сложните изречения се образуват от прости.използване на логически съюзи.
| съюз | Символ |
| "не", "не е вярно, че" - отрицание | — |
| "и" - свързващ съюз (конюнкция) | ^ |
| "или" - съединително-разделителен съюз (слаба дизюнкция) | V |
| "или. или "- изключителен разделителен съюз (силна дизюнкция) | V- |
| „Ако. тогава "- условен съюз (импликация) | --.> |
| "ако и само ако" - еквивалентност (еквивалентност). |
Значението на логическите съюзи се изразява най-ясно чрез т. нар. таблици на истинност Видове сложни твърдения
• Отрицанието на твърдение е твърдение, което е вярно тогава и само ако първоначалното твърдение е невярно. Означава се -, А ("не А", "не е вярно, че А").
Това определение може да бъде изразено с помощта на следната таблица на истината:
Ученик - студент(и). Ученик не е ученик (л)
Човекът е безсмъртен (l). Човекът не е безсмъртен (и)
•Конюнкция е съставно твърдение, което е вярно тогава и само ако всички съставни прости твърдения са верни. Означава се с A ^ B (A и B): "Логиката и етиката са философски науки." Следните граматически съюзи и съюзнически думи съответстват на логическия съюз на връзката: и, но, да (в смисъла на и), и също, също, въпреки факта, че. но. обаче l други
Силна дизюнкция - е съставно твърдение, което е вярно тогава и само ако само едно от съставните му прости твърдения е вярно. Означава се с A V_ B (или A., или B): „Присъдата на съда може да бъде или обвинителна, или оправдателна“. В естествения език силна дизюнкциясъвпадат с граматичните съюзи „или. дали", "не това. не това".
• Импликация е съставно твърдение, което е невярно тогава и само ако причината е вярна и следствието е невярно. Означен с A -> B („ако A. тогава B“), A се нарича основа (антецедент) на импликацията. Б - следствие (последствие). „Ако има излишък от хартиени пари в обращение, тогава те се обезценяват.“
•Еквивалент е съставно твърдение, което е вярно тогава и само ако логическите стойности на съставните му прости изрази са еднакви. Означен с A
Не намерихте това, което търсихте? Използвайте търсачката:
Деактивирайте adBlock! и обновете страницата (F5)наистина е необходимо