ESCLAMATIVO, PUNTO
Il punto esclamativo è un segno di ➔punteggiatura usato:
– nei vari tipi di proposizioni ➔esclamative
Che cavolo volete da me!
Certo che sono arrivati!
Fammi un favore: togliti di [...]
Con piacere!
Stop!
Urca!
Ha lo scopo di rappresentare graficamente la particolare intonazione ascendente-discendente delle proposizioni esclamative, diversa da quella delle proposizioni ➔enunciative e delle proposizioni ➔interrogative dirette. ...
Leggi Tutto
VIRGOLA
La virgola indica uno stacco di debole intensità tra due parole o due ➔proposizioni contenute in un periodo e si usa in diversi contesti e con diverse funzioni:
– nelle enumerazioni, nelle descrizioni [...] sebbene, quando, mentre
per quanto mi riguarda, io non ho dubbi (F. Moccia, Scusa ma ti chiamo amore)
– con le proposizioni ➔relative, in alcuni casi, la virgola svolge una funzione distintiva e la sua presenza o assenza modifica il senso di una ...
Leggi Tutto
Sillabo Documento pontificio pubblicato da Pio IX nel 1864 insieme all’enciclica Quanta cura. Vi elenca (estraendole da documenti precedenti emanati dallo stesso pontefice) e condanna 80 proposizioni che [...] rappresentano alcuni dei più caratteristici e pericolosi «errori» del tempo: panteismo, naturalismo e razionalismo assoluto; razionalismo moderato; indifferentismo e latitudinarismo; socialismo, comunismo, ...
Leggi Tutto
PRESENTE, CONGIUNTIVO
Il presente del modo ➔congiuntivo è un tempo verbale usato sia in proposizioni principali, sia in proposizioni subordinate.
Nelle proposizioni ➔principali può essere usato con diverse [...] , il presente del congiuntivo si usa per esprimere la contemporaneità dell’azione con quanto espresso dal verbo della proposizione principale. In questo caso dipende da verbi di opinione come credere, pensare, ritenere, o da verbi desiderativi come ...
Leggi Tutto
PUNTO E VIRGOLA
Il punto e virgola indica uno stacco intermedio tra due ➔proposizioni di un periodo: più forte della semplice ➔virgola e meno forte del ➔punto.
Può separare tra di loro due o più proposizioni [...] coordinate e per questo si rivela utile nei periodi lunghi e complessi
Il capo gli si intorbidò di stanchezza, di sonno; e rimise la decisione all’indomani mattina (A. Fogazzaro, Piccolo mondo moderno)
Si ...
Leggi Tutto
subordinazione In linguistica, nella sintassi del periodo, la relazione che si stabilisce tra due proposizioni collocate nel periodo su piani diversi, in modo che l’una (subordinata) risulti dipendente [...] nella sua fase più antica, non sembra far uso della s., salvo che per le proposizioni relative; tutti gli altri tipi di proposizioni subordinate sono creazioni indipendenti nelle diverse lingue. Nelle lingue moderne si osserva di nuovo la prevalenza ...
Leggi Tutto
DUBITATIVO, CONGIUNTIVO
Il congiuntivo dubitativo esprime un dubbio, un’incertezza. Si usa nelle proposizioni➔interrogative dirette, soprattutto con il verbo essere, in forma assoluta oppure introdotto [...] dalla congiunzione che
Fosse vero?
Che sia una bugia?
Usi
Nelle interrogative retoriche è possibile usare in questa funzione anche l’indicativo ➔futuro semplice e ➔futuro anteriore
Oseranno rifiutare?
Avranno ...
Leggi Tutto
programmazione logica
programmazione logica tipo di programmazione in cui la struttura principale consiste nelle proposizioni logiche e nella loro composizione attraverso connettivi; tali proposizioni [...] esplicano fatti, regole e relazioni, dai quali il programma trae le conclusioni attraverso le regole d’inferenza logica. Il linguaggio di programmazione logica più diffuso è il → prolog ...
Leggi Tutto
PORISMA
Gaetano Scorza
. Termine tecnico, adoperato dai matematici greci a denotare talvolta ciò che oggi si direbbe un corollario, talvolta delle proposizioni la cui natura non è possibile desumere [...] già proposta dal Simson, si accorda abbastanza bene con quelle tramandateci da Pappo e Proclo e coglie un carattere comune alle proposizioni, di Euclide o di Diofanto, a noi pervenute con quel nome. Essa è la seguente: porisma è un teorema incompleto ...
Leggi Tutto
De Morgan, leggi di
De Morgan, leggi di equivalenze logiche che permettono il passaggio da una congiunzione fra proposizioni a una disgiunzione e viceversa. In simboli:
Per esemplificare la prima legge [...] oppure n non è divisibile per 2». Ciò è espresso dalla seconda legge di De Morgan: la negazione della congiunzione fra due proposizioni a e b è equivalente alla disgiunzione fra le due negazioni. Si noti che le leggi di De Morgan sono duali nel senso ...
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,...