En matemáticas de la escuela secundaria, las proposiciones verdaderas se llaman proposiciones verdaderas y las proposiciones falsas se llaman proposiciones falsas.
Para determinar si una proposición es verdadera, a menudo necesitamos partir de las condiciones de la proposición y sacar conclusiones mediante el razonamiento, para determinar si la proposición es una proposición. Este proceso se llama prueba. Para determinar si una proposición es falsa, solo es necesario dar un ejemplo (contraejemplo) que sea consistente con la proposición pero que no la satisfaga. Normalmente llamamos a este método "contraejemplo".