Risultati della ricerca

In [[logica modale]], una '''logica modale classica''' è una logica che contiene (come [[assioma]] o come [[teorema]]) la [[dualità (matematica In alternativa, si può definire '''L''' tale che '''L''' è classica [[se e solo se]] contiene (come [[assioma]] o come [[teorema]]): ...

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

{{S|logica}} ...[Proposizione (logica)|proposizione]] risulta [[Verità|vera]]. In [[logica classica]], gli unici possibili valori di verità sono vero e falso, e ogni proposizi ...

...un tipo di connettivo, ossia l'implicazione. È una [[tautologia]] della [[logica proposizionale]]. ...falso, allora ''P'' è vera. In tal modo questa legge implica il [[tertium non datur|terzo escluso]]. ...

...tuizionista''' (o '''intuizionistica'''), o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo mate ...i propone come una rigorosa e formale logica matematica. Benché {{chiarire|non sia chiaro|in base a?}} se un [[Calcolo (matematica)|calcolo]] logico forma ...

...iede anche una '''dimostrazione senza taglio''' cioè una dimostrazione che non fa uso della regola del taglio. Un [[sequente]] è un'espressione logica che mette in relazione molte formule, nella forma {{Tutto attaccato|"<math> ...

...lemento (insiemistica)|elementi]] che soddisfano la proprietà X ". Nella [[logica del primo ordine]] possono essere definiti mediante i quantificatori ordina ...imibili mediante un numero finito di [[formula ben formata|formule]] della logica del primo ordine. ...

...al matematico olandese [[Arend Heyting]]) è la struttura di verità della [[logica intuizionista]]. ...di Boole]] (che rappresenta il modo di ragionare in [[logica classica]]), non è necessariamente chiusa rispetto al [[insieme complemento|complemento]] (n ...

{{S|logica}} ...di verità rispetto ai canonici '''vero''', '''falso''' e pertanto in esse non vale il [[principio del terzo escluso]]. ...

...ione (logica)|proposizioni]] qualsiasi <math>P</math> e <math>Q</math>, la non-implicazione da <math>P</math> a <math>Q</math> è vera [[se e solo se]] la Ciò può essere spiegato più semplicemente affermando che la non-implicazione da <math>P</math> a <math>Q</math> è vera se e solo se <math>P ...

...[[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, <ma ...

...]], il '''principio di bivalenza''' afferma che ''per ogni [[proposizione (logica)|proposizione]] P, o P è vera oppure P è falsa'', ossia che il grado di ver ...ipi di logica, ad esempio la [[logica polivalente]], e in particolare la [[logica sfumata]], possono assegnare a P un valore di verità indeterminato o interm ...

...] nel descrivere alcune [[inferenza|inferenze]] intuitivamente [[validità (logica)|valide]]. Ad esempio, è intuitivamente chiaro che se: ...si come "Alcuni A sono B", oppure "Tutti i C sono D", che sono chiaramente non valide. ...

{{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: ...

...le rigorose. Le formule atomiche sono quindi le formule più semplici della logica. Le formule composte si formano combinando le formule atomiche mediante i c ...te [[Stringa (informatica)|stringhe]] di simboli con una data [[Segnatura (logica)|segnatura]], che possono essere o meno [[soddisfabilità|soddisfacenti]] r ...

...rpretazione dipende dal [[contesto (linguistica)|contesto]]: l'equivalenza logica è diversa dall'equivalenza materiale, sebbene i due concetti siano intrinse Nela logica esistono molteplici equivalenze enunciate come leggi o proprietà. Di seguit ...

...eevič Markov]], è una [[tautologia]] della [[logica classica]] che non è [[Logica intuizionista|intuizionisticamente]] valida ma può essere giustificata [[Co ...e formale dell'affermazione per cui, se è impossibile che un [[algoritmo]] non termini, allora termina. Ciò è equivalente all'affermare che se un insieme, ...

...up>: A ∾ ¬¬A (Kleene 1952:119; nell'originale Kleene usa per l'equivalenza logica una tilde allungata ∾, qui resa approssimativamente con una "S allungata".) ...red North Whitehead|Whitehead]] esso fu affermato come un [[teorema]] di [[logica proposizionale]]: ...

...earning, 2011.</ref><ref>[[Irving Copi]] e Carl Cohen, ''Introduzione alla logica'', a cura di [[Gabriele Lolli]], traduzione di Rossella Lupacchini, Bologna :Se io non mi sveglio, quindi non posso andare a lavorare. ...

...ono rappresentare [[formula ben formata|formule ben formate]] della stessa logica e tali variabili possono essere quantificate per mezzo di (almeno) [[quanti ..., C,..., U, V per rappresentare le costanti predicative. Se queste lettere non sono sufficienti, è possibile aggiungere [[Apice e pedice|pedici]] numerali ...