Nu. Doar ceea ce nu e P poate sa implice non p. Desi. ar fi tot aia.
Propozitie infinita
Pornim de la premizele "0 nu e egal cu 2" si "0=1". Din prima ecuatie scadem doua cantitati "egale", in stanga 0 si in dreapta 1, obtinem "0 nu e egal cu 1".
La naiba! Am citit "Poate P să INCLUDĂ non-P?" Ar trebui să fiu mai atent data viitoare...
Pe mine unul mă duce cel mai mult cu gândul la metoda reducerii la absurd, dacă vrei o asociere, sper eu, bună. Deci da.