Considere a tabela verdade abaixo sendo \(p\), \(q\) e \(r\) proposições e V e F respectivamente os valores lógicos verdade e falsidade. A proposição \(r\) representada na tabela e

Gabarito

D

Comentário do professor

A proposição representada é a disjunção entre \(p\) e \(q\). A característica fundamental da disjunção inclusive é que ela é falsa apenas quando ambas as componentes são falsas; em todos os outros casos é verdadeira.

Observando a tabela: quando pelo menos uma das proposições \(p\) ou \(q\) vale V, a proposição \(r\) aparece como V. Somente na linha com \(p=F\) e \(q=F\) surge \(r=F\). Esse padrão confirma que \(r\) expressa a operação lógica que exige apenas uma parte verdadeira para resultar em verdade.

Em notação, isso se escreve \(r = p \lor q\), que se lê “\(p\) ou \(q\)” no sentido inclusive.