From 1a0890ca617839257fbedce39536d0625de6e8d1 Mon Sep 17 00:00:00 2001
From: qqwinkii <151493802+qqwinkii@users.noreply.github.com>
Date: Thu, 12 Mar 2026 19:33:42 +0300
Subject: [PATCH] Fix grammatical error in mathematical statement
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Ранее в тексте $\varphi$ была определена как "формула" ("Не существует формулы $\varphi(x)$"). Поэтому слово должно согласоваться в женском роде.
"Пусть $\varphi$ такова, что"

Кравцов Вадим М3233
---
 lection-10.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lection-10.tex b/lection-10.tex
index 514aad3..62d7d95 100644
--- a/lection-10.tex
+++ b/lection-10.tex
@@ -74,7 +74,7 @@
 Очевидно, что $\text{Д}_\mathcal{S} = \text{И}_\mathcal{S} = \text{И}_\text{ФА}$. 
 То есть $\text{И}_\text{ФА}$ невыразимо в $\mathcal{S}$.
 
-Пусть $\varphi$ таково, что $\llbracket\varphi(\overline{x})\rrbracket = \text{И}$ при $x \in \text{И}_\text{ФА}$.
+Пусть $\varphi$ такова, что $\llbracket\varphi(\overline{x})\rrbracket = \text{И}$ при $x \in \text{И}_\text{ФА}$.
 Тогда $\vdash\varphi(\overline{x})$, если $x \in \text{И}_\text{ФА}$ и $\vdash\neg\varphi(\overline{x})$, если $x \notin\text{И}_\text{ФА}$.
 
 Тогда $\text{И}_\text{ФА}$ выразимо в $\mathcal{S}$. Противоречие.