Логически отрицание (инверсия)

Определяне на връзката на двете предложения естествено се простира до всеки краен брой елементи: съюзът на А1 A2 A3 , AN вярно, ако и само ако всички верни твърдения А1. А2. A3. AN (и следователно, неверни, фалшиви, когато поне един от тези отчети).

Логическата добавянето (дизюнкция) от латинската disjunctio # 8213; разделяне, разграничение.

Ако два израза са свързани с думата "или", в резултат на комплекса като цяло се счита вярно твърдение, когато вярно на поне един от компонентите на словото. Помислете например за две твърдения: "Мел е черен." (А), "Board черно." (В). Казвайки "черна креда или черна дъска" би било вярно, защото един от най-оригиналните изречения (В) е вярно.

Така дизюнкцията на две твърдения се нарича ново изявление, което е вярно, ако и само ако е вярно, най-малко едно от тези твърдения.

Определяне на дизюнкцията на двете предложения естествено се простира до всеки краен брой елементи: дизюнкцията V A1 A2 A3 V V. на V AN вярно, ако и само ако е вярно, най-малко един от отчети А1, А2, А3. AN (и следователно, фалшиви, неверни, когато всички тези твърдения).

Логическата Изводът (косвено) от латинската implico # 8213; тясно свързани.

В нашата дискусия, особено в математически доказателства, ние често използват сложни изказвания, образувани с помощта на думата "ако. След това .." Тук твърдението, че следва думата "ако" се нарича база или изпращане, и казва, разположен след думата "който" се нарича следствие или заключение.

По този начин, косвено А ​​=> Б е изявление, което е невярно, ако и само ако А е вярно и В е грешно.

Пишем това определение под формата на таблица, истина:

Логическият идентичност (еквивалентност).

Така еквивалентност две изявления А и Б е изявление, което е вярно, ако и само ако и двете от тези изявления, А и В са верни, или и двете са неверни.

Дайте примери за запис на сложни изречения, използвайки логически connectives наименования:
"Да бъде или да не бъде # 8213; това е въпросът. "(Уилям Шекспир) A V ¬ А <=> Най-
"Ако искате да сте красива, той влезе хусарски". (Prutkov) А => B