Paradoks implikacji materialnej pozostawał nierozwiązany od starożytności, ponieważ uważano, że naturą implikacji jest wynikanie. Artykuł ukazuje, że tą naturą jest przeciwstawność. Zostaje podane rozwiązanie paradoksu wraz z odpowiednimi zmianami nazewnictwa, dodaniem konektywów i postulatem przejęcia roli dotychczasowej implikacji przez równoważność. Ponadto zaproponowane zostają zmiany nazewnictwa bramek logicznych, odwzorowujących kompetycję w elektronice.