Matematica
Proprietà di postulati e di proposizioni che si mutano in altri postulati e altre proposizioni ove a certi enti se ne sostituiscano determinati altri.
Principio di dualità
Nella geometria proiettiva [...] del piano i postulati fondamentali si scambiano tra loro per dualità, quando si scambino negli enunciati degli stessi i termini ‘punto’ e ‘retta’. Per es., dal postulato: «Due punti distinti individuano ...
Leggi Tutto
modale
modale [agg. Der. di moda] [FAF] Di proposizioni, sillogismi, logiche che presentino una qualche modalità. ◆ [PRB] Valore m.: lo stesso che moda di una distribuzione statistica; a seconda che [...] questa abbia una moda, due mode, più mode o nessuna moda, si parla di distribuzione unimodale, bimodale, plurimodale e zeromodale ...
Leggi Tutto
equipollenza
equipollènza [Der. di equipollente] [LSF] Generic., proprietà di enti equipollenti tra loro. [FAF] Nella logica, relazione tra due proposizioni che esprimono la medesima sentenza. ...
Leggi Tutto
proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione. ...
Leggi Tutto
nesso
nèsso [Der. del lat. nexus -us "legame, relazione", dal part. pass. di nectere "unire"] [FAF] N. causale: rapporto di causa ed effetto. ◆ [FAF] N. logico: il legame tra due proposizioni (matematiche, [...] ecc.) di cui una discende necessariamente dall'altra ...
Leggi Tutto
equipollente
equipollènte [agg. Der. del lat. aequipollens -entis, comp. di aequus "uguale" e del part. pass. pollens -entis di pollere "potere, aver forza" e quindi "che ha uguale valore"] [FAF] Proposizioni [...] e.: quelle che esprimono la medesima sentenza. ◆ [ALG] Segmenti e.: due segmenti orientati paralleli, di uguale lunghezza e di versi concordi. ◆ [MCC] Sistemi e. di forze: quelli che hanno e. sia il risultante, ...
Leggi Tutto
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso [...] del suo sviluppo (in partic., metodo categorico-d., se parte da proposizioni assunte come vere, metodo ipotetico-d., se parte da proposizioni semplic. supposte); per es.: ragionamento, giudizio d.; scienze d., quelle (per es., la matematica) che si ...
Leggi Tutto
singolare
singolare [agg. Der. del lat. singularis "proprio di uno solo"] [LSF] Di ente che si comporta in modo diverso dal normale, che presenta eccezioni rispetto a qualche proprietà, in contrapp. [...] a normale e regolare. ◆ [ALG] [FAF] Proposizioni s.: nella logica matematica, proposizioni che riguardano uno e un solo oggetto o individuo. ◆ [ALG] [ANM] Punto s.: (a) di una curva, una superficie o, in generale, una varietà, un punto costituente ...
Leggi Tutto
dimostrazione
dimostrazióne [Der. del lat. demonstratio -onis, dal part. pass. demonstratus di demonstrare "rendere manifesto", comp. di de- e monstrare "mostrare"] [FAF] (a) Argomentazione attraverso [...] è vera. (b) In una teoria matematica o fisica, procedimento consistente nel ricavare, come teoremi, proposizioni da altre proposizioni primitive. ◆ [FAF] D. a posteriori: in una teoria fisica, procedimento consistente nell'articolare opportunamente ...
Leggi Tutto
implicazione
implicazióne [Der. del lat. implicatio -onis, dal part. pass. implicatus di implicare "piegare, avvolgere, coinvolgere", comp. di in- e plicare da plica "piega"] [FAF] Conseguenza necessaria [...] , di un evento, ecc. ◆ [ALG] [FAF] I. logica: la relazione intercorrente tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda, scrivendosi A→B e leggendo "A implica B" oppure "se è vera A, allora è vera B". È detta ...
Leggi Tutto
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...