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 etc. Novas proposições podem ser construídas usando-se
símbolos lógicos. Uma expressão da forma P
A proposição “Se roteirista não for diretor, então dublador não
será maquiador” é logicamente equivalente à proposição “Se
algum dublador for maquiador, então algum roteirista será
diretor”.
Fonte: TéCNICO EM REGULAçãO DA ATIVIDADE CINEMATOGRáFICA E AUDIOVISUAL / ANCINE / 2012 / CESPE