Donde Np significa «necesariamente "p"», Pp significa «posiblemente "p"», N~p significa «necesariamente no "p"» y P~p significa «posiblemente no "p"»: