Логический закон icon

Логический закон


Скачать 144.39 Kb.
НазваниеЛогический закон
страница1/3
Размер144.39 Kb.
ТипЗакон
  1   2   3

1. Предметы изучения любых наук: природа, человек  мышление, общество. Объект логики как науки – мышление. Мышление – это высшее по отношению к чувственной форма отражения бытия, состоящая в целенаправленности и обобщённом познании субъектом существующих связей и отношений предметов и явлений между собой, в творческом создании новых идей, в прогнозировании событий и действий. Обобщая практические знания люди с помощью мышления познают законы общества, природы и человека. Мышление – это сложный многосторонний процесс. Оно изучается в рамках различных дисциплин. Физиология изучает как зависит мышление от материального насилия – мозга. Психология изучает условия нормального и патологического функционирования и развитие мышления. Генетия изучает наследственные основания человеч. способностей к мышлению. Кибернетика пытается создать искусственный разум. Философия познаёт происхождение и сущность мышления, взаимосвязь идеального и материального. Сущ. 3 вида мышления: 1) допсихическое или интуитивное; 2) эмоционально-чувственное. 3) Логическое или познающее. Логическим мышление человек пользуется в проф. деятельности, в научной дея-ти, в любой познающей дея-ти. Логика (греч. – мысль, разум, речь, смысл, слово) – это наука о законах и формах познающего мышления. Мышление – объективный процесс не зависящий от нас. Т.к. у логического мышления существуют общие закономерности и сущ. единая форма, т.е. строение мысли, способ связи составных частей мысли последовательно можно изучать эти закономерности и формы. В различных по содержанию мыслях можно обнаружить общую форму, т.е. её типичное строение. О чём бы мы не говорили, какой бы язык не использовали логический строй мышления един у различных народов и даже у различных поколений. Сущ. 3 типа логической формы мысли: 1) имя = понятие; 2) высказывание = суждение; 3) вывод = умозаключение.

^ 2. Логический закон: это логическая форма, кото­рая порождает истинное предложение при любой подстанов­ке вместо переменных их значений. Какие бы простые предложения мы не подставляли вместо переменных p и q в уже упоминавшуюся форму Если р, то q; следовательно, если не - q, то не - р, мы обязательно получим истинное сложное предложение. Иное дело форма Если р, то q; следовательно, если не - р, то не - q. Формы, являющиеся логическими законами, облада­ют следующим свойством: их использование позволяет находится в рамках истинного знания и, что осо­бенно важно, на основе истинных знаний продвигаться к новым знаниям, которые также будут истинными. Логические законы выделяются специальными мето­дами для того или иного раздела формальной логики. Выработка этих методов - одна из важнейших задач этой науки. Закон исключенного третьего - это форма AvА. Если в эту форму вместо А подставить какое-либо высказывание, то в результате всегда получим сложное истинное выск. Например, если вместо А подставим высказывание "Франциск Скорина жил в Мин­ске", то получим сложное высказывание "Франциск Скорина жил или не жил в Минске", и каждый согласится, что оно истинно. Согласно закону исключенного третьего, два проти­воречащих высказывания не могут быть вместе ложны, должна выполняться одна из возможностей: если ложно одно из противоречащих высказываний, то истинно другое, а что-либо третье исключено. Поэтому в процессах рассуждений, если установлена ложность некоторого высказывания, можно смело утверждать об истинности высказывания, которое ему противоречит. Законом противоречия - называется форма (АА). Она тоже порождает только истинные сложные высказыва­ния. Например: "Неверно, что Франциск Скорина жил и не жил в Минске". В соответствии с законом противоречия два противоречащих высказывания не могут быть вместе истин­ными, одно их них ложно. Отсюда - опасность, связанная с использованием противоречивых высказываний: тот, кто допускает противоречие, вводит в свои рассуждения заведо­мо ложное положение, что разумеется, недопустимо. Согласно закону тождества - АА - всякое высказы­вание является необходимым и достаточным условием своей собственной истинности. Отсюда вытекает, что в процессе рассуждения всякое высказывание должно быть согласовано с самим собой. Рассогласованность в смыслах используемых высказываний чревата серьезными ошибками. Известно, что если отрицать дважды некоторое вы­сказывание, то в результате получается, что утверждается это высказывание без всякого отрицания. Так, говоря: "Неверно, что Иванов не виноват", мы тем самым утверждаем: "Иванов виноват". Отсюда ясна справедливость закона удаления двой­ного отрицания - АА Столь же приемлемо и обратное положение АА, называемое законом введения двойного отрицания.

