Risultati della ricerca

Gli '''assiomi logici''' sono un insieme (infinito) di [[assioma|assiomi]] di una [[teoria del pr ...ben formata]] <math>\mathcal A, \mathcal B, \mathcal C</math> sono assiomi logici le [[chiusura universale|chiusure universali]] delle [[formule ben formate] ...

{{Connettivi logici}} [[Categoria:Connettivi logici]] ...

{{Connettivi logici}} [[Categoria:Connettivi logici]] ...

...e composte si formano combinando le formule atomiche mediante i connettivi logici. ...sono i ''t''_''k'', o come un'espressione composta da connettivi logici ([[congiunzione logica|AND]], [[disgiunzione logica|OR]]) e [[quantificator ...

...ssono essere ulteriormente suddivise in simboli logici e in '''simboli non logici''' (talvolta chiamati anche costanti logiche e non logiche). ...simboli logici. I simboli logici includono [[connettivo logico|connettivi logici]], [[quantificatore|quantificatori]] e [[variabile proposizionale|variabili ...

{{Connettivi logici}} ...

{{Connettivi logici}} [[Categoria:Connettivi logici]] ...

...peratori <math>\Box</math> e <math>\Diamond</math>, e i soliti connettivi logici del [[logica proposizionale|calcolo proposizionale]] (<math> \land,\lor,\ne [[Categoria:Connettivi logici]] ...

...'operatore logico''' (nel contesto dell'[[algebra di Boole]], i connettivi logici sono detti anche '''operatori booleani'''), è un elemento grammaticale di c ...ione, precedono somma e sottrazione): la negazione precede tutti gli altri connettivi, congiunzione e disgiunzione precedono sia l'implicazione che la doppia imp ...

== Relazioni con i connettivi logici == ...sintassi]] del linguaggio) facendo ricorso soltanto ai [[Connettivo logico|connettivi]] standard, ai quantificatori e alla [[relazione (matematica)|relazione]] d ...

...te su proposizioni elementari ([[Atomo (logica)|atomi]]) e su [[connettivi logici]] di tipo vero-funzionale, che restituiscono il [[valore di verità]] di una *I simboli dei [[connettivo logico|connettivi logici]]: <math>\neg</math> (NOT), <math>\wedge</math> (AND), <math>\vee</math> (O ...

...significato indipendentemente dal campo di studio, mentre i simboli ''non logici'' possono assumere significati diversi in base all'argomento trattato. ...universale) e ∃ (esistenziale), simboli per [[Connettivo logico|connettivi logici]] ∧ ("e"), ∨ ("o"), ¬ ("non"), parentesi e altri simboli di raggruppamento, ...

...solito scritto '=') è trattato come una costante logica in molti sistemi logici. [[Categoria:Simboli logici]] ...

...o logico|connettivi logici]] e da alcuni [[quantificatore|quantificatori]] logici. Le variabili proposizionali sono le formule atomiche della logica proposiz [[Categoria:Simboli logici]] ...

...mente come un'operazione logica e dimostrò che può esprimere NOT, AND e OR logici. [[Edward stamm|Edward Stamm]]<ref name="Stamm1911">{{Cita pubblicazione|do Il NOR logico è un'operazione [[Base di connettivi|funzionalmente completa]] poiché rispetta le [[funzione di verità#Proprietà ...

...osizioni vengono quindi costruite a partire da formule atomiche applicando connettivi e quantificatori. ...

{{Connettivi logici}} [[Categoria:Connettivi logici]] ...

...esprimono le relazioni logiche relative ai [[connettivo logico|connettivi logici]] e ai [[quantificatore|quantificatori]], ...oni fondamentali tra gli oggetti della teoria non deducibili dagli assiomi logici (come l'assioma "per due punti passa una e una sola retta"), ...

{{Connettivi logici}} [[Categoria:Connettivi logici]] ...

...da proposizioni atomiche collegate mediante [[connettivo logico|connettivi logici]]; se il valore di verità dell'enunciato composto è interamente determinato ...funzione del valore di verità dei suoi enunciati componenti. Una classe di connettivi è vero-funzionale se ciascuno dei suoi membri lo è. Ad esempio, il connetti ...