Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- {{F|matematica|luglio 2017}} ...i]], gli esempi e le definizioni successive fanno riferimento a teoria e [[logica del primo ordine]]. ...5 KB (807 parole) - 23:04, 2 apr 2024
- {{S|logica}} In [[logica matematica]], una teoria formale si dice '''coerente''' (o '''non contraddittoria''', ...2 KB (232 parole) - 23:21, 12 lug 2024
- {{S|logica}} Nella [[logica matematica]] il concetto di '''completezza''' esprime il fatto che un insieme di [[ass ...4 KB (507 parole) - 15:26, 13 giu 2024
- {{F|matematica|aprile 2011}} In [[logica matematica]], la '''correttezza''' o '''validità''' (in inglese ''soundness'') è una p ...7 KB (957 parole) - 20:21, 7 dic 2024
- {{F|matematica|maggio 2014|Vecchia voce, ma una fonticina ina?}} ...ica matematica)|modelli]] per [[insiemi]] di enunciati nell'ambito della [[logica proposizionale]] o di un [[linguaggio del primo ordine]]. ...4 KB (591 parole) - 00:32, 23 ott 2022
Corrispondenze nel testo delle pagine
- ...dale chiusa sotto la [[dualità (matematica)|dualità]] dei due [[Operatore (matematica)|operatori]] modali: Ogni logica modale regolare è [[logica modale classica|classica]] e ogni [[logica modale normale]] è regolare e quindi classica. ...661 byte (90 parole) - 00:02, 9 feb 2025
- {{S|logica}} ...[[premessa]] è vera. È equivalente ad un [[sequente]] senza [[Antecedente (matematica)|antecedente]]. ...480 byte (54 parole) - 05:05, 3 ott 2024
- ...na logica che contiene (come [[assioma]] o come [[teorema]]) la [[dualità (matematica)|dualità]] degli [[operatore modale|operatori modali]]: ...di logica modale classica noti che sono ancora più deboli della più debole logica normale '''K'''. ...1 KB (217 parole) - 21:22, 10 feb 2025
- {{S|logica}} ...]], che restituisce il [[valore di verità]] inverso di una [[proposizione (logica)|proposizione]]. ...1 KB (139 parole) - 14:48, 25 giu 2024
- {{S|logica}} Nella [[logica matematica]] il '''teorema di completezza (debole)''' afferma che: ...717 byte (100 parole) - 22:20, 29 mag 2024
- {{S|logica}} ...i una [[Proposizione (logica)|proposizione]] risulta [[Verità|vera]]. In [[logica classica]], gli unici possibili valori di verità sono vero e falso, e ogni ...2 KB (204 parole) - 07:17, 9 gen 2025
- {{S|logica}} Nella [[logica matematica]] il '''teorema di semidecidibilità''' afferma che: ...622 byte (93 parole) - 22:22, 29 mag 2024
- {{S|logica}} ...i dice '''soddisfacibile''' se esiste una realizzazione ([[modello (logica matematica)|modello]], interpretazione) <math>\sigma</math> che rende vere tutte le fo ...974 byte (140 parole) - 17:34, 7 feb 2022
- {{S|logica}} In [[logica matematica]], una teoria formale si dice '''coerente''' (o '''non contraddittoria''', ...2 KB (232 parole) - 23:21, 12 lug 2024
- {{F|logica|arg2=matematica|gennaio 2015}} {{S|logica|matematica}} ...2 KB (248 parole) - 09:29, 14 apr 2022
- {{S|logica}} ...categorie: simboli di [[Costante logica|costante]], simboli di [[Funzione (matematica)|funzione]], e simboli di relazione. ...2 KB (230 parole) - 15:05, 16 feb 2023
- {{F|logica|gennaio 2015}} ...una regola che permette di passare da un numero finito di [[Proposizione (logica)|proposizioni]] assunte come [[premessa|premesse]] a una proposizione che f ...3 KB (404 parole) - 14:22, 13 gen 2024
- {{S|logica}} La '''logica classica''' è la branca della [[logica formale]] che è stata più studiata e usata. È caratterizzata da certe propr ...3 KB (450 parole) - 12:07, 11 nov 2024
- {{F|matematica|luglio 2017}} La '''monotonia''' è la proprietà di un connettivo di [[implicazione logica]] di conservare un [[valore di verità]] positivo trasformando l'antecedente ...1 KB (206 parole) - 13:44, 28 gen 2024
- {{S|logica}} In [[logica matematica]] e più in particolare in una [[teoria del primo ordine]] si chiama '''chiu ...1 KB (171 parole) - 10:06, 20 ott 2022
- {{F|matematica|luglio 2017}} ...ule ben formate]] che si intende includere tra gli assiomi di una teoria [[logica proposizionale|proposizionale]] o [[teoria del primo ordine|del primo ordin ...985 byte (145 parole) - 18:44, 13 lug 2022
- {{F|logica|novembre 2022}} ...nettivo logico]] di quest'ultima. È un operatore che forma [[proposizione (logica)|proposizioni]] a partire da proposizioni. In generale, un operatore modale ...3 KB (448 parole) - 14:51, 4 giu 2023
- ...menti costitutivi di base delle formule proposizionali, utilizzate nella [[logica proposizionale]] e nelle logiche di ordine superiore. ...atori]] logici. Le variabili proposizionali sono le formule atomiche della logica proposizionale e sono spesso indicate con le lettere romane maiuscole come ...3 KB (463 parole) - 18:02, 23 ott 2022
- ...atica)|uguaglianza]] (di solito scritto '=') è trattato come una costante logica in molti sistemi logici. ...vale a dire, quale caratteristica particolare rendeuna costante di natura logica?<ref>[[Rudolf Carnap|Carnap, Rudolf]] (1958). ''Introduction to symbolic lo ...3 KB (393 parole) - 17:43, 23 ott 2022
- {{S|logica}} Nella [[logica matematica]], il '''teorema di deduzione''' afferma che se una [[formula ben formata|f ...1 KB (200 parole) - 18:56, 22 mag 2019