3. Рассмотренные законы с одной переменной легко устанавливаются табличным способом

А

АА


(АА)
АА

АА

ААА

и

и

и

и

и

и

л

и

и

и

и

и

Более сложную структуру имеют законы с более чем одной переменной. Перечислим наиболее употребительные законы с двумя переменными:



С увеличением числа переменных табличный метод становится трудноприменимым, поскольку быстро возрастает число строк в таблице, исчисляемых по формуле S=2n, где S – число строк, а n - число переменных. Так, при пяти пере­менных таблица состоит из 32 строк. Поэтому изобретаются более удобные способы селекции логических законов. С бо­лее кратким способом ознакомимся на примере формы ((АВ)С)А)c. Ход мысли будет следующим: 1. Чтобы форма не являлась логическим законом, она при некоторой подстановке должна стать ложным высказы­ванием. 2. Поскольку наша форма - импликация, то она может оказаться ложным высказыванием только в том случае, когда при некоторой подстановке ее антецедент окажется истинным, а консеквент - ложным, т.е. когда ((АВ)С)А) будет истинным, а С -ложным. 3. Чтобы данный антецедент был истинным, необхо­димо, чтобы, поскольку он является конъюнкцией, оба его члена были истинны, т.е. В)С) и А должны быть истинны. 4. Поскольку В)С) - конъюнкция, постоль­ку при ее истинности оба ее члена, т.е. АВ и ВС должны быть истинны. 5. Так как А®В - истинная импликация и истинен ее антецедент А (согласно п. 3), то В тоже будет истинным. 6. Поскольку В®С - истинная импликация и В ис­тинно, то и С тоже истинно. 7. Наше допущение о ложности С, таким образом, отпадает, т.е. консеквент нашей импликации должен быть истинным. Следовательно, истинной будет и вся имплика­ция. Но поскольку она не может быть ложной при одной единственной подстановке, которую мы проверили, посколь­ку она - логический закон. Испытаем еще форму (А(ВС))((ВС)А). Чтобы она была ложной, достаточно, чтоб антецендент этой импликации А(ВС) был истинен, а консеквент (ВС)А - ложен. Чтобы консеквент был ложен, должно быть ВС ис­тинно, а А - ложно. Чтобы ВС было истинно, должны быть истинными как В, так и С. Теперь рассмотрим антецедент. Поскольку, как мы установили, А - ложно, а ВС должно быть истинным, то антецедент будет истинным. Таким обра­зом, наше допущение о ложности данной импликации согла­суется с полученным результатом, и данная форма не являет­ся логическим законом. Если бы мы испытывали последнюю форму несокра­щенным, табличным способом, то мы непроизводительно рассмотрели бы семь остальных подстановок, прежде чем установили бы ложность некоторой подстановки. Рассуждая сокращенно, мы сразу же нашли нужную нам подстановку, решающую вопрос о том, является ли наша форма логиче­ским законом, отрицательно.


5. В языке имена выраж. с помощью отдельных слов или устойчивых словосочетаний. Логическая структура имён складывается из объёма и содержания. Объёмом имени назыв. совокупность предметов явлений, признаки которых отражаются в имени. Содержанием имени назыв. совокупность существенных признаков, тех предметов и явлений, которые входят в его объём. (Пр.: в объём имени дерево входят существующие деревья на планете Земля. В содержание имени входят существенные признаки: древовидный стебель, развитая корневая система и лиственная крона). Объём и содержание имени связаны между собой по закону обратного отношения, т.е. чем богаче содержание имени, тем меньше его объём и наоборот. В логике объём имени изображается схематично с помощью кругов Эллера. (кружки с точками внутри).

