Gourt Home::Gourt :: Редукция

 

Редукция (лат. reductio) — логический прием преобразования каких-либо данных к более удобному с какой-либо точки зрения виду.

Правила редукции

---

$\backslash land\backslash frac\{\backslash Gamma\; ,\; A\; \backslash land\; B\; ,\; \backslash Delta\}\{\backslash Gamma,\; A,\; B,\; \backslash Delta\}$	$\backslash neg\; \backslash land\backslash frac\{\backslash Gamma\; ,\; \backslash neg\; (\; A\; \backslash land\; B\; )\; ,\; \backslash Delta\}\{\backslash Gamma,\; \backslash neg\; A,\; \backslash Delta\; \backslash mid\; \backslash Gamma,\; \backslash neg\; B,\; \backslash Delta\}$
$\backslash lor\backslash frac\{\backslash Gamma\; ,\; A\; \backslash lor\; B,\; \backslash Delta\}\{\backslash Gamma,\; A,\; \backslash Delta\; \backslash mid\; \backslash Gamma,\; B,\; \backslash Delta\}$	$\backslash neg\; \backslash lor\backslash frac\{\backslash Gamma\; ,\; \backslash neg\; (\; A\; \backslash lor\; B\; )\; ,\; \backslash Delta\}\{\backslash Gamma,\; \backslash neg\; A,\; \backslash neg\; B,\; \backslash Delta\}$
$\backslash supset\backslash frac\{\backslash Gamma\; ,\; A\; \backslash supset\; B,\; \backslash Delta\}\{\backslash Gamma,\; \backslash neg\; A,\; \backslash Delta\; \backslash mid\; \backslash Gamma,\; B,\; \backslash Delta\}$	$\backslash neg\; \backslash supset\backslash frac\{\backslash Gamma\; ,\; \backslash neg\; (\; A\; \backslash supset\; B\; )\; ,\; \backslash Delta\}\{\backslash Gamma,\; A,\; \backslash neg\; B,\; \backslash Delta\}$

$\backslash neg\; \backslash neg\backslash frac\{\backslash Gamma\; ,\; \backslash neg\; \backslash neg\; A\; ,\; \backslash Delta\}\{\backslash Gamma,\; A,\; \backslash Delta\}$

Логика

 

This article is licensed under the GNU Free Documentation License. It uses material from the "Редукция".

Home Page • arts • business • computers • games • health • hospitals • home • kids & teens • news • physicians • recreation• reference • regional • science • shopping • society • sports • world