formanormaledisgiuntivaformanormaledisgiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come disgiunzione generalizzata di sottoforme proposizionali, [...] ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ formanormale congiuntiva; → Horn, clausola di). ...
Leggi Tutto
formanormale congiuntiva
formanormale congiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come congiunzione di sottoforme proposizionali, ciascuna [...] congiuntiva e, utilizzando le leggi di → De Morgan, è possibile riscrivere la proposizione in formanormaledisgiuntiva, cioè come disgiunzione generalizzata di sottoproposizioni, ciascuna delle quali è una congiunzione generalizzata di lettere ...
Leggi Tutto
Logica matematica
Silvio Bozzi
Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. [...] complessità polinomiale, si basano sul fatto che ogni formula è equivalente a una in formanormale ‒ formanormaledisgiuntiva FND o congiuntiva FNC. Queste forme erano note fin dagli albori della logica matematica ma furono utilizzate per la prima ...
Leggi Tutto
PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] Una qualsiasi proposizione può essere riscritta in modo equivalente in → formanormale congiuntiva e, utilizzando le leggi di → De Morgan, in → formanormaledisgiuntiva, cioè come disgiunzione generalizzata di sottoproposizioni, ciascuna delle quali ...
Leggi Tutto
clausola
clausola in logica, formula ben formata consistente nella disgiunzione di zero o più lettere enunciative, dette letterali; è quindi, una disgiunzione generalizzata di letterali. Nel caso in [...] anche a clausole con variabili e, quindi, alla logica dei predicati. Inoltre, una formula ben formata è in → formanormaledisgiuntiva se è formata dalla disgiunzione di formule più elementari, ciascuna delle quali è una congiunzione. Si dimostra che ...
Leggi Tutto
normalenormale in geometria, sinonimo di perpendicolare, dall’etimo di «norma», che significa «squadra». Espressioni quali «retta normale a un’altra retta» o «retta normale a un piano» riprendono questo [...] le equazioni ax + b = 0 o ax 2 + bx + c = 0. Anche nel calcolo degli enunciati si parla di formanormale (congiuntiva o disgiuntiva) per indicare una particolare scrittura che risponde a criteri di regolarità e semplicità.
□ In teoria dei gruppi, il ...
Leggi Tutto
Alla concezione del c. come sfondo di tutti gli eventi psichici si è giunti nel 20° sec., dopo che la psicologia ha compiuto la sua emancipazione dall'ambito filosofico, in cui era inclusa, e ha tentato [...] compiacenza somatica, offerta da un processo normale o patologico in un organo o questo l'isteria si distingue dalle altre forme di psiconevrosi; infatti "per un buon il c. può recuperarsi dalle divisioni disgiuntive in cui sapere e potere l'hanno ...
Leggi Tutto
PROBABILITÀ
Italo Scardovi
Giorgio Dall'Aglio
Misura della probabilità
di Italo Scardovi
La probabilità come numero reale
Nel parlar comune, 'probabilità' è parola che esprime incertezza, ora per [...] si riconoscono in proposizioni categoriche individuali della forma "Ogni A è B", o in pk=1". Dunque, una pluralità esaustiva e disgiuntiva di 'conseguenti' dell''antecedente' A: egli mutuò il concetto di curva normale o degli errori, per descrivere, ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] ora trovando corrispondenze tra strutture organiche di forme viventi diverse (analogie che si possono far Così, ancora, il 'modello normale', che prende nome da Gauss, quindi aperti a una pluralità disgiuntiva di risultati, affidati alla casualità ...
Leggi Tutto
Le interrogative dirette sono frasi indipendenti (come negli esempi 1 e 2) o principali (es. 3) che contengono una domanda:
(1) hai dormito bene?
(2) quando vieni?
(3) pensi che Carlo abbia ragione?
Nella [...] in tutto o in parte, in forma interrogativa, ciò che è stato appena normale la struttura interrogativa senza soggetto espresso).
Diversa dall’interrogativa diretta totale e dall’interrogativa diretta parziale è l’interrogativa diretta disgiuntiva ...
Leggi Tutto
salto1
salto1 s. m. [lat. saltus -us, der. di salire «saltare, danzare», supino saltum]. – 1. a. L’atto di saltare; insieme di movimenti mediante i quali il corpo dell’uomo, spinto dall’azione estensiva dei muscoli, abbandona rapidamente il...