Is b⊢C∧¬b⊢C∧b⇒C∧¬b⇒C possible?

Как называется операция соответствующая связке если что?

ЕСЛИ-ТО Операция, выражаемая связкамиесли …, то”, “из … следует”, “… влечет …”, называется импликацией (лат. implico — тесно связаны) и обозначается знаком . Высказывание ложно тогда и только тогда, когда А истинно, а В ложно.

Что называется дизъюнкцией двух высказываний P и Q?

3) Дизъюнкция. Дизъюнкцией двух высказываний P и Q называется высказывание, ложное тогда и только тогда, когда оба высказывания ложны. Обозначается PÚQ.