small fixes

src/math-log-questions.md

@@ -1134,7 +1134,7 @@
     Понятие структуры - развитие понятия оценки из исчисления предикатов. Но оно касается только нелогических составляющих теории; истинностные значения и оценки для связок по-прежнему определяются исчислением предикатов, лежащим в основе теории. Для получения оценки формулы нам нужно задать структуру, значения всех свободных индивидных переменных, и (естественным образом) вычислить результат
     </details>
 
-    **Некоректная структура.** Возьмем нашу формальную арифметику, только изменим оценку предикатк $=$. Оценим его в ложь. Тк $\vdash a=a$ по лекции, то у нас есть выводимое утверждение, но не общезначимое.
+    **Некорректная структура.** Возьмем нашу формальную арифметику, только изменим оценку предикатк $=$. Оценим его в ложь. Тк $\vdash a=a$ по лекции, то у нас есть выводимое утверждение, но не общезначимое.
 
 * **Def.** Назовем структуру корректной, если любая доказуемая формула истинна в данной структуре.
 * **Модель.** Модель теории - любая корректная структура
@@ -1255,9 +1255,9 @@
 
   * <details><summary>Некоторые определения и теоремы Формальной Арифметики</summary>
 
-    * *$x\leq y$* $x\leq y:=\exist a.x+a=y$
+    * $x\leq y:=\exist a.x+a=y$
 
-    * *$x\leq y$* $x\leq y:=\exist a.x+a=y\&\neg (a=0)$
+    * $x\le y:=\exist a.x+a=y\&\neg (a=0)$
 
     * Натуральные числа: