Risultati della ricerca

...a negazione dell'[[implicazione logica]], ovvero, date due [[Proposizione (logica)|proposizioni]] qualsiasi <math>P</math> e <math>Q</math>, la non-implicazi ...zione di [[Józef Maria Bocheński|Bocheński]] "L''pq''", ed è [[equivalenza logica|logicamente equivalente]] a <math>\neg (P \rightarrow Q)</math> e anche a < ...

...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 ( ...

...e nell'[[informatica]], la '''logica a due variabili''' è la parte della [[logica del primo ordine]] le cui [[formula ben formata|formule]] possono essere sc ...eralizza ciò che era già noto per alcune logiche a due variabili come la [[logica descrittiva]]. I problemi di soddisfacibilità di alcune logiche a due varia ...

...tutto formale e meccanico. La teoria del prim'ordine estende di fatto la [[logica proposizionale]] con l'introduzione di [[Quantificatore esistenziale|quanti Come per la logica proposizionale, la teoria del primo ordine può essere scissa in due parti s ...

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

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

{{F|teorie dell'informatica|arg2=logica|marzo 2013}} In [[logica matematica]] e in [[informatica]], la '''stella di Kleene''' (o '''chiusura ...

In [[logica matematica]], una '''formula chiusa''' (nota anche come '''proposizione''', ...ioni di teorie che rendono vere tutte le frasi.<ref>In informatica e nella logica matematica, il loro studio si chiama ''satisfiability modulo theories'' (SM ...

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

...]], 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 ...

...dedicati (o circuiti [[ibrido (elettronica)|ibridi]]) che operano con una logica basata sul [[sistema numerico binario]]. ...

...ronici di moltiplicazione o divisione per due o potenze di due tramite una logica molto semplice di [[registro a scorrimento|registri a scorrimento]] ad inse ...

...e:TexasInstruments_7400_chip,_view_and_element_placement.jpg|thumb|[[Porta logica|Porte logiche]] di un [[circuito integrato]]]] * [[Porta logica|porte logiche]] ([[Algebra di Boole#AND|and]], [[Algebra di Boole#NOT|not]] ...

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

== Logica simbolica == * ''p'' è spesso usata per indicare una ''[[proposizione (logica)|proposizione]]'' così come ''q'' e ''r''. ...

===In matematica e logica=== Nelle [[Logica matematica|espressioni logiche]] i due punti si leggono "tale che" (talvolt ...

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

* nell'[[asse delle ascisse]], la distanza logica dei ''cluster'' secondo la metrica definita; ...

...ono rappresentare [[formula ben formata|formule ben formate]] della stessa logica e tali variabili possono essere quantificate per mezzo di (almeno) [[quanti ...bili libere]] della wff. Questo è il primo passo verso la creazione di una logica di ordine superiore. ...

...oni sono costituiti da simboli, che possono essere suddivisi in [[costante logica|costanti]] e [[Variabile (matematica)|variabili]]. Le costanti di un lingua ...e [[variabile proposizionale|variabili]] che rappresentano [[affermazione (logica)|affermazioni]]. ...