Formuła logiczna: Różnice pomiędzy wersjami

[wersja przejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
Nie podano opisu zmian
WBielas (dyskusja | edycje)
Dodanie definicji domknięcia formuły.
Linia 30:
* jeśli <math>\psi,\varphi</math> to formuły i pewne wystąpienie zmiennej <math>x_i</math> w formule <math>\psi</math> jest związane (wolne, odpowiednio), to wystąpienie to rozważane w formułach <math>\varphi*\psi</math>, <math>\psi*\varphi</math> oraz <math>\neg \psi</math> także jest związane (wolne, odpowiednio; tutaj * jest binarnym spójnikiem zdaniowym).
 
Formuły w których nie ma wolnych występowań żadnych zmiennych są nazywane [[Zdanie logiczne|zdaniami]] (danego języka).
 
''Domknięciem'' (''ogólnym'') względem zmiennych <math>x_1,\ldots,x_n</math> formuły <math>\phi</math> nazywamy formułę <math>\forall x_1\ldots\forall x_n \phi</math>.
 
=== Przykłady ===