1. Мышление и язык. Естественные и искусственные языки. ------------------3 2. История логики и формализация мышления. Язык исчисления предикатов.----------------------------------------------------------------------------------8 Упражнения--------------------------------------------------------------------------------13 -Вставьте в скобки слово-омоним, которое соответствует понятиям, стоящим за скобками: собака (... ) прейскурант шалость (... ) болезнь металл (. ) кожа животное (. )монах игральная карта (. ) литературное произведение небесное тело (. ) морской обитатель одежда балерины (... ) упаковка -Запишите на языке исчисления предикатов следующие высказывания: Все члены шенгенского союза являются европейскими государствами; Некоторые зачеты являются дифференцированными ; Ни один из переводов Шекспира не принадлежит X; Некоторые грибы не являются съедобными; -Приведите примеры следующих символических выражений: ^х (8(х) ^Р(х)), ^х (8(х) ^ТР(х)), Зх (8(х) лР(х)), Зх (8(х) л!Р(Х)). Литература---------------------------------------------------------------------------------14