6. Виды имён подраздел. на 2 группы. ^ Виды имён по объёму: 1) имена общие – в объём которых входит два и более реально существующих предмета или явления. 2) имена единичные – в объём входит один реально существующий предмет или явление (имена собственные). 3) пустые или нулевые имена, в их объём не входит ни один реально сущ. предмет или явление. Пустые имена обозначают мифические, сказочные предметы или явления, а также те понятия науки, которые не доказаны и не обоснованы на практике. По содержанию: 1) имена конкретные-абстрактные, конкретные имена – признаки фиксируются в предмете, причём эти признаки реально сущ. имён (книга, гос-во). Имена абстрактные фиксируют признаки явления или предметы рассматриваемые безотносительно к этому предмету. 2) Положительные-отрицательные имена. Положит. закрепл. наличие признаков в содержании имени (грамотный, сытый, верующий, алкоголик). Отрицательные – фиксируют отсутствие качества в содержании имени (неграмотный, аморальный, темнота). 3) Имена относительные-безотносительные. Относительные имена фиксируют признаки указывающие на связь предмета или явления с другими предметами или явлениями и не рассматривающиеся без этой связи (брат, невеста, причина). Имена безотносительные на фиксируют в своём содержании признаков отношения с другими именами. 4) Имена собирательные-несобирательные. Собир. имена – это такие, в содержании которых закреплены признаки отлич. целую группу понятий (коллектив, семья, шахматы, сервиз). Несобирательные – закреплённые признаки конкретных предметов или явлений (факультет). Для того, чтобы дать логическую характеристику имён, необходимо определить вид имени по объёму и содержанию (Столица РБ: единичное, конкретное, положит., безотносит., несобир.)

7. При процедуре сравнения отдельных имён друг с другом устанавливают взаимосвязи между объёмами имён. Схематично отношение между именами изображ. с помощью кругов Эллера. Выдел. при сравнении 2 большие группы имён: 1) Сравнимые – такие имена, в объём которых входят признаки по которым их можно сравнивать между собой, обладающие общими признаками. 1) Несравнимые – такие, которые не имеют общих признаков в объёме (гос-во и симфонич. музыка). Сравнимые имена: 1) равнообъёмные имена – объёмы таких имён совпадают между собой (А=В, столица РБ и город Минск). 2) Пересечённые имена, объёмы таких имён имеют некоторые сходные признаки и пересек. друг с другом (АВ, экономист и препод.). 3) Подчинённые имена, такие, в объём которых полностью входят или подчин. признаки из объёма другого понятия. (деревья и берёза). Несравнимые имена: 1) Соподчинённые имена – такие, в объём которых не входит ни один общий признак, но вместе с тем 2 имени соподчинены с большим объёмом. (берёза, дуб). 2) Противоположные имена (отличник, двоечник). 3) Противоречивые имена (А , неА).

