Символика Логическая - это...

- система знаков (символов), используемая в логике для обозначения термов, предикатов, высказываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике: а, b, с, ... - начальные буквы латинского алфавита, обычно используются для обозначения индивидуальных константных выражений, термов; A, В, С, ... - прописные начальные буквы латинского алфавита, обычно используются для обозначения конкретных высказываний; х, у, z, ... - буквы, стоящие в конце латинского алфавита, обычно используются для обозначения индивидных переменных; X, Y, Z, ... - прописные буквы, стоящие в конце латинского алфавита, обычно используются для обозначения переменных высказываний или пропозициональных переменных; для той же цели часто используют маленькие буквы середины латинского алфавита: р, q, r, ...;