21 feb 2011

Operazioni con le proposizioni logiche

Le operazioni con le proposizioni sono proprio come le operazioni aritmetiche, hanno un nome ed un simbolo. Nel nostro caso il simbolo prende il nome di connettivo, che corrisponde ad una particella linguistica se applicato alle frasi.

Le operazioni sulle proposizioni sono:
Negazione
Congiunzione
Disgiunzione inclusiva
Disgiunzione esclusiva
Implicazione materiale
Coimplicazione materiale

La negazione è l'operazione logica più semplice perchè opera su una sola proposizione e si attua anteponendo il connettivo "non" alla frase che appartiene alla proposizione, e il simbolo al nome della proposizione.

Continua...