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

  • обосновать их равносильность, построив таблицы истинности для обеих формул (3 балла)

  • Логика высказываний


    Скачать 27.5 Kb.
    НазваниеЛогика высказываний
    Дата16.12.2022
    Размер27.5 Kb.
    Формат файлаdoc
    Имя файлаВ. 21.doc
    ТипДокументы
    #848008

    Контрольная точка 1

    ФИО___________________________________

    Группа___________________________________
    Логика высказываний

    Вариант 21
    I. Формализуйте языком исчисления высказываний следующие суждения. Определите вид каждого сложного суждения (10 баллов, каждое правильное задание – 2 балла: правильно формализованное суждение – 1,5 балла, правильное определение вида суждения – 0,5 балла).

    1) Право отдельного гражданина есть бессмыслица, когда не признано право государства (К. Маркс. Дебаты шестого рейнского ландтага. Ст. 1);

    2) Если бы старый режим продолжал существовать до наших дней, то никому из нас и в голову не пришло бы теперь, что в конце прошлого века во Франции некоторые актёры, наборщики, парикмахеры, красильщики, юристы, разносчики и учителя фехтования были военными талантами в возможности (Г.В. Плеханов. К вопросу о роли личности в истории);

    3) Применение уполномоченными на то органом или должностным лицом административного наказания и мер обеспечения производства по делу об административном правонарушении в связи с административным правонарушением осуществляется в пределах компетенции указанных органа или должностного лица в соответствии с законом (ст. 1.6 КоАП РФ);

    4) Современные научные достижения в области археологии, этнографии и истории дают много нового материала, который позволяет нам показать закономерности и условия возникновения государства, установления законов (М.И. Абдулаев. Теория государства и права);

    5) Если верный конь, поранив ногу,

    Вдруг споткнулся, а потом опять,

    Не вини его - вини дорогу

    И коня не торопись менять (Р. Гамзатов. Берегите друзей).

    II. Сведите данное суждение к равносильному ему (10 баллов). Для выполнения этой операции вам необходимо:

    • формализовать предложенное суждение языком исчисления высказываний (1 балл)

    • найти формулу равносильную полученной в ходе формализации (4 балла)

    • обосновать их равносильность, построив таблицы истинности для обеих формул (3 балла)

    • интерпретировать полученную вами равносильную формулу новым, придуманным Вами, предложением (2 балла).

    Среди юных лишь тот избегает любви,

    У кого малодушье и глупость в крови (Энциклопедия персидско-таджикской поэзии).


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