حسبان القضايا

(تم التحويل من Propositional logic)

في المنطق الرياضي، منطق القضايا أو منطق الجمل ( Propositional calculus أو sentential calculus ) عبارة عن نظام استنتاج شكلي تتألف صيغه الذرية من متغيرات قضايا propositional variable (عبارات) و هذا ما يميزه عن المنطق الإسنادي predicate calculus الذي تكون صيغه الذرية عبارة عن دوال قضايا propositional functions أما المنطق الطوري الذي يتعامل مع قضايا محتملة .

منطق القضايا أو حسبان القضايا ( Propositional calculus) ينظر إلى الجملة اللغوية المركبة بصفتها قضية منطقية, يقوم بتفكيكها إلى مقولات منطقية بسيطة من قبيل "و"، "أو"، "إذا"، "ومن ثم", وذلك وفقا للمبدأ الذى أرساه فريجه فيلسوف اللغة والذي على أساسه يحسب معنى الجملة على أساس كونه دالة لمعاني العناصر المكونة لها.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Basic and derived argument forms

Name Sequent Description
Modus Ponens If p then q; p; therefore q
Modus Tollens If p then q; not q; therefore not p
Hypothetical Syllogism If p then q; if q then r; therefore, if p then r
Disjunctive Syllogism Either p or q, or both; not p; therefore, q
Constructive Dilemma If p then q; and if r then s; but p or r; therefore q or s
Destructive Dilemma If p then q; and if r then s; but not q or not s; therefore not p or not r
Bidirectional Dilemma If p then q; and if r then s; but p or not s; therefore q or not r
Simplification p and q are true; therefore p is true
Conjunction p and q are true separately; therefore they are true conjointly
Addition p is true; therefore the disjunction (p or q) is true
Composition If p then q; and if p then r; therefore if p is true then q and r are true
De Morgan's Theorem (1) The negation of (p and q) is equiv. to (not p or not q)
De Morgan's Theorem (2) The negation of (p or q) is equiv. to (not p and not q)
Commutation (1) (p or q) is equiv. to (q or p)
Commutation (2) (p and q) is equiv. to (q and p)
Commutation (3) (p is equiv. to q) is equiv. to (q is equiv. to p)
Association (1) p or (q or r) is equiv. to (p or q) or r
Association (2) p and (q and r) is equiv. to (p and q) and r
Distribution (1) p and (q or r) is equiv. to (p and q) or (p and r)
Distribution (2) p or (q and r) is equiv. to (p or q) and (p or r)
Double Negation and p is equivalent to the negation of not p
Transposition If p then q is equiv. to if not q then not p
Material Implication If p then q is equiv. to not p or q
Material Equivalence (1) (p iff [ك‍] q) is equiv. to (if p is true then q is true) and (if q is true then p is true)
Material Equivalence (2) (p iff [ك‍] q) is equiv. to either (p and q are true) or (both p and q are false)
Material Equivalence (3) (p iff [ك‍] q) is equiv to., both (p or not q is true) and (not p or q is true)
Exportation[1] from (if p and q are true then r is true) we can prove (if q is true then r is true, if p is true)
Importation If p then (if q then r) is equivalent to if p and q then r
Tautology (1) p is true is equiv. to p is true or p is true
Tautology (2) p is true is equiv. to p is true and p is true
Tertium non datur (Law of Excluded Middle) p or not p is true
Law of Non-Contradiction p and not p is false, is a true statement


Proofs in propositional calculus

One of the main uses of a propositional calculus, when interpreted for logical applications, is to determine relations of logical equivalence between propositional formulas. These relationships are determined by means of the available transformation rules, sequences of which are called derivations or proofs.

In the discussion to follow, a proof is presented as a sequence of numbered lines, with each line consisting of a single formula followed by a reason or justification for introducing that formula. Each premise of the argument, that is, an assumption introduced as an hypothesis of the argument, is listed at the beginning of the sequence and is marked as a "premise" in lieu of other justification. The conclusion is listed on the last line. A proof is complete if every line follows from the previous ones by the correct application of a transformation rule. (For a contrasting approach, see proof-trees).

Example of a proof

  • To be shown that AA.
  • One possible proof of this (which, though valid, happens to contain more steps than are necessary) may be arranged as follows:
Example of a Proof
Number Formula Reason
1 premise
2 From (1) by disjunction introduction
3 From (1) and (2) by conjunction introduction
4 From (3) by conjunction elimination
5 Summary of (1) through (4)
6 From (5) by conditional proof

