Risultati della ricerca

{{F|logica|aprile 2021}} ...a", {{Lett|modo che pone con l'aver posto}}), è una semplice e [[validità (logica)|valida]] regola d'[[inferenza]], che afferma in parole: ...

...ione dalla constatazione di [[principio di non-contraddizione|incoerenza]] della sua negazione. È per certi versi un ragionamento analogo alla [[reductio ad ...ione segue addirittura dalla sua negazione, allora è vera, per [[coerenza (logica matematica)|coerenza]]. Il principio permette quindi di dimostrare una cert ...

...isca come da un enunciato [[contraddizione|contraddittorio]] [[conseguenza logica|consegue logicamente]] qualsiasi altro enunciato. Per questo è noto anche c Nel linguaggio della [[logica proposizionale]] si può esprimere il principio con la [[formula ben formata ...

..."modo che toglie con l'aver tolto"), è una regola di [[inferenza]] della [[logica proposizionale]], il cui significato è: ...è detto ''conseguente''. Entrambe le lettere rappresentano [[Proposizione (logica)|proposizioni logiche]]. <math>\neg</math> è un [[connettivo logico]], dett ...

L'articolazione della frase, nella sua secchezza e laconicità, è piuttosto semplice: ''datur'' è == Logica e principio del terzo escluso == ...

...</ref>, '''''de dicto''''' e '''''de re''''' sono due espressioni [[Lingua latina|latine]] utilizzate per evidenziare una differenza di significato all'inter ...preso fornendo tre esempi: un pensiero, un desiderio e un contesto della [[logica modale]]. ...

[[File:Turing Machine.png|thumb|upright=1.4|Una rappresentazione artistica della [[macchina di Turing]]]] ...ione o a supporto di compiti semplici e ripetitivi), a tattica (a supporto della pianificazione o gestione di breve termine), a strategica. In tale ambito, ...

Il '''profitto''' (dalla [[lingua latina]] ''proficere'': "andare oltre", "giovare") o '''lucro''', in [[economia]] ...economici]] e di [[intesa restrittiva della concorrenza|intese restrittive della concorrenza]], sanzionate dal [[diritto antitrust]]. ...

...costituiscono l'argomento centrale della [[grammatica georgiana]] per via della loro eccezionale complessità,<ref>«The very essence of the Georgian languag *la codifica degli [[Argomento (linguistica)|argomenti verbali]] all'interno della frase (soggetto, oggetto diretto, oggetto indiretto), tramite una peculiare ...

|PostNazionalità = , considerato il padre della [[Storia della scienza|scienza moderna]] ...istema [solare] non ruota intorno a esso, ma intorno al centro dell'orbita della Terra, la quale conserva ancora un ruolo particolare nell'Universo. Si trat ...