Remarque (concernant les deux vidéos ci-dessus) :

Une proposition ne peut être définie comme un énoncé pouvant être vrai ou faux. Qu'est ce qu'un énoncé ?

Une proposition est un assemblage (formé avec un certain nombre de symboles qu'il s'agit de décrire précisément) auquel on associe une valeur de vérité (vrai ou faux).