Алгебра высказываний и предикатов

Морар Кристина 11 А

Эмблема

Дерево целей

Введение

Информатика изучает информацию, сообщения или знаковые системы, последовательности. Информационные процессы лучше структурируются и формализуются с помощью алгебраических структур.

Высказывание

Высказывание – повествовательное утверждение, про которое можно однозначно сказать, что оно истинно или оно ложно.(Логические переменные) Рассмотрим примеры:

1. Москва – столица Российской Федерации.

2. Житель города Нальчика.

3. 5-9+8

4. 5-9+8=4

5. В пятую неделю зимы выпал снег.

6. На Юге Африки живут пингвины.

Высказывание должно быть однозначно истинным или ложным, поэтому высказываниями являются только утверждения 1, 4 ,6.

Предикат

Предикат – выражение с логическими переменными, имеющие смысл при любых допустимых значениях этих пременных.

Выражения: х > 5, x > y – предикаты; 7>5 – высказывание.

Логической (булевой) функцией f(х) называется некоторая функциональная зависимость, в которой аргумент х – логическая переменная с заданным множеством изменений аргумента, а значения функции f(x) берутся из двухэлементного множества R(f) = {1,0}.

Множество логических переменных с определенными над ним операциями: – отрицания или инверсии, – логического сложения или дизъюнкции, –логического умножения или конъюнкции называется алгеброй предикатов (и высказываний), если эти операции удовлетворяют следующим аксиомам:

Основные аксиомы предикатов:

1. Аксиома двойного отрицания:

2. Аксиомы переместительности операндов (относительно операций дизъюнкции и конъюнкции):

3. Аксиомы переместительности операций дизъюнкции и конъюнкции (относительно операндов):

4. Аксиомы одинаковых операндов:

5. Аксиомы поглощения (множителем — множителя-суммы или слагаемым — слагаемого-произведения):

6. Аксиомы распределения операции (дизъюнкции относительно конъюнкции и наоборот):

7. Аксиомы де Моргана (перенесения бинарной операции на операнды):

8. Аксиомы нейтральности (взаимноинверсных множителей или слагаемых):

9. Аксиома существования единицы (истина, true, 1) и нуля (ложь, false, 0), причем,

Парадокс

Парадокс (от др.-греч. παράδοξος —неожиданный, странный от др.-греч. παρα-δοκέω — кажусь) — ситуция (высказывание, утверждение, суждение или вывод), которая может существовать в реальности, но не имеет логического объяснения. Следует различать парадокс и апорию.

Апория, в отличие от парадокса, является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности.

Парадоксальность — неожиданность, непривычность, оригинальность, противоречивость себе, исходным посылкам, общепринятому, традиционному взгляду или здравому смыслу по содержанию или по форме. Антонимом парадоксальности является ортодоксальность — проверенность, традиционность.

«Ортодоксальный» — буквально «следующий господствующей традиции». В разговорной речи, часто означает удивление, каким либо событием, его нелепостью, и непонятностью. Порой может использоватся для придания смысловой окраски, придания яркости тексту или речи.

Вторая формулировка

Парадокс — высказывание, которое расходится с общепринятым мнением и кажется нелогичным (зачастую лишь при поверхностном понимании). Парадокс, в отличие от афоризма, поражает неожиданностью. Например, уайльдовский «Разводы совершаются на небесах».

Парадокс – это всегда полуправда и это, как говорил Оскар Уайльд, «лучшее, чего мы можем достичь, потому что абсолютных правд не существует». Парадокс своей стилизованной формой напоминает афоризм. В парадоксе привычная истина рушится на глазах и даже высмеивается. Например, «Я слышал столько клеветы в Ваш адрес, что у меня нет сомнений: Вы – прекрасный человек!» (О. Уайльд), «Взаимное непонимание – самая подходящая основа для брака» (О. Уайльд).

Тавтологии

Тавтология (греч. ταυτολογία от ταύτό или λέγείν — говорить то же самое) — термин стилистики, означающей ненужное повторение. Можно выделить следующие разновидности тавтологии:

1. Смысловое повторение, избыточность. От плеоназма тавтология отличается тем, что не имеет оправдания не только с логической, но и с эмоциональной стороны. Плеоназм — «abundans super necessitatem oratio» (Квинтилиан) — грешит только против краткости; с точки зрения необходимости, о которой говорит Квинтилиан, действительно достаточно сказать: «им не воротиться», не прибавляя «им назад не воротиться», как сделал Жуковский; но это прибавление усиливает поэтическую сторону речи, увеличивает ее выразительность. Наоборот, тавтология ничего не прибавляет и повторяет без всякой цели: тавтология есть излишний плеоназм. У древних тавтология называлась еще периссологией (περισσος — лишний) и баттологией (от имени киренейского царя Батта, заики, повторявшего слова, или поэта Батта, любителя ненужных длиннот).

