Sejam p, q e r proposições simples cujos valores lógicos (verdadeiro ou falso) são, a princípio, desconhecidos. No diagrama abaixo, cada célula numerada deve conter os resultados lógicos das proposições compostas formadas pelo conectivo condicional  em que as proposições nas linhas são os antecedentes e nas colunas, os consequentes. Os resultados das células 3, 4 e 7 já foram fornecidos.



Com relação à tabela, é correto afirmar que o valor lógico da célula: