Risultati della ricerca

{{S|logica}} Nella [[logica matematica]] il '''teorema di completezza (debole)''' afferma che: ...

{{S|logica}} Nella [[logica matematica]] il '''teorema di semidecidibilità''' afferma che: ...

{{F|matematica|luglio 2017}} ...ne finita''' in [[topologia]] è una proprietà di alcune famiglie non vuote di insiemi non vuoti. ...

{{S|logica}} ...le '''logiche non-classiche''' sono quelle che non soddisfino una (o più) di queste proprietà, ovvero: ...

...eger-Nishimura.svg|thumb|alt=Il reticolo di Rieger-Nishimura. |Il reticolo di Rieger-Nishimura.]] ...ruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo matematico]]. ...

...[[Congiunzione logica|congiunzione]] (<math>\land</math>) e [[Disgiunzione logica|disgiunzione]] (<math>\lor</math>). La forma normale negativa non è una [[Forma canonica (algebra di Boole)|forma canonica]]: ad esempio, <math>a \land (b\lor \lnot c)</math> e ...

...ne di [[Alan Turing]] al [[problema della fermata]], uno dei 23 [[problemi di Hilbert]]. ...essuna [[macchina di Turing]] in grado di determinare se una formula della logica predicativa è valida oppure no. ...

...p.43" /> (a patto che soddisfi determinate condizioni, come la [[Proprietà di chiusura|chiusura]] sotto la [[negazione|negazione classica]]). ...compattezza]] che il [[Teorema di Löwenheim-Skolem (debole)|teorema debole di Löwenheim-Skolem]].<ref>''A companion to philosophical logic'', Dale Jacque ...

...della stessa logica e tali variabili possono essere quantificate per mezzo di (almeno) [[quantificatore|quantificatori]] del secondo ordine. ...essere distinte dale costanti predicative o mediante uno specifico insieme di lettere o dai simboli che mettono in relazione tali costanti ed hanno realm ...

{{F|matematica|maggio 2014|Vecchia voce, ma una fonticina ina?}} ...per [[insiemi]] di enunciati nell'ambito della [[logica proposizionale]] o di un [[linguaggio del primo ordine]]. ...

{{S|logica}} ...e tutte le verità di una teoria e quindi a decidere della verità o falsità di qualunque enunciato formulabile nel linguaggio della teoria. ...

{{S|logica}} ...a più debole a cui sia applicabile il primo dei [[teoremi di incompletezza di Gödel]]. ...

In [[logica matematica]], una '''formula chiusa''' (nota anche come '''proposizione''', o '''formu ...libere possono, in generale, assumere diversi valori, il valore di verità di una generica formula può cambiare. ...

...ale]], una '''[[Clausola (logica)|clausola]] di Horn''' è una disgiunzione di letterali in cui ''al massimo uno dei letterali è positivo''. Prendono il n Un esempio di clausola di Horn è il seguente: ...

{{F|matematica|luglio 2017}} ...iagrammi di Venn]]. In ciascun caso l'insieme risultante è quello colorato di blu o qualche sua sfumatura]] ...

{{F|matematica|ottobre 2015}} {{S|logica}} ...

{{F|matematica|luglio 2017}} ...i]], gli esempi e le definizioni successive fanno riferimento a teoria e [[logica del primo ordine]]. ...

{{F|matematica|luglio 2017}} In [[logica]], e più in generale in [[matematica]] un '''controesempio''' è un fatto particolare che dimostra che una certa ...

...mazione [[Verità|vera]] per [[definizione]], quindi fondamentalmente priva di valore informativo (ad es. "Domani o piove oppure non piove"). Le tautologi ...dante e dal significato ripetitivo all'interno di un dato discorso al fine di porre maggiore enfasi. Spesso indica anche un'ovvietà: per esempio dire che ...

{{F|matematica | settembre 2022}} {{S|matematica}} ...