Proposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, mas não como ambas, simultaneamente. As proposições são freqüentemente representadas por letras maiúsculas e, a partir de proposições simples, novas proposições podem ser construídas utilizando-se símbolos especiais. Uma expressão da forma A÷B, que é lida como "se A, então B", é F se A for V e se B for F e, nos demais casos, será sempre V. Uma expressão da forma AvB, que é lida como "A e B", é V se A e B forem V e, nos demais casos, será sempre F. Uma expressão da forma AwB, que é lida como "A ou B", é F se A e B forem F e, nos demais casos, será sempre V. Uma expressão da forma ¬A, a negação de A, é V se A for F e é F se A for V.
Para preencher a tabela a seguir, considere que os filmes A e B sejam de categorias distintas - documentário ou ficção -, e, em um festival de cinema, receberam premiações diferentes - melhor fotografia ou melhor diretor. Tendo como base as células já preenchidas, preencha as outras células com V ou F, conforme o cruzamento da informação da linha e da coluna correspondentes constitua uma proposição verdadeira ou falsa, respectivamente.
A partir do preenchimento das células da tabela e das definições apresentadas no texto, julgue os itens subseqüentes.
A proposição "O filme A é um filme de ficção" é V.