Връзка между прости принципни решения, сравними с логиката на площада, който е разработен от средновековни логици.
В горната част на площада представляват четири вида прости решения, както и ръката му и диагонала - връзката между тях. По този начин решението на Форма А и Форма I на, и решението на форма Е и форма G са в зависимост връзка. Решенията, Форма А и Форма Е са в обратна връзка, и решението на форма I и форма О - припокриване. Решенията форма А и форма D, и формират преценка Е и тип I са в отношението на противоречие. Не е изненадващо, логическата площада не представлява съотношение равностойност, защото един и същи вид на съдебни решения, в това отношение, т.е. равностойност - е съотношението между предложения А и A, I, I, E, E, G и О. За да се установи връзка между двете решения е достатъчно, за да се определи какво вид принадлежи всеки един от тях. Например, необходимо е да се разбере съдби са по никакъв начин: Всички хора са изучавали логика, и някои хора не са изучавали логика. Виждайки, че първото предложение е универсална утвърдително (A), а втората chastnootritsatelnym (О), ние можем лесно да се установи връзката между тях с помощта на логически квадрат - противоречие. Също решения: · Всички хора са изучавали логически (А) Някои хора са изучавали логика (I) са в отношението на подчинение и за съд: Всички хора са изучавали логика (A) и всички хора, не са изучавали логика (Е) са по отношение на опозицията.
Както вече споменахме, важна характеристика на съдебно решение (за разлика от понятия е, че те могат да бъдат истина или лъжа. Що се отнася до сравнимо решение, истинната стойност на всеки един от тях по определен начин, свързани с валидността на останалите стойности.
Всички случаи на връзката между стойностите на истината на простите решения са сравними:
1. Ако решението на формуляр А е вярно, решението на формуляр I също така е вярно, и решението на формуляр Е и G са неверни.
2. Ако решението на формуляр А е невярно, а след това на тип I решението на валидност не е сигурен (т.е. може да бъде или вярно или невярно, в зависимост от това, което ще влезе в нея), решението на формуляр Е също е несигурно от истината, и решението на формата е вярно. (По-нататъшни намаления ще се прилагат, например, вместо "решение на формуляр А" ще каже "А", а вместо "е истински" # 8209; "истински").
3. Ако E е вярно, тогава А е грешно, аз лъжливо О вярно.
4. Ако E е лъжа, а след това за неопределено време за валидност, аз вярно, о, за неопределено време за валидност.
5. Ако е вярно, както и несигурността по отношение на валидността, E фалшива O за неопределено време за валидност.
6. Ако е лъжа, тогава А е грешно, вярно E, G е вярно.
7. Ако D е вярно, тогава А е грешно, E за неопределено време на истината, аз за неопределено време за валидност.
8. Ако O е лъжа, а след това е вярно, невярна Е, аз вярно.
Използването преразгледани правила, можете да направите изводи за истинността на прости решения, сравнима с логически квадрат (или, както често се казва, че в логиката, # 8209; логическата квадрат).
Свързани статии