О проекте | Помощь    
   
 
   Энциклопедия Компьютеры Финансы Психология Право Философия   
Культура Медицина Педагогика Физика Спорт Спорт
 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
 
Ла Лб Лв Лг Лд Ле Лж Лз Ли Лй Лк Лл Лм Лн Ло Лп Лр Лс Лт Лу Лф Лх Лц Лч Лш Лщ Лъ Лы Ль Лэ Лю Ля
 

ЛОГИКА ВЫСКАЗЫВАНИЙ

ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.