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 !$ ( \Rightarrow) !$, 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.

	p	q	r
p	1	2	V
q	F	5	6
r	V	8	9