доказать общезначимость формулы без построения истинностных таблиц.

слов называются сентентциональными связками.

когда.P Эти пять слов или комбинаций

путем видоизменения некоторого предложения с помощью слов не или путем связывания предложений с помощью слов и, или, если , то, тогда и только тогда,

рассуждениях постоянно встречаются повествовательные предложения, образованные

выражение, по отношению к которому можно сказать, истинно оно или ложно.

Высказывание это логическое