As afirmações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas não ambas, são chamadas proposições. As proposições são usualmente simbolizadas por letras maiúsculas: A, B, C etc. A expressão
, lida, entre outras formas, como "se A então B", é uma proposição que tem valoração F quando A é V e B é F, e tem valoração V nos demais casos. Uma expressão da forma
, lida como "não A", é uma proposição que tem valoração V quando A é F, e tem valoração F quando A é V. A expressão da forma AwB, lida como "A e B", é uma proposição que tem valoração V apenas quando A e B são V, nos demais casos tem valoração F. Uma expressão da forma
, lida como "A ou B", é uma proposição que tem valoração F apenas quando A e B são F; nos demais casos, é V. Com base nessas definições, julgue os itens que se seguem.