8. В логике различают прежде всего два разных смысла термина "определение". Во-первых, под определением пони­мается операция, позволяющая выделить некоторый предмет среди других предметов, однозначно отличить его от них. Это достигается путем указания на признак, присущий этому, и только этому, предмету. Такой признак называется отличи­тельным. Во-вторых, определением называют логическую опе­рацию, дающую возможность раскрыть, уточнить или сфор­мировать смысл одних языковых выражений с помощью других языковых выражений. Структура определения. В структуре определения вы­деляется три части: а) определяемое имя или выражение, его содержащее (Dfd); б) выражение, раскрывающее, уточняющее или формирующее значение определяемого имени (Dfn); в) дефинитивная связка, соотносящая Dfd и Dfn по их значению (=). Формально структура определения представляется выражением: Dfd = Dfn. Виды определений. Определения классифицируются по разным основаниям. Явным называется определение, в котором определяемое имя синтаксически совпадает с Dfd и непосредственно приравни­вается к значению Dfn. "Вершок - древняя мера длины, равная 4,4 см". Среди явных определений особое место принадлежит классическому определению. Оно строится по схеме: есть В и С", где А - Dfd, В и С - Dfn, "есть" - дефинитивная связка. При этом В является родовым именем по отношению к А (АВ), а С фиксирует отличительный признак, которым А выделяется среди видов, подчиненных В. Поэтому классиче­ское определение называют также определением через род и видовое отличие. Близкими классическим являются генетические определения, описы­вающие предметы в соответствии со способами их образова­ния: "круг - это фигура, образо­ванная движением на плоскости отрезка прямой ОМ вокруг неподвижной точки О". Однако не всякому имени определение дается в яв­ном виде. В частности, многие математические понятия не определяются явно. Например, чтобы определить понятие логарифма, используют предложение: "Логарифм данного числа N при основании а есть показатель степени у, в кото­рую нужно возвести а, чтобы получить N'. Здесь имя "логарифм" определяется не само по себе, а неявно, через контекст его использования, т.е. через словосочетание "логарифм данного числа N при основании а", в котором определяемое имя выступает в качестве его части. Такого рода неявные определения называются контекстуальными. Регистрирующее определение указывает на зна­чение, которое уже имеет определяемое выражение в некото­ром языке, например, "Слепой - человек, лишенный зрения". Постулирующее определение устанавливает значение некоторого выражения на будущее. Так, с некоторых пор цветными металлами в промышленности стали называть все металлы и их сплавы, за исключением железа и его сплавов. Между регистрирующими и постулирующими опреде­лениями промежуточное место занимают уточняющие опре­деления, предназначение которых заключается в замене не­точных имен на точные, необходимость такой замены посто­янно возникает - в развитии науки, в процессах обсуждения и ре­шения практических вопросов и т.д.

^ 9. 1. Правило соразмерности. Dfd и Dfh должны быть равнообъемны. Выполнение этого правила позволяет взаимо-заменять Dfd и Dfn в одних и тех же контекстах. Такая вза­имозамена не превращает истинные контексты в неистин­ные. Отклонение от правила соразмерности приводит к различного рода дефектам. Если объем Dfn больше объема Dfd, то говорят об ошибке "слишком широкого определений' (например: "Коррозия -это разрушение твердых тел", "Курвиметр - прибор для измерения длины"). В случаях, если объем Dfn меньше объема Dfd, имеет место ошибка "слишком узкого определений' ("Несовершеннолетний - гражданин, ко­торому на момент совершения преступления не исполнилось 18 лет"). Возможна ошибка "одновременно слишком широкого и слишком узкого определений'' при этом объемы Dfd и Dfn находятся в отношении пересе­чения ("Шляхтич - представитель привилегированного сосло­вия на Беларуси в 13 - нач. 20 вв."). Иногда Dfd и Dfn оказываются несовместимыми ("Кит - рыба, у которой отсутствует плавательный пузырь") или даже пустыми ("Летучая мышь -птица, испускающая локационные сигналы"). 2. Правило запрета порочного круга. Запрещается Dfd определять через Dfn, который в свою очередь определен через Dfd. Допускаемое при этом нарушение называется "порочный круг в определении'. Так, если прямой угол мы определим как угол с взаимно перпендикулярными сторонами, а взаимно-перпендикулярными назовем прямые, образующие прямые углы, то получим "порочный круг". Частным случаем "порочного круга" является тавтология - повторение Dfd и Dm (хотя бы и в иной словесной форме) без установления значения Dfd: "демократ - человек демократических убежде­ний". 3. Правило однозначности. Каждому Dfn в точности должен соответствовать один единственный Dfd, и наоборот. Это правило устраняет явления синонимии и омонимии, запрещает использование метафор, художественных образов. В неформализованных контекстах это правило дей­ствует в ослабленном варианте - лишь первой своей частью: Каждому Dfn должен, соответствовать один-единственный Dfd, а не наоборот. Это значит, что одному и тому же Dfd может соответствовать более одного Dfn; Dfd=Dfni, Dfd=Dfiti2 и т.д. В зависимости от потребностей на первый план выдвигаются некоторые из них. В качестве ил­люстрации рассмотрим следующий историко-научный факт. 4. Правило минимальности. Dfti должен выражать лишь свое основное содержание. В противном случае определение будет избыточным. В классических определениях это правило выполняется при условии, если: а) входящий в Dfn род яв­ляется ближайшим по отношению к Dfd, т.е. таким, что ни­какое другое имя, подчиненное роду и подчиняющее Dfd, ранее не определено; б) в Dfn отсутствуют выражения, нахо­дящиеся в отношении следования (подчинения). 5. Правило компетентности. В Dfn могут входить лишь выражения, значения которых уже приняты или ранее определе­ны. Отклонение от этого правила называется "определением неизвестного через неизвестное" - ошибка, весьма частая в процессах обучения. Неразумно, например, вводить опреде­ление "Парабола - геометрическое место точек, равноудален­ных от фокуса директрисы", если неизвестно, что такое фо­кус и что такое директриса.


