Математическая (теоретическая, символическая) |
Логические связки (операции) над высказываниями
Высказывание - построение над множеством {B, , , , 0, 1}
В - непустое множество, над элементами которого определены три базовые операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание (,унарная)
2 константы: 0 • 1
|
---|