Главная страница
Навигация по странице:

  • Упражнение 11

  • При решении данной задачи необходимо учитывать, что – логический термин – знак отрицания.

    		•

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


    Скачать 0.96 Mb.
    НазваниеПрактикум по логике цель его заключается в том, чтобы дать конспективное изложение основных вопросов этой науки и закрепить их разрешение практическими заданиями
    Анкорvse-tri-stadii_-Praktikum_po_logike_12-03-2013.doc
    Дата26.04.2017
    Размер0.96 Mb.
    Формат файлаdoc
    Имя файлаvse-tri-stadii_-Praktikum_po_logike_12-03-2013.doc
    ТипПрактикум
    #5622
    страница5 из 13
    1   2   3   4   5   6   7   8   9   ...   13

    ПОСТРОЕНИЕ ТАБЛИЦЫ ИСТИННОСТИ


    Построение таблицы истинности для суждений, в которые входят более двух переменных, строится по определенным правилам.

    Пусть вам необходимо построить таблицу истинности для следующего суждения: (А → (В С)).

    Для определения количества строк в таблице истинности воспользуемся следующей формулой: 23 = 8 строк, где 2 – логическая константа, так как любое суждение может быть либо истинным, либо ложным, третьего в двухзначной логике не дано.

    Алгоритм распределения значений И и Л для переменных таков:

    – в столбце для А сначала пишем 4 раза «И» и 4 раза «Л»;

    – в столбце для В сначала пишем 2 раза «И» и 2 раза «Л», затем повторяем;

    – в столбце для С поочередно, начиная со значения «И» чередуем значения.
    Пример таблицы для сложного суждения (А → (В С)).
    А
    В
    С
    (А →
    (В С))

    И
    И
    И
    И
    И

    И
    И
    Л
    Л
    Л

    И
    Л
    И
    Л
    Л

    И
    Л
    Л
    Л
    Л

    Л
    И
    И
    И
    И

    Л
    И
    Л
    И
    Л

    Л
    Л
    И
    И
    Л

    Л
    Л
    Л
    И
    Л


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

    Упражнение 11


    С помощью простых суждений: а – «Я работаю в офисе», b – «Я люблю свою профессию», с – «Я учусь в университете» составьте высказывания, соответствующие следующим формулам:

    1. a b c.

    2. a b c.

    3. c → (a b).

    4. b → (a b).

    5. (a b) → c.

    6. (a → b) → (c → b).

    7. (a → b) a → c .

    8. (a Ú b) → c.

    9. c→ (a b).

    10. c b a


    При решении данной задачи необходимо учитывать, что – логический термин – знак отрицания.
    Пример: a b c – Я работаю в офисе, и я люблю свою профессию,
    и я учусь в университете.


    1   2   3   4   5   6   7   8   9   ...   13

    написать администратору сайта