تلاش کے نتائج

واضح رہے کہ مرکب مستلف <math>p \land \neg p</math> اور مرکب مستلف <math>p \lor \neg p</math> ایک دوسرے کے نفی ہیں ایسی مستلف جو نہ تو تطویل ہو اور نہ متضارب، کو ''امکانیہ'' کہا جاتا ہے۔ ...