11. Операция, посредством ко­торой объем имени (род) распределяется по классам (видам) в соответствии с некоторым признаком, называется логиче­ским делением. При этом род называют также делимым име­нем, виды - членами деления, а признак - его основанием. Логическое деление может быть стандартным и не­стандартным. При стандартном делении как род, так и виды - имена с четким объемом, при нестандартном они представ­ляют собой нечеткие, расплывчатые имена, или типы. Более развернутая характеристика этой операции до­стигается путем выделения в ней двух сторон - объемной и содержательной. С точки зрения объема стандартное логиче­ское деление состоит в нахождении для имени А таких имен А1, a2, ..., An (n - конечное число), что: а) каждый из объемов А1, a2, ..., An находится в отно­шении подчинения к объему А (А1А, А2А, ..., АnА); б) сумма объемов А1, a2, ..., An равна объему А (A1A2…An = A); в) каждая пара объемов А1, a2, ..., An связана отноше­нием несовместимости (А1А = , ..., А1А2 = ; А2Аn = ;…). При этом имя А является делимым именем, а А1, a2, ..., An - членами деления. Например, если А - именная" часть речи, то А1, a2, ..., An - соответственно существитель­ное, местоимение, прилагательное, числительное, и между ними имеют место отношения, отмеченные выше. В содержательном плане логическое деление состоит в разбиении рода предметов соответственно основанию деле­ния, т.е. особенностям признака, присущего данным предметам. Особенности этих признаков позволяют относить предметы к тому или иному виду, но в рамках вида они оказываются тождественными в определенном смысле. Возможно, что в качестве основания деления высту­пает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на тех, которые этим признаком обладают, и тех, которые им не обладают. Например, числа делятся на четные и нечетные. Такое деле­ние называется дихотомическим. В отличие от него деление по признаку, ко­торым обладают все предметы рода и который варьируется в видах, называется политомическим (греч. polis - много). Дихо­томическое деление является более простым. Оно использу­ется, как правило, на начальной стадии изучения предметов, когда имеется ясность относительно части предметов, обо­значенных делимым именем. Классификация. Вместо термина "логическое деление" иногда в качестве синонима используется термин "классификация". Но нередко в понятие классификация вкладывают добавочный смысл. Классификация в узком смысле - это многоступенчатое, разветвленное логическое деление, такое, что каждый из членов, получен­ный в процессе этой операции, становится предметом даль­нейшего деления. Результатом классификации является си­стема соподчинения имен: делимое имя обозначает некото­рый род, новые имена - виды, виды видов (подвиды) и т.д. Соответственно стандартному и нестандартному ло­гическому делению следует различать стандартную и нестан­дартную классификацию. Последняя называется типологией.

