logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l'operazione il cui risultato dà il valore alternativo di x; per le rispettive tavolediverità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG ...
Leggi Tutto
Horn, clausola di
Horn, clausola di in logica, → clausola avente una particolare struttura. In una clausola si distinguono letterali negativi, se sono espressi in forma negativa, cioè preceduti dal connettivo [...] Horn (→ Horn-soddisfacibilità) in modo più efficiente, in termini di passi di calcolo e, quindi, di tempo, del ricorso alle tavolediverità. Per questo le clausole di Horn, introdotte dal logico di cui portano il nome nel 1951, trovano una peculiare ...
Leggi Tutto
validita
validità
Il criterio in base al quale si stabilisce l’efficacia logica o probativa. Nella logica matematica il termine si presenta con vari significati che hanno influenzato il lessico filosofico [...] e le premesse del suo schema intercorre una relazione di conseguenza logica. La validità di uno schema di ragionamento può essere provata attraverso varie procedure, come, per es., le tavolediverità e gli alberi semantici. Spesso, più informalmente ...
Leggi Tutto
proposizione
proposizione termine usato, in logica, come sinonimo di enunciato per designare una → formula ben formata di un linguaggio formale: il linguaggio degli → enunciati (detto anche linguaggio [...] ogni proposizione realizza una funzione di → verità che associa a ogni sequenza di valori diverità delle lettere che la compongono il valore diverità della proposizione stessa, determinato mediante le tavolediverità.
Due proposizioni si dicono ...
Leggi Tutto
lettera enunciativa
lettera enunciativa o lettera proposizionale, in logica, segno dell’alfabeto {a, b, c, …} che, nel linguaggio degli enunciati, rappresenta simbolicamente un enunciato atomico. Gli [...] e primo» è falsa perché uno dei due enunciati atomici è falso. In generale, è sempre possibile ricavare il valore diveritàdi un enunciato a partire dal valore diverità delle lettere enunciative che lo compongono, utilizzando le tavolediverità. ...
Leggi Tutto
decisione, problema della
decisione, problema della in logica, problema che concerne la possibilità di determinare la validità di un enunciato in un dato sistema logico. Per esempio, nel linguaggio degli [...] metodo algoritmico per determinare la veritàdi ogni formula: ciò avviene grazie alle tavolediverità che consentono di stabilire il valore diveritàdi ogni proposizione composta a partire dai valori diverità delle proposizioni elementari che la ...
Leggi Tutto
o
o [Forma min. della 15a lettera dell'alfab. it.] [FAF] Connettivo logico che ha tre signif.: (a) o inclusivo, il più frequente, corrisponde al lat. vel ed è detto disgiunzione dalla scuola di Peano [...] lat. aut per indicare termini che si escludono a vicenda (per es., "circuito elettrico aperto o chiuso"); qui di seguito sono date le tavolediverità delle due funzioni logiche corrispondenti AUT e VEL, indicandosi con a e b i due termini connessi e ...
Leggi Tutto
F
F 〈èffe〉 [Forma maiusc. della lettera f] [ALG] [FAF] Nella logica matematica, simb. di falso, usato partic. nelle tavolediverità. ◆ [ASF] Simb. di un tipo spettrale di stelle, diviso in 10 sottoclassi, [...] : III 301 f. ◆ [MTR] [EMG] Simb. del farad. ◆ [MTR] [TRM] °F è simb. del grado Fahrenheit di temperatura. ◆ [OTT] Simb. della riga di Fraunhofer di lunghezza d'onda 486.2 nm nella regione blu del visibile. ◆ [MCQ] Modello F: v. modelli risolubili in ...
Leggi Tutto
proposizioni logicamente equivalenti
proposizioni logicamente equivalenti proposizioni che hanno identiche tavolediverità essendo vere o false in corrispondenza degli stessi valori diverità delle [...] lettere enunciative che vi compaiono (→ equivalenza logica) ...
Leggi Tutto
Città del Lazio, capitale della Repubblica Italiana; capoluogo di regione e città metropolitana (Comune di 1.287,4 km2 con 2.813.365 ab. nel 2021).
Il problema dell’etimologia del nome di Roma si era presentato [...] , Tarquinio il Superbo) contiene probabilmente elementi diverità, ma si tratta di una costruzione tarda in cui la successione, lavoro furono 12 tavoledi bronzo nelle quali erano incise le leggi: codice considerato sempre la base di tutto il diritto ...
Leggi Tutto
tavola
tàvola s. f. [lat. tabŭla]. – 1. Asse di legno di spessore sensibilmente minore della lunghezza e della larghezza: segare, piallare una t.; accatastare le t.; chiudere un’apertura con tre t. inchiodate; t. di salvezza, quella a cui...
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...