Vai al contenuto

Non-implicazione

Da Wikipedia, l'enciclopedia libera.
Diagramma di Venn di

La non-implicazione o abgiunzione (dal latino ab, "da", e junctio, "unire") è la negazione dell'implicazione logica, ovvero, date due proposizioni qualsiasi e , la non-implicazione da a è vera se e solo se la negazione dell'implicazione da a è vera.

Ciò può essere spiegato più semplicemente affermando che la non-implicazione da a è vera se e solo se è vera e è falsa.

In simboli, la non-implicazione può essere scritta come , , ovvero nella notazione di Bocheński "Lpq", ed è logicamente equivalente a e anche a .

Tavola di verità

[modifica | modifica wikitesto]

La tavola di verità della non-implicazione è:

Vero Vero Falso
Vero Falso Vero
Falso Vero Falso
Falso Falso Falso

Equivalenze logiche

[modifica | modifica wikitesto]

La non-implicazione può essere definita come la negazione dell'implicazione logica:

    
    

Nella logica classica, essa è equivalente anche alla negazione della disgiunzione di e e alla congiunzione di e :

         
         
  • Conservazione del valore "falso": l'interpretazione in base alla quale a tutte le variabili viene assegnato un valore di verità di "falso" produce un valore di verità di "falso" come risultato della non-implicazione.

Il simbolo della non-implicazione corrisponde ad un simbolo di implicazione barrato. Il suo simbolo Unicode è 219B16 (decimale 8603).

Nel linguaggio naturale, l'operazione può essere espressa come "p meno q" e "p senza q" e, nella retorica, come "p ma non q".

Nell'informatica, si ha l'operazione bit a bit A&(~B) e l'operazione logica A&&(!B).

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy