Notazione Kappa-f/Discussione di condizioni

Wikibooks, manuali e libri di testo liberi.

Sommario
Categoria · Copertina · modifica il template

Copertina
  1. Prefazione Notazione Kappa-f/Prefazione
  2. Sequenze Notazione Kappa-f/Sequenze
  3. Funzioni senza sequenze Notazione Kappa-f/Funzioni senza sequenze
  4. Parametri Notazione Kappa-f/Parametri
    • Adicità delle funzioni
  5. Funzioni con sequenze Notazione Kappa-f/Funzioni con sequenze
  6. Struttura condizionale Notazione Kappa-f/Struttura condizionale
  7. Struttura iterativa Notazione Kappa-f/Struttura iterativa
  8. Discussione di condizioni Notazione Kappa-f/Discussione di condizioni
    • Tipologia delle condizioni
    • Complementarietà delle condizioni
  9. Discussione dei risultati Notazione Kappa-f/Discussione dei risultati
    • Insieme dei risultati
  10. Funzioni ricorsive Notazione Kappa-f/Funzioni ricorsive
    • Condicio sine qua non (condizioni di terminazione)
  11. Vettori Notazione Kappa-f/Vettori
    • Funzioni particolari per i vettori
  12. Stringhe Notazione Kappa-f/Stringhe
    • Funzioni particolari per le stringhe
  13. Macchina immaginaria Notazione Kappa-f/Macchina immaginaria
  • Appendici:
  1. Repertorio di funzioni matematiche Notazione Kappa-f/Repertorio di funzioni matematiche

[modifica] Condizione verificabile, non verificabile, impossibile da verificare

Data la funzione:

M(p) = \begin{cases} p = 0_{(1)} \to: 0 \\ p = p_{(2)} \to: 1 \\ p+p^2 = p + 2_{(3)} \to: 2 \\ 0 < 1_{(4)} \to: -1 \\ \sqrt{2^2} < \sqrt{2}_{(5)} \to: -2 \end{cases}

Le condizioni (1), (2), (3) sono dette funzionali poiché dipendono direttamente da valori assunti da parametri, mentre quelle (4), (5) sono dette numeriche poiché è già possibile stabilire il valore assunto da esse.

  • La condizione funzionale (1) è impossibile da verificare, poiché non è possibile sapere in anticipo il valore che assumerà la lettera 'p'.
  • La condizione funzionale (2) è verificabile, poiché è possibile stabilirne la verificabilità tramite procedimenti matematici.
  • La condizione funzionale (3) non è verificabile, poiché tramite procedimenti matematici è possibile dimostrarne l'impossibilità.
  • La condizione numerica (4) è verificabile, poiché tramite calcoli aritmetici è possibile dimostrarlo.
  • La condizione numerica (5) non è verificabile, poiché tramite procedimenti aritmetici è possibile dimostrare l'impossibilità.

Quindi in generale una condizione funzionale può essere verificabile, non verificabile, impossibile da verificare,mentre una condizione numerica è verificabile oppure non verificabile come conseguenza del principio di bivalenza.

Questa pagina è uno stub Questo modulo è solo un abbozzo. Contribuisci a migliorarlo secondo le convenzioni di Wikibooks
Ricavato da "http://it.wikibooks.org/wiki/Notazione_Kappa-f/Discussione_di_condizioni"
Strumenti personali