12. 1. Правило адекватности (соразмерности). Каждый из объемов А1, a2, ..., An должен быть видом объема А, а сумма А1, a2, ..., An должна исчерпывать весь объем А. Отступление от этого правила ведет к ошибкам, наиболее известные из кото­рых: "деление с лишними членами", когда некоторый из объ­емов А1, a2, ..., An не является видом А (например: "Насекомые делятся на полезных, неполезных и пауков" -пауки не являются насекомыми); "неполное деление", когда не все виды делимого рода названы, и сумма объемов членов деления меньше объема делимого имени (например: "Люди делятся на берущих и дающих взаймы"). 2. Правило разграниченности. Члены деления должны исключать друг друга, т.е. находиться в отношении несовместимости. Нарушение этого правила имеет место, например, при делении пословиц на древние, современные, аллегорические, нравственные, быто­вые. 3. Правило единственности основания. Деление должно производиться по одному основанию. При выполнении этого правила предметы, входящие в объем делимого имени, наде­ляются одним единственным признаком - тем, который вы­ступает в качестве основания деления. Отступление от этого правила ведет к погрешности, которая называется смешением оснований. Мы нарушим это правило, если, например, пре­смыкающихся разделим на обитающих в море, на суше, от­кладывающих яйца и живородящих, так как вначале за осно­вание взят признак среды обитания, а затем способ размно­жения. Изложение становится бессистемным. Смешение оснований неизбежно сопровождается нарушением правила разграниченности. Правило единственности основания не исключает того, что основание может представлять собой сочетание двух или более признаков, выступающих как еди­ный признак. Например, взяв в качестве основания деления сумму двух признаков - прямоугольность и равнобедренность треугольников, можно разделить объем имени "треугольник" на четыре вида - треугольники прямоугольные и равнобед­ренные, треугольники прямоугольные и неравнобедренные, треугольники непрямоугольные и равнобедренные, треуголь­ники непрямоугольные и неравнобедренные.

^ 13. Обобщение объема А - .логическая операция, в резуль­тате которой образуется имя с объемом В, содержащим в себе объем А. Иными словами, об­общить имя А - значит образо­вать такое другое имя В (род), которое подчиняло бы себе имя А (вид). На первый взгляд, об­общение - то же, что и включе­ние. Однако это не совсем так. Разница прежде всего в том, что при обобщении более общее имя В может быть в прин­ципе неизвестным. Его содержание надо еще выработать, объем установить или уточнить, а само имя, быть может, заново сформулировать, в то время как при включении А в В эти имена выступают как данные. Процессы обобщения - неотъемлемые свойства научного познания. Прежде чем по­явилось обобщающее имя "закон Боиля-Мариотта", прошли десятилетия упорного труда ученых по исследованию зависи­мости между давлением и объемом различных газов. В процессе познания обобщающее имя в свою оче­редь может быть обобщено и т.д. Пределом обобщения в каждом конкретном случае выступает некое универсальное имя. В различных науках - это имена, фиксирующие фунда­ментальные понятия (научные категории); точка, прямая, плоскость - в геометрии, материальная точка, масса, сила, ускорение - в механике; атом, молекула, валентность - в хи­мии; труд, товар, деньги, стоимость - в экономической тео­рии; предмет, свойство, отношение - в логике. Ограничение. - логическая операция, обратная обоб­щению. Она состоит в нахождении имени с объемом В, кото­рый содержится в объеме А. Ограничить объем А - значит найти такое другое имя В (вид), которое находилось бы в отношении подчинения к А (роду). Пределом ограничения выступают имена, объемы которых равны одному предмету. Так, пределом ограничения имени "столица" являются имена отдельных государств - Минск. Особой разновидностью ограничения является выде­ление типа, или типизация. Тип - это имя-образец, которому в той или иной мере соответствуют предметы одного и того же рода. Так, ограничивая объем име­ни "человек", можно получить имя "высокий человек". Это будет тип, поскольку, исходя из практики и разумных сооб­ражений, можно выделить безусловно высоких людей, остальных же упорядочить по степени их принадлежности к высоким людям, до той границы, за которой находятся без­условно невысокие люди С точки зрения содержания тип в концентрирован­ном виде заключает в себе признаки родственных предметов. Типичный представитель некоторого класса предметов - это предмет, по содержанию мало чем отличающийся от образца (типа). Например, пан Адольф Быковский в пьесе Я.Купалы "Павлинка" - типичный представитель мелкой белорусской шляхты в начале XX века.

