Логическая операция, которой соответствует логическая связка в языке если..., то
4.
Синоним этой логической операции "равнозначность"
7.
Логическая операция, которая каждому элементарному высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.
8.
Наиболее влиятельный из философов древности; основоположник формальной логики.
9.
Языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности.
10.
Одно из двух возможных значений логической переменной.
По вертикали
1.
Английский математик, который построил один из разделов формальной логики в виде некоторой "алгебры", аналогичной алгебре чисел, но не сводящейся к ней.
3.
Логическая операция, ставящая в соответствие каждым двум элементарным высказываниям новое высказывание, являющееся истиным тогда и только тогда, когда оба исходных высказывания истины.
5.
Один из законов алгебры логики.
6.
Истинна, когда хотя бы одно из образующих ее высказываний истинно.