maths.free › Set Theory & Logic › Logic and methods of proof

Logic and methods of proof

Connectives, quantifiers, direct proof, contrapositive, contradiction, induction.

A proof is a chain of statements each following from earlier ones by a rule of inference. Direct proof assumes the hypothesis and derives the conclusion; contrapositive proves ¬Q → ¬P instead; contradiction assumes ¬Q and finds an absurdity; induction climbs the integers. Picture it: the truth table below, p → q and ¬p ∨ q agree in every row, which is the contrapositive method justified. Think it: Gödel showed any consistent system rich enough for arithmetic has true statements it cannot prove.

ឧទាហរណ៍​ដែល​បាន​ធ្វើ · truth table of (p implies q) iff (not p or q)

Discrete-Math · Propositional-Logic

Truth table of (p implies q) iff (not p or q)

ជំហាន​ដោយ​ជំហាន

  1. \left(p \Rightarrow q\right) \Leftrightarrow \left(q \vee \neg p\right)

    2 variable(s) → 4 rows. Fill in every combination.

  2. \

    A tautology (always true).

បង្ហាញ​ចម្លើយ
\left(p \Rightarrow q\right) \Leftrightarrow \left(q \vee \neg p\right)

ឥឡូវ​អ្នក ជ្រើស​បញ្ហា ឬ​វាយ​បញ្ចូល ឬ​គូរ​របស់​អ្នក​ផ្ទាល់ ។ ជំហាន​នីមួយៗ រូបភាព ចម្លើយ​ត្រូវ​បាន​លាក់​រហូត​ដល់​អ្នក​សួរ ។

រក្សា​ការ​ធ្វើការ​របស់​អ្នក​ផ្ទាល់

គណនី​ឥត​គិត​ថ្លៃ​បន្ថែម​ចំណាំ​លើ​មេរៀន​នីមួយៗ កំណត់​ហេតុ​នៃ​អ្វី​ដែល​អ្នក​បាន​បញ្ចប់ បញ្ហា​ដែល​អ្នក​បាន​ដោះស្រាយ​នៅ​កន្លែង​មួយ និង​គ្រូ​ដែល​អ្នក​អាច​សួរ​អំពី​ទំព័រ​នេះ ។ គណិតវិទ្យា​ដោយ​ខ្លួន​វា​គឺ​បើក​ចំហ​សម្រាប់​អ្នក​ទាំងអស់​គ្នា ចុះឈ្មោះ​ចូល ឬ​មិន​ចុះឈ្មោះ​ចូល ។

ចុះឈ្មោះ ចូល

និមិត្ត​សញ្ញា​ដែល​បាន​ប្រើ​នៅ​ទីនេះ

ចុច​និមិត្ត​សញ្ញា​ណាមួយ​សម្រាប់​ការ​កំណត់​ពេញលេញ រូបភាព និង​តួអក្សរ​នីមួយៗ​មាន​ន័យ​អ្វី ។

របៀប​: Logic and methods of proof

  1. Write the statement as "if P then Q" with P and Q precise.
  2. Choose a method: direct (assume P), contrapositive (assume not Q), contradiction (assume P and not Q), or induction (for all n).
  3. Each line must cite a definition, an axiom or a previous line.
  4. End when Q appears; mark it ∎.

សំណួរ​ដែល​មនុស្ស​សួរ

Are some infinities bigger than others?

Yes. The integers and the rationals can be listed; the real numbers cannot (Cantor's diagonal argument), so there are strictly more reals than integers.

What is the difference between a relation and a function?

A relation pairs inputs with outputs freely; a function is a relation in which every input gets exactly one output.

បន្ថែម​ទៀត​ក្នុង Set Theory & Logic

Sets and operationsRelations, functions and equivalenceCardinality and infinity