Book · November 019 citation reads 4,694 author: Some of the authors of this publication are also working on these related projects


Download 0.67 Mb.
Pdf ko'rish
bet15/19
Sana10.04.2023
Hajmi0.67 Mb.
#1348397
TuriКнига
1   ...   11   12   13   14   15   16   17   18   19
1.3. Логические связки 
Сформулируем основные правила образования новых предложений из 
исходных с помощью основных связок и союзов обычного разговорного 
языка. Одних только правил русского языка бывает недостаточно, так как 
иногда в одно и то же предложение, сформулированное на русском языке, мы 
вкладываем разный смысл. Для примера рассмотрим оборот речи «Если, то», 
с помощью которого сформулируем два предложения: 
1) «Если Миша сдаст экзамен на отлично, то пойдет на дискотеку». 
2) «Если Миша не сдаст экзамен на отлично, то на дискотеку не 
пойдет». 


18
18 
Вопрос: в этих предложениях говорится об одном и том же или 
существует ситуация, когда одно из предложений является верным, а другое 
ложным? Другими словами, спрашивается, равносильны ли эти предложения. 
До тех пор, пока мы четко не определим правила построения 
подобного рода фраз, на вопрос ответить однозначно нельзя. С одной 
стороны, формулируя первое предложение, мы часто подразумеваем и второе 
предложение. Однако посмотрим на эти предложения с другой стороны. 
Вначале запишем схемы предложений. Для этого предложение «Миша 
сдаст экзамен на отлично» обозначим буквой А, а предложение «Миша 
пойдет на дискотеку» – буквой В. Тогда данные предложения схематично 
можно записать так: 
1) «Если А, то В», 2) «Если не А, то не В». 
Теперь подставим вместо А и В другие предложения. Вместо А 
возьмем: «Стол сделан из дуба», вместо В: «Стол является деревянным». 
Тогда получим другую пару предложений: 
1) «Если стол дубовый, то он деревянный», 
2) «Если стол не дубовый, то он не деревянный». 
Так как эти предложения построены по тем же схемам, что первые два, 
значит, равносильность первой пары предложений должна означать 
равносильность второй пары. Однако первое предложение в обыденной речи, 
очевидно, является верным высказыванием, так как дуб – это дерево, а 
второе предложение по общепринятому смыслу ложно, так как стол может 
быть сделан из другого дерева, например из сосны. 
Таким образом, в общем случае предложения, построенные по схемам 
«Если А, то В» и «Если не А, то не В», нельзя считать логически 
одинаковыми. 
Итак, для того чтобы исключить двусмысленность при конструкции 
предложений, нужны четкие правила, позволяющие определять истинность 
или ложность получаемого предложения в зависимости от истинности или 
ложности исходных предложений А и В
Придадим союзам «и», «или», а также схемам «если, то», «тогда и 
только тогда», «неверно, что» однозначный логический смысл. 
Пусть буквы А и В обозначают произвольные предложения. Начнем с 
простых ситуаций. 
1. Знак отрицания  )
( или . Выражение А (
А
 , А ) читается: «не 
А» или «неверно, что А». 


19
19 
Значения предложения А определим таблицей, из которой видно, что 
предложение А истинно в точности тогда, когда исходное предложение А 
ложно: 
При формулировке простых по структуре предложений частицу «не» 
иногда можно «проносить вовнутрь» предложения. Например, предложение 
«Неверно, что число 
6
целое» можно сформулировать так: «Число 
6
не 
целое». Также предложение «Неверно, что прямые а и b пересекаются» 
формулируют: «Прямые а и b не пересекаются». 
Часто объект, который не обладает каким-то свойством, называют 
термином с частицей «не». Например, целое число, не являющееся четным, 
называется нечетным. Поэтому одинаково правильно говорить «Целое число 
нечетное» и «Целое число не является четным». Но без оговорки, что число 
целое, мы имеем разные по смыслу предложения. Например, «Число 0,2 не 
является четным» – истина, а предложение «Число 0,2 нечетное» – ложь. 
Рассмотрим словосочетание «нечетная функция». Здесь мы имеем 
самостоятельный термин и слово «нечетная» нельзя писать и произносить 
Download 0.67 Mb.

Do'stlaringiz bilan baham:
1   ...   11   12   13   14   15   16   17   18   19




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling