lection4.tex punctuation

Rai-Fox · Rai-Fox · commit 1cbffa9a4ac2 · 2021-06-29T21:11:12.000+03:00
однородные придаточные + поэтому - не вводное слово
diff --git a/lection4.tex b/lection4.tex
@@ -55,8 +55,8 @@ \subsection*{BHK-интерпретация}
 BHK-интерпретация логики названа по именам математиков, её предложивших 
 (Л. Брауэр, А. Гейтинг и А. Колмогоров). 
 Они решили изменить сам подход к математическому рассуждению, предположив,
-что математик не думает в стиле классической логики, и что 
-правильно, поэтому, попробовать формализовать <<интуитивный>> стиль.
+что математик не думает в стиле классической логики и что 
+правильно поэтому попробовать формализовать <<интуитивный>> стиль.
 
 Попробуем сформулировать эти соображения применительно к 
 логическим связкам исчисления высказываний. Будем определять интерпретацию индуктивно. 
