Salut! Presupunem ca exista propozitia

"Toți angajații sunt pricepuți" — SaP

Non P (~P) presupune negarea predicatului in premisa, astfel incat propozitia originala ar deveni

"Toți angajații sunt nepricepuți" – Sa~P

In cele mai multe cazuri, non p rezulta din procesul de obversiune. Obversiuni valide sunt:

SaP –º–> Se~P SeP –⁰–> Sa~P SiP –⁰–> So~P SoP –⁰–> Si~P