Предложения Выражения, имеющие

Дизъюнкция существует в двух разновидностях- слабой и сильной. Слабая дизъюнкцияÚ выражает многовариантность возможностей обладания предметом каким-либо признаком («Предприятие избежало банкротства случайно или вследствие умелого менеджмента» – может быть или то или другое и то и другое вместе), периодическую сменяемость каких-либо явлений (идет то снег, то дождь); в естественном языке выражается союзом «или». Сильная дизъюнкция выражает альтернативность явлений, свойств (врач правильно поставил диагноз или он ошибался) ÚÚÚ. В естественном языке выражается союзом «либо». Еще раз следует отметить, что естественный язык многозначен и следует отличать смысл символа и его запись: записано «или», а смысл записи «либо» – лифт едет вверх или вниз (лифт может ехать либо вверх, либо вниз, но не одновременно вверх и вниз).

Импликация ®É выражает такую связь между высказываниями, которая отражает причинно-следственную связь явлений (если по проводнику идет ток, то проводник нагревается). В естественном языке выражается с помощью союза «если…, то», «когда…, тогда». И снова просьба отличать запись и смысл высказывания: «Если раньше в России не было фирм, выпускающих компьютеры, то теперь таких фирм несколько» – несмотря на союз «если…,то» смысл этого высказывания на деле включает конъюнкцию (раньше в России не было фирм, выпускающих компьютеры, но /или однако/ теперь таких фирм несколько).

Эквиваленция º«отражает взаимозаменяемость, взаимообусловленность явлений и событий; ее иногда называют сильной или двойной импликацией. В естественном языке выражается союзами «если и только если…, то», «тогда и только тогда…, когда». Учитывая, что мы редко говорим «если и только если …», «тогда и только тогда», а обычно только «если…,то» – как в импликации, то чтобы отличить эквиваленцию от импликации, то следует использовать прием перестановки местами частей сложного суждения, и если суждение остается всегда истинным, то это эквиваленция; если ложным, то импликация. «Если и только если Солнце в зените, то тени короткие», «Только когда все действия предприятия на рынке производятся в полном соответствии с законом, преследование предприятия в уголовном порядке исключено».

Отрицание ~Ø` в естественном языке выражается словами «не», «нет», «неверно,что».

Квантор общности " - логический оператор; слова, показывающие, что мысль относится ко всем предметам данной области значений. В естественном языке используются слова «Все», «Каждый», «Всякий», «Любой»; при отрицании – «Никто», «Ни один». В качестве высказываний используются символы вида "хР(х) – любой объект «х» обладает свойством «Р».

Квантор существования $ логический оператор; слова, показывающие, что мысль относится лишь к некоторым предметам данной области значений. В естественном языке используются слова «Некоторые», «Существуют». В качестве высказывания используются символы вида: $хР(х) – некоторые объекты «х» обладают свойством Р или существует «х», обладающий свойством Р (или по крайней мере один объект из области значений переменной «х» удовлетворяет предикату (свойству) Р).

Л огические союзы могут вовсе не выражаться. Например, «Курить – здоровью вредить» – импликация; «Ночь.Туман. Тишина.» – конъюнкция.

В число символов формальной логики входят следующие: Ì (элемент «а» включается в класс А); Î (элемент «а» принадлежит классу А); ›r- необходимо, что r;¨r возможно, что r; Ñр – случайно, что р.

Семантические категории:

самостоятельное значение в

предложениях

Повествовательные Дескриптивные Логические

Вопросительные термины термины

Дата добавления: 2013-12-13