- Preenchimento dos valores lógicos na tabela verdade
No preenchimento das colunas das proposições componentes, que neste caso são p e q, pode ser usada a dica das sequências VVFF e VFVF:
| p | q | p → q | |
| 1. | V | V | |
| 2. | V | F | |
| 3. | F | V | |
| 4. | F | F |
Quando a tabela for de 4 linhas, as sequencias das colunas as proposições componentes são:
Sequência 1: Preencher a primeira coluna com a sequência VVFF, que neste caso é a coluna de p.
Sequência 2: Preencher a segunda coluna com a sequência VFVF, que neste caso é a coluna de q.
X
- Aplicação da regra da operação lógica
Regra da condicional: só é falso quando V → F. É verdade nos demais casos.
Considerando a regra, ao aplicar a regra na primeira linha, onde o par de valores é “V”“V”, obtém-se o resultado “V” (verdade) para a operação de condicional:
| p | q | p → q | |
| 1. | V | V | V |
| 2. | V | F | |
| 3. | F | V | |
| 4. | F | F |