Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


ќсновы алгебры логики. —лово Ђлогикаї означает как совокупность правил, которым подчин€етс€ процесс мышлени€, так и науку о правилах рассуждений




 

—лово Ђлогикаї означает как совокупность правил, которым подчин€етс€ процесс мышлени€, так и науку о правилах рассуждений. Ћогика как наука о законах и формах мышлени€ изучает абстрактное мышление как средство познани€ объективного мира.

ќсновными формами абстрактного мышлени€ €вл€ютс€:

- пон€ти€;

- суждени€;

- умозаключени€.

ѕон€тие Ц форма мышлени€, в которой отражаютс€ существенные признаки отдельного предмета или класса однородных предметов, например: Ђпортфельї; Ђтрапеци€ї; Ђветерї.

—уждение Ц мысль, в которой что-либо утверждаетс€ или отрицаетс€ о предметах. —уждени€ €вл€ютс€ истинными или ложными повествовательными предложени€ми. ќни могут быть простыми и сложными. Ќапример: Ђ¬есна наступилаї; Ђ√рачи прилетелиї; Ђ¬есна наступила, и грачи прилетелиї.

”мозаключение Ц приЄм мышлени€, посредством которого из исходного знани€ получаетс€ новое знание; из одного или нескольких истинных суждений, называемых посылками, мы по определЄнным правилам вывода получаем заключение.

¬се металлы Ц простые вещества.

Ћитий Ц металл.

Ћитий Ц простое вещество.

„тобы достичь истины при помощи умозаключений, надо соблюдать законы логики. —уществует формальна€ и математическа€ логика.

‘ормальна€ логика Ц наука о законах и формах мышлени€.

ћатематическа€ логика изучает логические св€зи и отношени€, лежащие в основе дедуктивного (логического) вывода.

‘ормальна€ логика св€зана с анализом наших обычных содержательных умозаключений, выражаемых разговорным €зыком. ћатематическа€ логика изучает только умозаключени€ со строго определЄнными объектами и суждени€ми, дл€ которых можно однозначно решить, истинны они или ложны.

¬ основе логических схем и устройств Ё¬ћ лежит специальный аппарат, использующий законы математической логики. ћатематическа€ логика изучает вопросы применени€ математических методов дл€ решени€ логических задач и построени€ логических схем. «нание логики необходимо при разработке алгоритмов и программ, так как в большинстве €зыков программировани€ есть логические операции.

јлгебра логики Ц это раздел математической логики, значени€ всех элементов (функций и аргументов) которой определены в двухэлементном множестве: Ђ»стинаї (ЂTrueї) и ЂЋожьї (ЂFalseї), или 1 и 0.

¬ математической логике суждени€ называютс€ высказывани€ми. јлгебру логики иначе называют алгеброй высказываний.

¬ысказывание Ц это повествовательное предложение, о котором можно сказать, истинно оно или ложно.

ѕримеры высказываний ћожет быть истинным или ложным

—ейчас идЄт снег.

«емл€ Ц планета —олнечной системы. истинно

2 + 8 < 5 ложно

5 ´ 5 = 25 истинно

¬с€кий квадрат есть параллелограмм. истинно

¬с€кий параллелограмм есть квадрат. ложно

2 ´ 2 = 5 ложно

ј вот примеры, не €вл€ющиес€ высказывани€ми: Ђ”ход€, гасите свет!ї; Ђƒа здравствует мыло душистое и полотенце пушистое!ї

¬ысказывани€, приведЄнные выше, €вл€ютс€ простыми. —ложные высказывани€ получаютс€ путЄм объединени€ простых высказываний св€зками-союзами », »Ћ» и частицей Ќ≈. «начение истинности сложных высказываний зависит от истинности вход€щих в них простых высказываний и от объедин€ющих их св€зок.

 





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-01-29; ћы поможем в написании ваших работ!; просмотров: 2071 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

Ћаской почти всегда добьешьс€ больше, чем грубой силой. © Ќеизвестно
==> читать все изречени€...

503 - | 453 -


© 2015-2023 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.009 с.