Искусственный интеллект

Понятие модели является важным в логике высказываний и других логиках, поскольку позволяет удачно ввести понятие выводимости одних, истинных при соответствующей интерпретации формул, из других истинных. Считают, что формула а выводима из формул а,, аг, ..., ат, если любая (но одна и та же) модель всех этих формул а,, а2,.... ая является также моделью формулы а. Иными словами, если формулы а,, а2, ..., ат истинны на некотором множестве конкретизации в данной среде, то формула а выводима из них, если она также истинна на всех конкретизациях этого множества. Факт выводимости записывают с помощью символа выводимости Ь : а,, ..., ак. Ь а. 29 2. Логические рассуждения 2.3. Исчисление высказываний Логическим исчислением,или просто исчислением называют совокупность, которая включает в себя: алфавит (совокупность используемых символов); синтаксические правила построения формул в алфавите; аксиомы (общезначимые исходные формулы); правила вывода по аксиомам производных формул или теорем.