منطقی عامل

آزاد دائرۃ المعارف، ویکیپیڈیا سے
یہاں جائیں: رہنمائی، تلاش کریں

منطق میں، منطقی عامل (انگریزی: Logical connective یا logical operator) ایک نشان یا لفظ جو دو یا زیادہ جملوں کو قواعد (گرائمر) (رسمی یا قدرتی زبان ) کے مطابق مربوط کرنے کے لیے استعمال کیا جاتا ہے۔ اس طرح کہ مرکب جملے کےمعنی کا انحصار اصل جملوں پر ہو۔

زبان میں[ترمیم]

قدرتی زبان میں[ترمیم]

غیر رسمی زبان میں[ترمیم]

فہرست علامات[ترمیم]


List of common logical connectives[ترمیم]

Commonly used logical connectives include:

Alternative names for biconditional are "iff", "xnor" and "bi-implication".

For example, the meaning of the statements it is raining and I am indoors is transformed when the two are combined with logical connectives:

  • It is not raining (

¬P)

  • It is raining and I am indoors (P Q)
  • It is raining or I am indoors (P Q)
  • If it is raining, then I am indoors (P Q)
  • If I am indoors, then it is raining (Q P)
  • I am indoors if and only if it is raining (P Q)

For statement P = It is raining and Q = I am indoors.

It is also common to consider the always true formula and the always false formula to be connective:

  • True formula (⊤, 1, Vpq, or T)
  • False formula (⊥, 0, Opq, or F)