„Elsőrendű logika” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Robot: következő hozzáadása: pt:Lógica de primeira ordem, uk:Числення висловлень |
a Rendezés a gondolatjelek körül |
||
93. sor:
# '''Inductive Clause I:''' If φ is a ''wff'', then ¬ φ is a ''wff''.
# '''Inductive Clause II:''' If φ and ψ are ''wff''s, then <math>(\phi \wedge \psi)</math>, <math>(\phi \vee \psi)</math>, (φ → ψ), (φ ↔ ψ) are ''wff''s.
# '''Inductive Clause III:''' If φ is a ''wff'' containing a free instance of variable ''x'', then <math> \forall x \, \varphi </math> and <math> \exists x \, \varphi </math> are ''wff''s. (Then any instance of ''x'' is said to be [[binding|bound]]
# '''Closure Clause:''' Nothing else is a ''wff''.
| |||