Una tautologia è una proposizione sempre vera, come una legge matematica. Comunque venga dato una valore true o false alle variabili coinvolte, la proposizione risulterà sempre vera. Per dimostrare questo… [Continua a Leggere]
Categoria: Logica
Appunti di logica per l’informatica.
La logica è la disciplina che studia la correttezza del ragionamento. Nella lingua comunemente parlata possiamo utilizzare la logica per verificare che una frase (proposizione) sia corretta come significato. Non… [Continua a Leggere]