Логическая связка И

Союзу "и" сопоставляется логическая связка A & B - конъюнкция.

Эта связка применяется при переводе на формальный язык утверждений вида:

• А и В
• А, но и В также
• А вместе с В
• А, несмотря на В
• не только А, но и В
• как А, так и В
• А, хотя и В и т.п.

Все они переводятся одинаково. Разные слова здесь выражают разное отношение к факту, но не меняют самого факта. Соответственно, переводя A & B на естественный язык, нужно выбирать подходящий, наиболее выразительный вариант.

Утверждение A & B истинно в том и только в том случае, когда истинны как А, так и В, и ложно во всех остальных случаях.

Заметим, что уже для этой простейшей связки ее математический смысл не всегда совпадает с содержательным. В самом деле, математически A & B = B & A. А содержательно, скажем, высказывания "Я пойду в театр и встречу друга" и "Я встречу друга и пойду в театр" понимаются несколько по-разному. Естественный язык выражает идею временного и причинного следования.