///
Após a análise de dados de desempenho de funcionários de certa empresa, uma equipe de gestão chegou às seguintes conclusões: todos os funcionários que participam do programa de treinamento contínuo (T) alcançam metas de produtividade (P); alguns funcionários que atingem metas de produtividade (P) também participam de projetos de inovação (I); há funcionários que participam de projetos de inovação (I) mas não fazem parte do programa de treinamento contínuo (T).
A lógica proposicional afirma que, se todos os funcionários que participam de T alcançam P, então a negação de T implica a negação de P.