Para construir a tabela-verdade da proposição composta p v ~ r → q ᴧ ~ r, devemos primeiro avaliar as proposições simples que a compõem. Temos: p: proposição simples q: proposição simples r: proposição simples A negação de r é ~r. A disjunção entre p e ~r é p v ~r. A conjunção entre q e ~r é q ᴧ ~r. A proposição composta é p v ~r → q ᴧ ~r. Agora, podemos construir a tabela-verdade com as seis possibilidades de valores lógicos para p, q e r: | p | q | r | ~r | p v ~r | q ᴧ ~r | p v ~r → q ᴧ ~r | |---|---|---|----|--------|--------|----------------| | V | V | V | F | V | F | F | | V | V | F | V | V | F | F | | V | F | V | F | V | F | F | | V | F | F | V | V | F | F | | F | V | V | F | V | V | V | | F | V | F | V | V | F | F | | F | F | V | F | F | F | V | | F | F | F | V | V | F | F | Portanto, a afirmação I está incorreta, pois a tabela-verdade tem oito linhas. A afirmação II está correta. A afirmação III está incorreta, pois há duas linhas da tabela-verdade na coluna correspondente à proposição composta p v ~r → q ᴧ ~r, que assumem o valor verdadeiro.
Para escrever sua resposta aqui, entre ou crie uma conta
Fundamentos de Matemática para Computação
Compartilhar