Risultati della ricerca
Vai alla navigazione
Vai alla ricerca
Corrispondenze nel titolo delle pagine
- {{F|logica|data=Agosto 2021}} ...logica statica. Ci sono diversi motivi per cui può esistere la ridondanza logica. Uno dei motivi è che potrebbe essere stato aggiunto deliberatamente per so ...4 KB (628 parole) - 23:16, 27 mar 2023
- {{F|logica|aprile 2010}} In [[logica]], la nozione di '''validità''' ('''validità logica''') riguarda innanzitutto, ed in senso generale, la connessione tra l'insie ...13 KB (1 891 parole) - 14:30, 26 dic 2024
- ...eso tra di loro. È una [[logica polivalente]], ossia un'estensione della [[logica]] [[Algebra di Boole|booleana]]. È legata alla teoria degli [[insiemi sfoca ...uò essere, oltre che vera (= a valore 1) o falsa (= a valore 0) come nella logica classica, anche parzialmente vera e parzialmente falsa. ...31 KB (4 429 parole) - 19:36, 13 feb 2025
- {{S|logica}} [[File:Venn0001.svg|miniatura|[[Diagramma di Venn]] della congiunzione logica]] ...2 KB (316 parole) - 20:36, 7 lug 2024
- La '''logica dinamica''' è un'estensione della [[logica modale]] originariamente definita per il ragionamento di programmi e in seg ...'''a''' gli operatori modali '''[a]''' e '''<a>''', così da renderla una [[logica multimodale]]. Il significato di '''[a]p''' è che in seguito all'esecuzione ...24 KB (3 610 parole) - 17:28, 2 dic 2024
- ...tuizionista''' (o '''intuizionistica'''), o '''logica costruttiva''', è la logica dell'[[intuizionismo matematico]] e di altre forme di [[costruttivismo mate ...crescente. La logica intuizionista si propone come una rigorosa e formale logica matematica. Benché {{chiarire|non sia chiaro|in base a?}} se un [[Calcolo ( ...5 KB (696 parole) - 06:58, 17 ago 2024
- {{s|logica}} [[File:Venn0111.svg|miniatura|[[Diagramma di Venn]] della disgiunzione logica]] ...2 KB (318 parole) - 16:27, 9 nov 2024
- Il termine '''logica negativa''' viene utilizzato in [[elettronica digitale]] per indicare una [ ...contrario assegniamo lo ''zero'' alla tensione maggiore, ci troviamo in '''logica negativa'''. ...5 KB (712 parole) - 08:17, 26 nov 2020
- ...i su [[segnale elettrico|segnali elettrici]]) una particolare [[operazione logica]] di una o più [[Variabile booleana|variabili booleane]]. ...numero di ingressi, che rappresentano il numero di variabili che una porta logica può ricevere in input, le porte logiche si possono classificare in: ...14 KB (1 929 parole) - 09:39, 5 dic 2024
- {{S|logica}} Le '''logiche polivalenti''' sono estensioni della [[logica classica]] in cui sono presenti più valori di verità rispetto ai canonici ' ...4 KB (521 parole) - 23:06, 16 giu 2024
- ...esente in una ''ontologia''. Dal punto di vista della conoscenza umana una logica descrittiva permette all'individuo uomo di strutturare e capire il mondo ch In generale, analogamente alla più generica [[logica del primo ordine]], una logica descrittiva possiede le seguenti caratteristiche:<ref>{{cita web|url=http:/ ...9 KB (1 226 parole) - 08:20, 24 mag 2024
- ...che". Il fine è quello di catturare il predicato di prova di una [[teoria (logica matematica)|teoria formale]], ragionevolmente ricca, come l'[[aritmetica di ...ndo la versione modale del [[teorema di Löb]] alla [[logica modale normale|logica K]] (K4). ...3 KB (469 parole) - 19:39, 2 nov 2024
- ...sintattica'', basata fondamentalmente su proposizioni elementari ([[Atomo (logica)|atomi]]) e su [[connettivi logici]] di tipo vero-funzionale, che restituis La ''semantica'' della logica proposizionale definisce il significato dei simboli e di qualsiasi proposiz ...9 KB (1 287 parole) - 22:33, 29 gen 2025
- ...a)|negati]]. È l'[[inferenza]] che muove dalla verità di "A [[implicazione logica|implica]] B" alla verità di "Non-B implica non-A ", e viceversa.<ref>Brody, ...] di [[logica proposizionale]]. Il principio fu esposto come un teorema di logica proposizionale da [[Bertrand Russell|Russell]] e da [[Alfred North Whitehea ...14 KB (2 094 parole) - 15:17, 15 gen 2025
- In [[logica]], una '''clausola''' è una [[disgiunzione logica]] fra [[Letterale|letterali]].<ref>{{Cita libro|cognome=Chang|nome=Chin-Lia [[Categoria:Logica proposizionale]] ...2 KB (290 parole) - 11:54, 27 giu 2023
- Nella [[logica]], l''''ambito''' (in [[Lingua inglese|inglese]]: ''scope'') di un [[quanti ...suno degli ambiti dei quantificatori della variabile stessa. Un [[termine (logica)|termine]] è libero per una variabile in una formula (cioè libero di sostit ...2 KB (217 parole) - 16:45, 8 ott 2022
- ...o sia un oggetto di studio fine a sé stesso, più in generale le idee della logica lineare hanno influito in settori come i [[linguaggi di programmazione]], l ...monoidale|categorie monoidali simmetriche]], o dell'interpretazione della logica classica sostituendo le [[algebra booleana|algebre booleane]] con le [[C*-a ...8 KB (1 161 parole) - 02:14, 16 mar 2025
- {{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
- {{S|logica}} ...che può essere anche vuoto) divisi in tre categorie: simboli di [[Costante logica|costante]], simboli di [[Funzione (matematica)|funzione]], e simboli di rel ...2 KB (230 parole) - 15:05, 16 feb 2023
- ...a)</math>, il simbolo ''P'' è un predicato che si applica alla [[Costante (logica)|costante]] ''a''. Allo stesso modo, nella formula <math>R(a,b)</math>, ''R ...otare relazioni diverse a seconda dell'interpretazione adottata. Mentre la logica del primo ordine include solo predicati che si applicano a costanti individ ...3 KB (461 parole) - 18:07, 23 ott 2022
Corrispondenze nel testo delle pagine
- In [[logica modale]], una ''' logica modale regolare''' è una logica modale chiusa sotto la [[dualità (matematica)|dualità]] dei due [[Operatore 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}} L''''asserzione logica''' è una dichiarazione che afferma che una certa [[premessa]] è vera. È equ ...480 byte (54 parole) - 05:05, 3 ott 2024
- In [[logica modale]], una '''logica modale classica''' è una logica che contiene (come [[assioma]] o come [[teorema]]) la [[dualità (matematica ...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}} ...math> si dice '''soddisfacibile''' se esiste una realizzazione ([[modello (logica matematica)|modello]], interpretazione) <math>\sigma</math> che rende vere ...974 byte (140 parole) - 17:34, 7 feb 2022
- {{S|logica}} In [[logica matematica]], una teoria formale si dice '''coerente''' (o '''non contraddi ...2 KB (232 parole) - 23:21, 12 lug 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|logica|arg2=matematica|gennaio 2015}} {{S|logica|matematica}} ...2 KB (248 parole) - 09:29, 14 apr 2022
- {{S|logica}} ...che può essere anche vuoto) divisi in tre categorie: simboli di [[Costante logica|costante]], simboli di [[Funzione (matematica)|funzione]], e simboli di rel ...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
- La '''monotonia''' è la proprietà di un connettivo di [[implicazione logica]] di conservare un [[valore di verità]] positivo trasformando l'antecedente Il connettivo di implicazione tradizionale della logica, ovvero l'implicazione materiale o filoniana, gode della proprietà della mo ...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 chi ...1 KB (171 parole) - 10:06, 20 ott 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
- ...ule ben formate]] che si intende includere tra gli assiomi di una teoria [[logica proposizionale|proposizionale]] o [[teoria del primo ordine|del primo ordin * [[Logica proposizionale]] ...985 byte (145 parole) - 18:44, 13 lug 2022
- ...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
- {{s|logica}} [[File:Venn0111.svg|miniatura|[[Diagramma di Venn]] della disgiunzione logica]] ...2 KB (318 parole) - 16:27, 9 nov 2024
- ...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