Символика логическая

Оглавление
Символика логическая
Страница 2
Страница 3
Страница 4
Image
символика чисел
- система знаков (символов), используемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике:
а, b, с, ...

- начальные буквы латинского алфавита, обычно используются для обозначения индивидуальных константных выражений, термов;

A, В, С, ...

- прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний;


 
« Пред.   След. »

Direct/ADVERT


Direct/ADVERT



Rambler's Top100