Prima di parlare di insiemi serve un linguaggio per dire vero o falso. Le proposizioni sono i mattoni di ogni dimostrazione: saperle combinare con i connettivi e leggerne la tavola di verità è il prerequisito di tutta l’algebra (le operazioni tra insiemi rispecchiano la logica), di tutta la geometria (“se… allora…”) e di tutto lo studio di funzione (”ff continua e derivabile…”).

Definizione — Proposizione

Una proposizione è un’asserzione di cui si può dire, senza ambiguità, se è vera (V, oppure 11) o falsa (F, oppure 00).

“Roma è in Italia” è una proposizione (vera); “Il numero 77 è bello” non lo è, perché non se ne può stabilire con certezza il valore di verità.

Collegamenti

Argomenti: Teoria degli insiemi
Concetti: Proposizione