bicondizionalebicondizionale [agg. e s.m. o f. Comp. di bi- e condizionale "che comporta due condizioni"] [FAF] Nella logica, la locuz. "se e soltanto se" (→ anche connettivo: C. logico). ...
Leggi Tutto
doppia implicazione
doppia implicazione o bicondizionale, connettivo logico denotato con il simbolo ⇔. Dati due enunciati A e B, l’enunciato A ⇔ B (si legge «A se e solo se B») si definisce come la congiunzione [...] di due implicazioni; equivale cioè alla congiunzione dell’enunciato A ⇒ B e del suo inverso B ⇒ A, ovvero a (A ⇒ B) ∧ (B ⇒ A) o, in altri termini, alla coppia di affermazioni «da A discende B e da B discende ...
Leggi Tutto
se e solo se
se e solo se locuzione, talvolta abbreviata con sse (e nella letteratura internazionale con iff, che sta per if and only if), utilizzata nel linguaggio naturale per indicare l’→ equivalenza [...] logica fra due enunciati, espressa dal connettivo logico detto → doppia implicazione o bicondizionale, rappresentato con il simbolo ⇔. Dati due enunciati A e B, l’enunciato A ⇔ B si legge «A se e solo se B» ed è vero quando A e B sono entrambi veri o ...
Leggi Tutto
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. [...] non) o si interpongono fra due enunciati (la congiunzione e, la disgiunzione o, il condizionale se...allora e il bicondizionale se e solo se). ◆ [ELT] Dispositivo l.: dispositivo, in partic. circuito elettronico, che effettua operazioni l. binarie (v ...
Leggi Tutto
Linguistica
Termine con il quale si indicano gli elementi (specialmente avverbi o locuzioni avverbiali e congiunzioni coordinanti o subordinanti) che hanno la funzione di collegare le parti di un testo [...] o si premettono a un enunciato (negazione) o si interpongono fra due enunciati (congiunzione, disgiunzione, condizionale, bicondizionale) in modo da formare enunciati più complessi.
Zoologia
Cordone connettivo
Cordone nervoso che connette i gangli ...
Leggi Tutto
Il periodo ipotetico (detto meno spesso costrutto condizionale) è una costruzione formata da due frasi, la principale (detta apodosi, cioè «conseguenza») e una subordinata ipotetica (detta protasi, cioè [...] e sufficiente di q:
(7) solo se piove la neve si scioglierà
In quanto mezzi di codifica, i costrutti condizionale e bicondizionale sono nettamente distinti, come mostra il confronto tra (8) e (9): (8) è coerente perché l’intervento di una causa ...
Leggi Tutto
condizione necessaria e sufficiente
condizione necessaria e sufficiente una condizione è necessaria quando una proposizione è vera soltanto a tale condizione (per esempio condizione necessaria perché [...] A è condizione necessaria per B).
☐ In logica, la relazione condizione necessaria e sufficiente corrisponde alla → doppia implicazione o bicondizionale, cioè al connettivo indicato con il simbolo ⇔ (si legga «se e solo se»). Infatti, A ⇒ B indica che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] ¬p come p¬⊥.
Tarski nella sua tesi del 1923 provò che, disponendo di ∀ sui funtori proposizionali, fosse sufficiente il bicondizionale →. Per il ruolo che ha → nelle definizioni e quello che hanno le definizioni nella sua teoria, Leśniewski attribuì ...
Leggi Tutto
logica matematica
Parte della logica strutturata in un sistema di calcolo formale, elaborata soprattutto in età contemporanea.
Sintassi e semanticaLe espressioni di un discorso deduttivo possono essere [...] del latino vel), implica, equivale; essi sono detti rispettivamente: negazione, congiunzione, disgiunzione, condizionale (o implicazione), bicondizionale (o doppia implicazione). Formule: sono le stesse variabili enunciative; inoltre se H e K sono ...
Leggi Tutto