FALSIFICAZIONE
Ogni teoria che Palomar sviluppa è valida solo fino a
quando, con una più attenta osservazione, giunge ad una conclusione in
contrasto con quella formulata precedentemente
ALGEBRA DI BOOLE N ella logica proposizionale la verità è la proprietà di una formula ed è esprimibile attraverso due possibili valori: l’uno corrispondente all’attribuzione di tale proprietà, l’altro alla sua negazione. Una formula è detta vera se possiede tale proprietà, falsa in caso contrario: vi si attribuisce dunque uno dei due possibili valori di verità esprimibili con i simboli 1 e 0 o con i simboli V e F. Il valore di verità di una formula non elementare del linguaggio degli enunciati (teoria), è determinato da quello dei singoli enunciati elementari che la compongono, sulla base di una tavola di verità che riassume algoritmicamente il modo d’agire dei connettivi. Le operazioni fondamentali non sono addizione e sottrazione ma gli operatori logici AND, OR e NOT. L'algebra di Boole riveste un ruolo di fondamentale importanza nell'informatica , tanto che ogni linguaggio di programmazione moderno definisce al suo interno gli operatori logici;...
Commenti
Posta un commento