„Kvantor (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
Mozo (vitalap | szerkesztései) |
a Robot: Automatikus szövegcsere (-<sup>2<sup> +<sup>2</sup>) |
||
29. sor:
predikátum így írandó:
:„''x'' halandó”
Vagy egy matematikai példa: a „... négyzete 25” helyett sokkal hatékonyabb az „x<sup>2</sup>=25” írásmódot használni. Többváltozós példák: „''x'' azt hiszi, hogy ''y'' nem tud úszni”, „x+y=3”.
A kvantorok szándékolt jelentése a következő.
|