output.to from Sideway

~~Logic~~

`-=[]⟨⟩\;',./~!@#$%^&*()_+{}|:"<>? 𝑎𝑏𝑐𝑑𝑒𝑓𝑔ℎ𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧 Å − × ⋅∓±∘꞊﹦∗∙ ℯ 𝔸𝔹ℂ𝔻𝔼𝔽𝔾ℍ𝕀𝕁𝕂𝕃𝕄ℕ𝕆ℙℚℝ𝕊𝕋𝕌𝕍𝕎𝕏𝕐ℤ𝐴𝐵𝐶𝐷𝐸𝐹𝐺𝐻𝐼𝐽𝐾𝐿𝑀𝑁𝑂𝑃𝑄𝑅𝑆𝑇𝑈𝑉𝑊𝑋𝑌𝑍 ∼∽∾≁≂≃≄≅≆≇≈≉≌≐≠≡ ≤≥≦≧≨≩≪≫ ∈∉∊∋∌∍ ⊂⊃⊄⊅⊆⊇ 𝛼𝛽𝛾𝛿𝜀𝜁𝜂𝜃𝜄𝜅𝜆𝜇𝜈𝜉𝜊𝜋𝜌𝜎𝜏𝜐𝜑𝜒𝜓𝜔 ∀∂∃∅⦰∆∇∎∞∝∴∵ ∏∐∑⋀⋁⋂⋃ ∧∨∩∪ ∫∬∭∮∯∰∱∲∳ ∥⋮⋯⋰⋱ ‖ ′ ″ ‴ ⁄ ⁗ ʹ ʺ ‵ ‶ ‷ ﹁﹂﹃﹄︹︺︻︼ ︗ ︘ ︿﹀︽︾﹇﹈︷︸ ⏜ ⏝ ⎴ ⎵ ⏞ ⏟ ⏠ ⏡ ←↑→↓↤↦↥↧↔↕↖↗↘↙▲▼◀▶↺↻⟲⟳ ↼↽↾↿⇀⇁⇂⇃⇄⇅⇆⇇ ⇐⇑⇒⇓⇔⇌⇍⇏⇕⇖⇗⇘⇙⇙⇳⥢⥣⥤⥥⥦⥧⥨⥩⥪⥫⥬⥭⥮⥯

Draft for Information Only

Content

Sets
    
 Introduction
 Useful Logic
  Propositions and Sentential Connectives
   Propositions
   Sentential Connectives
  Arguments
 Axiom of Extensionality
 Sources and References

Sets

Introduction

Useful Logic

Logic is a way of thinking by inferring with the concept of correct reasoning. In other words, an output, either making a guess or forming an opinion, is produced based on using the speicified information as input. In general, logic is used to distinguish sound and faulty reasoning.

Propositions and Sentential Connectives

In order to analyse a problem logically, a precise language must be used.

Propositions

The precise building block used in logic reasoning is called proposition. A proposition is a declarative statement which is either true or false, but not both.

Sentential Connectives

In order to express mathematical statements to symbolic logical forms, some sentential connectives or logical connectives are defined. Keywords: 'not', 'and', 'or', 'if …, then …', 'if and only if' are the sentential connectives used in sentential logic. The logical connectives of sentential logic are Logic ConnectivesSentential ConnectivesSentential Logic SymbolRemarks NegativeNot¬∼, ! ConjunctionAnd∧., & DisjunctionInclusive Or∨+, ∥ Implication, Conditionalif …, then …→⇒ Double Implication, Biconditional, Equivalenceif and only if↔⇔, ≡

Arguments

Axiom of Extensionality

Basically, the foundation of set theory is based on the concept of belonging. In other words, a set is only used to represent the unordered elements contained in the set as in roster form. Both semantic description and set builder forms are only used to specify the elements in the set. However, rules used to determine the memners of the set may also be important properties of the elements of the set. Therefore, if the members of set 𝑨 is the same as the members of set 𝑩, set 𝑨 and set 𝑩 are equal. The equality of two sets A and B can be denoted as