За по-голяма яснота, логиката, използвана в термина "логически мрежа", които се намират в ъглите на преценка A, E, I, O, а по страните й и диагонали са символични изрази основни логически връзки между предложения.
I. субординация отношения, свързани решения и А I, E и О.
Общо предложение (А, Е) се подчинява и частен (I, О) - подчинени. За съдебни решения са в
E субординация връзка има стойност от следните е вярно: ако е вярно, тогава истината и аз; вярно, ако Е също така е вярно О, но не и обратното. Всъщност, ако е вярно, че "Всички ученици да вземат теста в
За Logic "(A), а след това същото се отнася и за някои от тях (I)« Някои студенти вземат теста в логиката ", но не и обратното. От факта, че "някои дни от седмицата са неработен" (I), това не следва, че "Всички дни от седмицата са неработен" (A) .Ако вярно решение
"Нито един месец не включва броя на тридесет и две" (Е), а след това е вярно също така ще подчинение лично неблагоприятно съдебно решение "В някои месеци има тридесет и две номер" (О) .Obratnoe не е вярно. От истината лично отрицателно решение "Някои плодове не са годни за консумация" (0) не означава, че "Никой от плодовете не се яде" (Д).
II. По отношение на конфликти на съд са Е и аз, и А и О. Според законите на логиката, две противоречащи си твърдения не могат да бъдат едновременно нито верни, нито неверни. Така че, в два ценен логика, те ще предприемат различни логически стойности: Аз, ако А - вярно, О - О, ако А е грешно - фалшив, тогава G - вярно
ако G - вярно, тогава A - фалшиво, ако G - фалшив, тогава A - вярно, ако Е - вярно, аз - фалшиво, ако E - фалшиви, тогава аз - вярно, ако I - вярно, тогава Е - фалшиво, ако I - лъжливо, Е - вярно
или А ≡ # 9488; О, или # 9488; А ≡ О или О ≡ # 9488; А, или # 9488; О ≡ А или Е ≡ # 9488; I, или # 9488; Е ≡ I, или I ≡ # 9488; Е или # 9488; I ≡ Е.
Създаване на формата на един от най-противоречивите становища и булева стойност, която може лесно да бъде определен като Булева стойност на противоречиви мнения за него. Например, знаейки, че решението "Не делфин не живеят на земята" (Е) е вярно, можем да заключим, че това противоречи на chivoe решение "Някои делфини са в състояние да живеят на земята» (I) - е лъжа.
А III Отношение противоположностите включват само общи предложения А и Е. Както вече знаете, противоположностите се противопоставят на крайните положения и не обхващат целия клас от обекти. Ето това е възможно ", а третата", "четвърта и" .... Следователно, решението не е задължително да противоположностите
Трябва да вземем различни логически стойности. квадратен Горна GP свързва тези видове съдебни решения (А, Е), Ko torye може едновременно да бъде фалшива, но не мога
бъде едновременно вярно. Например, две предложенията:
"Всички хора обичат музиката на Шнитке" и "Никой не обича музиката на Шнитке" очевидно невярно. вярно suzh-
Така denie ще експресира последния тип връзка
- subkontrarnost.
IV връзката subkontrarnosti могат да се появят само между частично решение I и О. Това съотношение се изразява квадратен долната страна. Давайки си сметка за факта, че решенията I и О Д подчинените съдби А и Е, както и като се вземат предвид отношението на опозицията между предложения А и Е, ние се заключи, че, тъй като решението на А и D, E и аз са свързани с правото на не-противоречие, в случай на отношенията противоположностите
На между субординация отношения А и Е, аз → А и О → E «отменена." В случаите, когато на "горна" отчет А и Е са едновременно невярно (както е в нашия пример), истинската са противоречиви "нисш", решението ми и О. От решението А и Е могат да бъдат едновременно и фалшиво, но не могат да бъдат едновременно вярно, решение I и О в, напротив, може да бъде едновременно вярно, но те не могат да бъдат едновременно фалшива (това означава, subkontrarnost). Така че, в нашия пример ще бъде вярно решение: "Някои хора като музиката на Шнитке" (I на), "Някои хора не обичат музиката на Шнитке" (O).
Създаване на логически връзки между предложения "на логическата мрежа дава възможност за редица практически операции присъди. Например, знаейки истинската стойност на решение, А, Е, I, О, като се използва логически мрежа може да се установи действителната стойност на останалите три решения.
Тази логика на работа в официалната форма се представя като решение на "проблема за логическата площад". Например, необходимо е да се определи какво е логическа стойност преценка Е, аз, о, когато A - решението е вярно.
По този начин, A - истината
E -.
I -?
O -?
Решение:
1. Ние обясни друга стойност обща преценка Д. Тя е свързана с логически противоположности съотношението и също не може да е вярно (както е определено от противоположности). Така че, E - е лъжа.
2. Задайте стойности на I и D решение, свързано с общата suzhdeniya- Е А и съотношение E противоречие. Тъй като в това отношение се вземат различни стойности логична преценка определя: ако е вярно, тогава D - невярно; ако E е лъжа, тогава аз - вярно.
По този начин, решаване на проблема, ние виждаме, че:
Ако А - вярно, тогава
E - лъжа
I - истината
О - една лъжа
Свързани статии