En valuasjon som gjør $P$ sann gjør formelen usann, mens en valuasjon som gjør $P$ usann gjør formelen sann. Formelen er dermed både oppfyllbar og falsifiserbar. Enhver formel som har disse to egenskapene er hverken gyldig eller kontradiktorisk (ikke gyldig siden den kan falsifiseres, og ikke en kontradiksjon siden den kan oppfylles).
En kort oppsummering av disse begrepene
Test deg selv
Hvilke av disse egenskapene har formelen $(P \rightarrow \neg P)$?
Test deg selv
Hvis en formel er gyldig så er den ...
En formel som er gyldig er sann for alle valuasjoner. Dermed finnes det ingen valuasjoner som falsifiserer den, så den er ikke falsifiserbar.
Test deg selv
Hvis en formel ikke er oppfyllbar så er den ...
En formel som er kontradiktorisk er usann for alle valuasjoner. Dermed finnes det ingen valuasjoner som oppfyller den, så den er ikke oppfyllbar.