Interpret as "Assuming A, infer A". Read as "Assuming nothing, infer that A implies A", or "It is a tautology that A implies A", or "It is always true that A implies A".


Alternative calculus

It is possible to define another version of propositional calculus, which defines most of the syntax of the logical operators by means of axioms, and which uses only one inference rule.

Axioms

Let φ, χ, and ψ stand for well-formed formulas. (The well-formed formulas themselves would not contain any Greek letters, but only capital Roman letters, connective operators, and parentheses.) Then the axioms are as follows:

Axioms
Name Axiom Schema Description
THEN-1 Add hypothesis χ, implication introduction
THEN-2 Distribute hypothesis over implication
AND-1 Eliminate conjunction
AND-2  
AND-3 Introduce conjunction
OR-1 Introduce disjunction
OR-2  
OR-3 Eliminate disjunction
NOT-1 Introduce negation
NOT-2 Eliminate negation
NOT-3 Excluded middle, classical logic
IFF-1 Eliminate equivalence
IFF-2  
IFF-3 Introduce equivalence
  • Axiom THEN-2 may be considered to be a "distributive property of implication with respect to implication."
  • Axioms AND-1 and AND-2 correspond to "conjunction elimination". The relation between AND-1 and AND-2 reflects the commutativity of the conjunction operator.
  • Axiom AND-3 corresponds to "conjunction introduction."
  • Axioms OR-1 and OR-2 correspond to "disjunction introduction." The relation between OR-1 and OR-2 reflects the commutativity of the disjunction operator.
  • Axiom NOT-1 corresponds to "reductio ad absurdum."
  • Axiom NOT-2 says that "anything can be deduced from a contradiction."
  • Axiom NOT-3 is called "tertium non datur" (Latin: "a third is not given") and reflects the semantic valuation of propositional formulas: a formula can have a truth-value of either true or false. There is no third truth-value, at least not in classical logic. Intuitionistic logicians do not accept the axiom NOT-3.

Inference rule

The inference rule is modus ponens:

.

Meta-inference rule

Let a demonstration be represented by a sequence, with hypotheses to the left of the turnstile and the conclusion to the right of the turnstile. Then the deduction theorem can be stated as follows:

If the sequence
has been demonstrated, then it is also possible to demonstrate the sequence
.

This deduction theorem (DT) is not itself formulated with propositional calculus: it is not a theorem of propositional calculus, but a theorem about propositional calculus. In this sense, it is a meta-theorem, comparable to theorems about the soundness or completeness of propositional calculus.

On the other hand, DT is so useful for simplifying the syntactical proof process that it can be considered and used as another inference rule, accompanying modus ponens. In this sense, DT corresponds to the natural conditional proof inference rule which is part of the first version of propositional calculus introduced in this article.

The converse of DT is also valid:

If the sequence
has been demonstrated, then it is also possible to demonstrate the sequence

in fact, the validity of the converse of DT is almost trivial compared to that of DT:

If
then
1:
2:
and from (1) and (2) can be deduced
3:
by means of modus ponens, Q.E.D.

The converse of DT has powerful implications: it can be used to convert an axiom into an inference rule. For example, the axiom AND-1,

can be transformed by means of the converse of the deduction theorem into the inference rule

which is conjunction elimination, one of the ten inference rules used in the first version (in this article) of the propositional calculus.

Example of a proof

The following is an example of a (syntactical) demonstration, involving only axioms THEN-1 and THEN-2:

Prove: (Reflexivity of implication).

البرهان:

  1. Axiom THEN-2 with
  2. Axiom THEN-1 with
  3. From (1) and (2) by modus ponens.
  4. Axiom THEN-1 with
  5. From (3) and (4) by modus ponens.


. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

انظر أيضا

Higher logical levels

مواضيع ذات صلة

المصادر

  • د. نبيل علي و د. نادية حجازي. الفجوة الرقمية، سلسلة عالم المعرفة- غشت -2005 العدد 318. ص. 319.

روابط خارجية

قالب:Classical logic قالب:Formal Fallacy

  1. ^ Toida, Shunichi (2 August 2009). "Proof of Implications". CS381 Discrete Structures/Discrete Mathematics Web Course Material. Department Of Computer Science, Old Dominion University. Retrieved 10 March 2010.