Студопедия


Авиадвигателестроения Административное право Административное право Беларусии Алгебра Архитектура Безопасность жизнедеятельности Введение в профессию «психолог» Введение в экономику культуры Высшая математика Геология Геоморфология Гидрология и гидрометрии Гидросистемы и гидромашины История Украины Культурология Культурология Логика Маркетинг Машиностроение Медицинская психология Менеджмент Металлы и сварка Методы и средства измерений электрических величин Мировая экономика Начертательная геометрия Основы экономической теории Охрана труда Пожарная тактика Процессы и структуры мышления Профессиональная психология Психология Психология менеджмента Современные фундаментальные и прикладные исследования в приборостроении Социальная психология Социально-философская проблематика Социология Статистика Теоретические основы информатики Теория автоматического регулирования Теория вероятности Транспортное право Туроператор Уголовное право Уголовный процесс Управление современным производством Физика Физические явления Философия Холодильные установки Экология Экономика История экономики Основы экономики Экономика предприятия Экономическая история Экономическая теория Экономический анализ Развитие экономики ЕС Чрезвычайные ситуации ВКонтакте Одноклассники Мой Мир Фейсбук LiveJournal Instagram

Формулы логики высказываний




Логика тесно связана с языком, поэтому ему уделяется большое внимание.

Искусственные языки, создаваемые для научных целей, например, для науки логики, называются формализованными языками. При этом задается алфавит, где каждая последовательность символов называется словом. Затем вводится синтаксис – правила, позволяющие определять правильные слова, которые называются формулами [29].

Алфавит логики высказываний состоит из:

· высказывательных или пропозициональных переменных (X, Y, Z, …, W);

· логических констант (0 – ложь, 1 – истина);

· символов логических операций (¯, |, Ú, ® ,Ù, …);

· служебных символов, например, символов скобок ( [, ], {, }, (, )).

Определение формулы:

· всякая высказывательная переменная – формула;

· всякая логическая константа – формула;

· если F1и F2формулы, то формулами являются F1×F2, F1ÚF2, F1®F2, ,…(т.е. при наличии знака операции над формулами).

Для обозначения переменных и формул, в математической логике приняты прописные буквы

Язык, служащий для объяснения другого языка, называется метаязыком. На таком языке (на естественном русском) написан этот подраздел.





Дата добавления: 2015-03-27; просмотров: 263; Опубликованный материал нарушает авторские права? | Защита персональных данных | ЗАКАЗАТЬ РАБОТУ


Не нашли то, что искали? Воспользуйтесь поиском:

Лучшие изречения: Увлечёшься девушкой-вырастут хвосты, займёшься учебой-вырастут рога 9699 - | 7623 - или читать все...

Читайте также:

 

18.208.159.25 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.


Генерация страницы за: 0.001 сек.