Формална логика - 2
Прости изречения на формалната логика
Мононуклеарни предлага формална логика
Има различни думи на български: .. "замръзване", "слънце", "ден" и т.н. От тези думи е възможно да се образуват различни оферти, "Фрост и слънцето. "" Прекрасен ден! "" Да, скитите - правим! "И т. D.
Само едно предложение на българския език съдържа само една-единствена дума и се наричат с едно комбинирани оферти. Например, едноядрени оферти са: "Night. "" Street. "" Фенерите. "," Аптека. ".
В формална логика, следния мононуклеарни предлага български език: "лъжи. ..... "" "" Това не е вярно "," абсурдно "," истина "," Вярно е, "Това се счита за следното:
1. Предложенията "истината. "А" Вярно. "Имат същото значение, че е" истината. ↔ истина. ".
2.1 Оферти "лъжи. "И" Това не е вярно. "Имат същото значение, че е" False. ↔ не е вярно. ".
2.2 Оферти "лъжи. "А" абсурдно. "Имат същото значение, че е" False. ↔ абсурдно. ".
2.3 Последните две обяснения могат да бъдат написани под формата на комплекс обяснение на "False. ↔ не е вярно. ↔ абсурдно. ", Което се произнася:
• «Оферти" False. "" Това не е вярно. "А" абсурдно. "Аз имам едно и също значение."
• «Лъжите, по-вярно, по-абсурдно.".
3.1 Оферти "лъжи. "А" истина. "Има различни значения, но предложението е" False. "Предполага присъда" Истината. "Това означава, че" лъжи. → истината. ".
3.2 Оферта "лъжи. "Предполага, изречението" False. "Това означава, че" лъжи. → False. ".
3.3 Предложение на "истината. "Предполага присъда" Истината. "Това означава, че" истината. → истината. ".
Смята се, че е в формална логика, че:
• надеждност на изречението "Истината". Не е ли по-малко от точността на всякакви други предложения, включително "Lies".
• надеждност на изречението "лъжи." Не повече от точността на всякакви други предложения, включително "The Truth"..
• Оферта "Истина. "Аз съм с символ Аз,
• Оферта "лъжи. "Символна двойка Via ¬I, първият от които е символ на" ¬ ", а втората - на горепосочения символ I.
Използването символ I на изречението "Наистина. "Аз може да се запише като обяснение« Аз ↔. ".
Примерни изречения "Истина, София - столицата на България. "Може да бъде написана под формата« Аз ↔ София - столицата на България. "Оферта" Наистина, диаманти се добиват не само в Якутия. "Може да бъде написана под формата« Аз ↔ Diamonds добива не само в Якутия. "
С помощта на чифт ¬I герои, изречението "Не е вярно, че _ _ _" може да се запише като metapredlozheniya "¬I ↔ _ _ _".
Примерни изречения "Това не е вярно, че Париж е. - столица на Италия" може да се запише като "¬I ↔ Париж -. Столица на Италия" оферта "не е вярно, че среброто -. Semiconductor" може да се запише като "¬I ↔ Silver -. Полупроводникови"
Уводното изречение: "Това не е вярно, че"
на български език, използва различен уводни думи и фрази, в това число:
• встъпителни думи "Разбира се", което може да се намери, например, в изречението "Разбира се, рамката на сапун мама". • встъпителни думи "изглежда", което може да се намери, например, в изречението "Мисля, че сапун майка рамка." • Уводна фразата "е известно, че" който може да бъде намерена, например в изречението "е известно, че рамката на майка сапун.", • уводни думи "се казва, че" който може да бъде намерена, например в изречението "се казва, че сапун майка рамка. "• уводни думи" дълго време се каже, че "който може да се намери, например, изречение "Дълго време се каже, че майката на сапун рамка.").
Уводното изречение се използва също и в българския език "не е вярно, че". Например, изречението "Не е вярно, че майката на сапун рамка." образувана от споменатите изрази и изречения, "Мамо сапун рамка.".
В формална логика, фразата "Не е вярно, че" обозначава ¬ и скоби. Например:
• Оферта "Това не е вярно, че мама сапун рамка." може да се запише във формата на предложения • предложението "не е вярно, че Париж. - столицата на Италия" "¬ (мама сапун рамка.)" може да се запише във формата на предложения "¬ (Париж - столицата на Италия.)", • изречението "Не е вярно, че на камила. - хищник" може да се запише във формата на предложения "¬ (Camel -. хищник)", • изречението "Това не е, че истината." може да се запише във формата на предложения "¬ (истината.)", • предложението "не е вярно, това, което е невярно." Тя може да бъде написана под формата на предложения "¬ (False.)."
Използването равностойност символа ↔, тези примери могат да бъдат написани на кратко:
• Не е вярно, че майката на сапун рамка. ↔ ¬, • Не е вярно, че Париж (мама сапун рамка.) - столицата на Италия. ↔ ¬ (Париж -. Столица на Италия), • Не е вярно, че една камила - хищник. ↔ ¬ (Camel -. Хищник), • Не че истината. ↔ ¬ (истината.), • Не е вярно това, което е невярно. ↔ ¬ (Lie.).
Използването на символа I (предложение представлява "истината".) И героите ¬I (виж изречението "Lies".), Последните два примера могат да бъдат написани още по-кратки:
• Не че истината. ↔ ¬ (I), • Не е вярно това, което е невярно. ↔ ¬ (¬I).
Комуникацията между изреченията "Истината". и "False".
Оферти "Истината". и "False". Те имат различни значения. В същото време, се приема в класическия формална логика, че:
¬ (I) ↔ ¬I (изречението "Това не е, че истината." И "False." Има същото значение.), ¬I ↔ ¬ (I), ¬ (¬I) ↔ I (изречението "Не е вярно това, което е невярно. "и" истина ". има същото значение.), аз ↔ ¬ (¬I).
Също в класическия формална логика, следните правила за използването на скоби със символа и символът ¬ I:
¬ (¬I) ↔ ¬¬ (I) (обикновено полето трансфер отваряне скоба), ¬¬ (I) ↔ ¬ (¬I) (обикновено на лявото трансфер отваряне скоба), ¬¬ (I) ↔ ¬¬I (обикновено понижаване скоби), ¬¬I ↔ ¬¬ (I) (обикновено приложение скоби).
Външна и вътрешна отрицание
на български език може да се формира:
• прости положителни изречения (например, "папата изми рамката." "Миша изяде една ябълка".), • прости отрицателни изречения, в които частицата "не" стои точно пред глагола (например, "Майка ми не си мият рамката." "Таня не се яде ябълка ".), • предложение, в която в продължение на фразата" не е вярно, че "за да бъде просто утвърдително изречение (например," не е вярно, че майката на сапун рамка. "" това не е вярно, че Таня се яде ябълка ".), • предложения в която за фразата "не е вярно, че" за да бъде просто отрицателно изречение с частицата "не", преди глагола (например р: "Това не е вярно, че папата не се харесвало на рамката." "Това не е вярно, че Миша не яде ябълка.").
В математиката, можете също да се образува:
• прост положителен изречение (например, "2 = 1 + 1", "1 ∈ IN"), • прости отрицателни изречения (например, "1 ≠ 0", "-1 ∉ В"), • предложенията за което символът ¬ (вярно, че) трябва да бъде проста положителен изречение (например, "¬ (0 = 1)", "¬ (-1 ∈ в)"), • предложенията за което символът ¬ (вярно, че) трябва да предлага прост отрицателен (например, "¬ (≠ 2 1 + 1)", "¬ (1 ∉ В)").
От изложеното следва, че в българския език и математиката може да се формира от най-малко четири вида предложения, в това число:
1) прости положителни предложения, всеки от които не частица "не" пред глаголът нито фразата "не е вярно, че" Примери за Gold - метал. Момиче с книга. Едно момче гледа през прозореца. 2) прости изречения с вътрешно отрицание, всяка от които има частица "не", преди фразите за глагол, но не "Вярно е, че" Проба Пирит не метал. Момчето чете книгата. Момичето не погледна през прозореца. 3) предлага прост външен отрицание, всяка от които има фразата "не е вярно, че" но не частица "не" на примерите глаголът Невалидни че пирит - метал. Не е вярно, че едно момче четене на книга. Не е вярно, че момичето гледа през прозореца. 4) прости изречения с вътрешни и външни негативи, във всяка от които има фразата "Не е вярно, че" и частица "не" пред глагола. Примери вярно, че златото не е метал. Не е вярно, че момичето чете книга. Не е вярно, че момчето не гледам през прозореца.
Смята се, че е в формална логика, че:
1) предлагат само с външен отрицание и съответната оферта само с вътрешен отрицание имат същото значение, както Примери Невалиден че пирит - метал. Пирит ↔ не метал. Не е вярно, че едно момче четене на книга. ↔ Момчето чете книгата. Не е вярно, че момичето гледа през прозореца. ↔ Момичето не погледна през прозореца. 1), наддават с външни и вътрешни негативи и съответната оферта без външни и вътрешни негативи имат същото значение, както Примери вярно, че златото не е метал. ↔ Gold - метал. Не е вярно, че момичето чете книга. ↔ момиче четене на книга. Не е вярно, че момчето не гледам през прозореца. ↔ момче гледа през прозореца.
За да се формулират тези правила като цяло, да се споразумеят Етикетиране:
1) Предлага първи тип, използвайки последователности от две букви: μP, μQ, μR, микросименса, цТ, и т.н. 2) се занимава само с вътрешния отрицание използване на последователности на формата: .. ¬μP, ¬μQ, ¬μR, ¬μS, ¬μT т.н. 3) предлага само външен в отрицание използване на последователности на формата: .. ¬ (μP), ¬ (μQ), ¬ (μR), ¬ (| iS), ¬ (цТ), и т.н. 4) .. предлага четвърти вид използване на последователности на формата: ¬ (¬μP), ¬ (¬μQ), ¬ (¬μR), ¬ (¬μS), ¬ (¬μT) и др ...
В класическия формална логика се смята за следното:
Първо ¬ (I) ↔ ¬I (изречението "Това не е, че истината." И "False." Има същото значение.), ¬ (μP) ↔ ¬μP (изречението "Не е вярно, че mikrope." А "Nemikrope." Имат същото значение), ¬ (μQ) ↔ ¬μQ (изречението "това не е вярно, че Microcom." и "Nemikroku." има същото значение) ¬ (Birch - .. иглолистни) ↔ Бърч не е иглолистно дърво .. (Изречението "Не е вярно, че брезата. - иглолистно дърво". И. "Бреза не е иглолистно дърво" има същото значение) Вторият ¬ (¬I) ↔ I (изречението "Не е вярно това, което е невярно." И "истина". Имат същото значение .), ¬ (¬μP) ↔ μP (изречението "това не е вярно, че nemikrope." и "Mikrope." има същото значение.), ¬ (¬μQ) ↔ μQ (изречението "това не е вярно, че nemikroku." и "Microcom. "има същото значение) ¬ (не гр.София) ↔ София - .. града. (Изречението "Не е вярно, че София не е град." И "София -. Сити" има същото значение.)