Questão de Raciocínio Lógico

Sejam P e Q variáveis proposicionais que podem ter valorações, ou serem julgadas verdadeiras (V) ou falsas (F). A partir dessas variáveis, podem ser obtidas novas proposições, tais como: a proposição condicional, denotada por P → Q, que será F quando P for V e Q for F, ou V, nos outros casos; a disjunção de P e Q, denotada por P∨Q, que será F somente quando P e Q forem F, ou V nas outras situações; a conjunção de P e Q, denotada por P∧Q, que será V somente quando P e Q forem V, e, em outros casos, será F; e a negação de P, denotada por ¬P, que será F se P for V e será V se P for F. Uma tabela de valorações para uma dada proposição é um conjunto de possibilidades V ou F associadas a essa proposição.