OKPEDIA GRAFO

Grafo And/Or

grafo esempioIl grafo And/Or è la rappresentazione grafica di un processo logico. I nodi del grafo indicano i letterali. I nodi sono collegati tra loro da archi che indicano la relazione tra di essi. Ogni arco è caratterizzato da una direzione e da un verso ( arco orientato ). Gli archi tra i nodi del grafo possono indicare una relazione di implicazione, di congiunzione o di disgiunzione. La relazione di implicazione è un arco che congiunge un nodo di premessa a un nodo di implicazione ( conseguenza logica ). Gli archi di disgiunzione o di congiunzione sono, invece, dei collegamenti multipli e coinvolgono almeno tre nodi. La relazione di congiunzione logica ( AND ) è rappresentata da due archi, uniti tra loro da un segmento curvo, che hanno origine dai nodi di premessa e convergono verso il nodo di conclusione. La relazione di disgiunzione logica ( OR ) è, invece, rappresentata tramite due archi privi di segmento curvo che hanno origine dai nodi di premessa e convergono verso il nodo di conclusione.

https://www.okpedia.it/grafo_andor


Segnala un errore o invia un suggerimento per migliorare la pagina


Logica proposizionale


FacebookTwitterLinkedinLinkedin