Классическая логика высказываний (768957)
Текст из файла
Классическая логика высказываний.
Язык классических высказываний (проподициональная логика).
Суждения – смысл. Высказывание – знак. Предложение – знак на собственном языке.
Набор связок, который позволяет все остальные функции – называется функциональным полным. Отрицание (однаместна). Коньюнция соединение («И»). дизьюнкция, разединяет(«ИЛИ»). Импликация (если то). Эквиваленция (тогда и только тогда). Строгая дизьюкция (либо, либо).
Репульсивное определение л.в.
1. все пропорциональные формулы являются формулами (атмарные, элементарные, простые).
2. если А и В формулы и между ними поставлен знак функции, то это тоже формулы (молекулярные, составные, сложные).
Больше никаких формул логических высказываний НЕТ.
Семантика классической логике высказываний.
Табличная истинности. Виды формул.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
