Wie nennt man in der Prädikatenlogik Aussagen mit Quantoren, die immer wahr sind?

Question

Definition einer wahren Aussage mithilfe von Quantoren



wie nennt man einen Satz (der mithilfe von Quantoren geschrieben wurde), der immer wahr ist. Z.B. \(\forall x \varphi(x) \Rightarrow \exists \varphi(x)\). In der Aussagenlogik benutzt man das Wort Tautologie und wie ist es in der Prädikatenlogik?

Comments

In Wikipedia habe ich das Wort "prädikatenlogische Tautologie" gefunden. Ich glaube damit bin ich zufrieden.

---

Eine Aussage, die immer wahr ist, nennt man eine Tautologie.

---

Möchte nicht einer von euch das als Antwort eingeben? Dann wäre die Frage erledigt.

Answer 1

Eine Aussage, die immer wahr ist, nennt man eine Tautologie.