منطق میں، منطقی عامل (انگریزی: 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)