Considere duas proposições p e q. Chama-se proposição condicional de p e q a proposição denotada por:
p → q
que se lê se p então q.
O átomo p é chamado antecedente e o átomo q é chamado conseqüente.
Guarde isso: A condicional p → q será F somente se p for V e q for F, onde teremos:
se V então F (V → F)
Observe que:
Temos 2 átomos, o que nos dá \(2^2\) = 4 linhas.
| p | q |
|---|---|
Dividiremos o número de linhas por 2.
4/2 = 2 (I) guarde esse resultado
Preencheremos as duas primeiras linhas da primeira coluna com V.
| p | q |
|---|---|
| V | |
| V | |
As outras duas linhas preencheremos com F.
| p | q |
|---|---|
| V | |
| V | |
| F | |
| F |
O resultado (I) e dividir novamente por 2.
2/2 = 1
Iremos intercalar os valores lógicos na 2ª coluna, iniciando por V.
| p | q |
|---|---|
| V | V |
| V | F |
| F | V |
| F | F |
Em seguida acrescentaremos a coluna da proposição p → q.
| p | q | p → q |
|---|---|---|
| V | V | |
| V | F | |
| F | V | |
| F | F |
E, finalmente, analisaremos a operação.
1ª linha: se p e q tem V como valor lógico, a condicional entre elas será V.
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | |
| F | V | |
| F | F |
2ª linha: se p tem V como valor lógico e q tem F, a condicional entre elas será F.
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | |
| F | F |
3ª linha: se p tem F como valor lógico e q tem V, a condicional entre elas será V.
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F |
4ª linha: se p e q tem F como valor lógico, a condicional entre elas será V.
| p | q | p → q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Pronto! Obtemos, assim, a tabela-verdade da disjunção entre dois átomos.
Esta foi uma demonstração gratuita.
Logue para ter acesso a todo conteúdo interativo.
Hum, ainda não criou conta!?
Crie sua conta e ative-a para ter acesso a todo conteúdo interativo.