Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R e S. A partir de proposições conhecidas, novas proposições podem ser construídas usando-se símbolos especiais. Alguns desses símbolos são apresentados na tabela abaixo.
A negação da referida proposição é a proposição {[(PvQ)v[(~R)vS]}v{[(~P)w(~S)]↔(~Q)v(~R)]}.