EDB — 06Y

view in whole PDF view in whole HTML

Vista

Italiano

Definizione 108

[06Y] (Svolto il 2022-10-27) Sia P(x) una proposizione logica che dipende da una variabile libera xX. Diremo che

P(x) vale definitivamente per xX se

yX,xX,xy vale P(x) ;

P(x) vale frequentemente per xX se

yX,xX,xy per cui P(x) .

Scarica PDF
Bibliografia
Indice analitico
  • frequentemente
  • definitivamente
  • ordinamento, diretto
  • ordinamento, con proprietà filtrante
  • ordinamento
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese