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 “Um engenheiro de som é desnecessário em um
filme se, e somente se, o filme em questão é mudo” é
logicamente equivalente a “Um engenheiro de som é
desnecessário e o filme em questão é mudo ou um engenheiro
de som é necessário e o filme em questão não é mudo”.
Fonte: TéCNICO EM REGULAçãO DA ATIVIDADE CINEMATOGRáFICA E AUDIOVISUAL / ANCINE / 2012 / CESPE