2. Повторение однокоренных слов, например, изобразить образ, приблизиться ближе. При этом не обязательно смысловое повторение, например, варить варенье, звеньевой первого звена. Подобные тавтологии нередко образуются, когда слова, образованные от одного корня достаточно сильно расходятся по смыслу, а иногда и теряют его. Выражение чёрные чернила не является смысловой тавтологией, так как существют и чернила других цветов, и корень слова чернила потерял изначальное цветовое значение. Плеоназм неизбежен, когда в языке отсутствуют равнозначные по смыслу слова, как в случае с чёрными чернилами.

3. Построение звуковых последовательностей:лет до ста расти нам до самой старости. Тавтология считается стилистической ошибкой, хотя может быть и тонким риторическим приёмом.

Тавтология в риторикериторическая фигура, представляющая собой повторение одних и тех же или близких по смыслу слов.

Тавтология в логике

Тавтология в литературе - прием чрезвычайно употребительный в так называемом устном эпосе с его любовным выписыванием деталей и длительным задерживанием на последних внимания слушателей. Обилие тавтологии в произведениях народной словесности несомненно также связано с особым «певческим» характером их исполнения, при котором тавтологии служили для заполнения «музыкального» «времени». Такой ритмический характер носят порой тавтологии и в литературе. Это, напр., совершенно очевидно в известном стихотворении Бальмонта: «Я мечтою ловил уходящие тени», где соответственно расположенные тавтологии дают ритм восхождения.

«Я мечтою ловил уходящие тени,
«Уходящие тени погасавшего дня.
«Я на башню всходил, и дрожали ступени,
«И дрожали ступени под ногой у меня».

Тавтология встречается в пословицах и поговорках: Дружба дружбой, а служба службой; Жизнь прожить – не поле перейти; Вольному воля; во фразеологических оборотах: ходить ходуном, битком набит, есть поедом.

Экспрессивно окрашенные тавтологические сочетания характерны для фольклора: Скоро сказка сказывается, да не скоро дело делается; сиднем сидеть, горе горькое.

Намеренное использование однокоренных слов служит средством лексической выразительности в художественной литературе и публицистике: «Горьким смехом моим посмеюся» (Н. Гоголь); «Как ум умен, как дело дельно, Как страшен страх, как тьма темна! Как жизнь жива! Как смерть смертельна! Как юность юная юна!» (З. Эзрохи), «Закон есть закон» (из газеты).

Тавтология представляет собой лексическую ошибку, если употребление однокоренных слов не оправдано стилистическими целями и носит случайный характер: воедино соединить, станцевать танец, по-спортивному относиться к спорту, подтвердить утверждение. Обычно о непреднамеренной тавтологии говорят так: масло масляное.

Силлогизм

Простой категорический силлогизм (греч. συλλογισμός) — рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Пример силлогизма:

Всякий человек смертен (большая посылка)
Сократ — человек (меньшая посылка)
Сократ смертен (заключение)

Структура простого категорического силлогизма

В силлогизм входит ровно три термина:

  • S — меньший термин: субъект заключения (входит также в меньшую посылку);
  • P — больший термин: предикат заключения (входит также в большую посылку);
  • M — средний термин: входит в обе посылки, но не входит в заключение.

S (субъект) – то, относительно чего мы высказываем (делится на два вида):

1. Определенное: Единичное, Частное, Множественное

  • Единичные [суждения] – в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»
  • Частное суждение – в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»
  • Множественное суждение - это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»

2. Неопределенное. Прим: «светает», «больно» и т.п.

Сказуемое P (предикат) – то, что мы высказываем (2 вида суждений):

  • Повествовательные – это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в саду цветет».
  • Описательные – когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Прим: «Огонь горяч», «снег бел».

Заключение

Тема « Тавтология. Парадокс. Силлогизм» на мой взгляд достаточно интересна и увлекательна, т.к ее можно рассматривать с разных областей науки. Много интересных фактов и высказываний можно найти, она заставляет о многом задуматься и многое переосмыслить.

Ведь жизнь- это парадокс, с чередой повторяющихся дней, где человек постоянно ищет свое «Я».

 
tema/tavtologii_sillogizmy_i_paradoksy.txt · Последние изменения: 2009/04/29 00:05 От morar_11a
 
За исключением случаев, когда указано иное, содержимое этой вики предоставляется на условиях следующей лицензии:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki