Univerzális kvantifikáció

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Hunfn

  1. Sablon:Humatek A P(x) egyváltozós predikátum univerzális kvantifikációja a „P(x) minden x-re igaz“ állítás, ennek a jelölése: xP(x).