Символика логическая |
Страница 4 из 4 - знак, обозначающий выводимость одного высказывания из другого, из множества высказываний; читается: "выводимо" (если высказывание А выводимо из пустого множества посылок, что записывается как " A", то знак " " читается: "доказуемо"); T ; F ; - истина (от англ. true - истина); - ложь (от англ. false - ложь); " - квантор общности; читается "для всякого", "всем"; $ - квантор существования; читается: "существует", "имеется по крайней мере один"; L, N, - знаки для обозначения модального оператора необходимости; читаются: "необходимо, что"; М, a - знаки для обозначения модального оператора возможности; читаются: "возможно, что". |
||||||
| « Пред. | След. » |
|---|
|
|