4. Имя – это форма мысли, отражающая предметы и явления в их наиболее общих и существенных признаков. Имя следует отличать от представления, которое даёт наглядно-чувственный образ предмета или явления и вкл. в себя мн-во конкретных несущественных признаков. Имя – это абстрактное отражение предметов и явлений и его нельзя представлять себе в виде наглядного образа. Признаком назыв. всё то, что объединяет или отличает предметы друг от друга. Общим признаком назыв. признак присущий целому классу предметов или явлений. Если какие-то предметы сходны в отношении некоторого признака, то их можно объединить между собой в группу или класс отличных от других классов предметов. Существенные признаки – это такие приз., лишившись которых предмет перестаёт быть самим собой.

17. Отношения между сложными В. устанавливается по логическому методу предложенному в прошлом веке, назыв. таблицы истинности сложных В. Истинность простого высказывания можно установить двумя способами: 1) Проверка истинности на практике; 2) Логический квадрат. Истинность сложных В. устанавл. только с помощью логических методов исследования. Сложные В. вступают в отношения сравнимости и несравнимости. Критерием сравнения выступ. наличие общего простого В. и наличие различного типа связки. Отношения несравнимости устанавл. между В., которые обладают различными простыми В. вход. в их состав. В логике разработаны таблицы, по которым устанавл. истинность либо ложность сложных В. 1) Коньюкция: истинно, если оба вход. простых В. приним. истинное значение (рис). 2) Дизъюнкция: сильная и слабая. Слабая истинна тогда, когда хотя бы одно из простых В. истинно. Сильная, когда только одно значение простого В. истинно (рис). 3) Импликация, ложна только когда р – истинное значение, q – ложное, во всех остальных случаях – истинна (рис). 4) Эквиваленция истинна когда значения p и q совпадают между собой либо по истинности либо по ложности (рис).

  1   2   3

Похожие:

Логический закон iconЛогический закон
О чём бы мы не говорили, какой бы язык не использовали логический строй мышления един у различных народов и даже у различных поколений....
Логический закон iconЗакон по сути является продолжением зк. Фз от 24 июля 2002 года «Об обороте земель сельскохозяйственного назначения»
Этот закон сперва журналисты, а после и граждане стали называть «Закон о дачной амнистии»
Логический закон iconЗакон должен быть соблюден. (Изречение римского права)
«узаконенная справедливость» и закон не может нарушать естественные данные человеку от рождения, свободы. По—моему, необходимо соблюдать...
Логический закон iconЗакон о внесении дополнений в областной закон
Внести в областной закон от 14. 07. 2003 n 46-зо «Об административных правонарушениях» следующие дополнения
Логический закон iconУкажите правильный ответ создателем атомистической теории был
Логический прием перенесения некоторых признаков, присущих одному предмету, на другой предмет это
Логический закон iconОписание!! «Дон Кихот», интуитивно-логический экстраверт
Признаки Рейнина: демократия, уступчивость, беспечность, конструктивизм, тактика, статика, позитивизм, процесс, веселость, рассудительность,...
Логический закон iconЗакон всемирного тяготения. Законы Кеплера. Первый закон Кеплера
Первый закон Кеплера. Траектория движения (орбита) каждой планеты вокруг Солнца представляет собой эллипс, в одном из фокусов которого...
Логический закон iconЗакон
Российской Федерации" и статью 4 Федерального закона "О внесении изменений в Федеральный закон "О политических партиях" и Федеральный...
Логический закон icon-
Мне хотелось бы напомнить заинтересованным лицам, что я ранее рекомендовал ко мне с этим не лезть, так как не вижу себя в этой песочнице....
Логический закон icon-
Мне хотелось бы напомнить заинтересованным лицам, что я ранее рекомендовал ко мне с этим не лезть, так как не вижу себя в этой песочнице....
Логический закон iconЗакон сохранения массы веществ, закон сохранения энергии, закон постоянства состава, закон кратных отношений. Объяснение этих законов с точки зрения атомно-молекулярного учения и границы их применимости
Основные законы химии (закон сохранения массы веществ, закон сохранения энергии, закон постоянства состава, закон кратных отношений)....
Вы можете разместить ссылку на наш сайт:
Документы


При копировании материала укажите ссылку ©ignorik.ru 2015

контакты
Документы