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 todo diretor é excêntrico e algum
excêntrico é mau ator, então algum diretor é mau ator” é
logicamente equivalente à proposição “Algum diretor não
é excêntrico ou todo excêntrico é bom ator ou algum
diretor é mau ator”.