Chapter 1 Logic and Set Theory
... irrational number” is a statement that most of us cannot prove. Statements on their own are fairly uninteresting. What brings value to logic is the fact that there are a number of ways to form new statements from old ones. In this section, we present five ways to form new statements from old ones. T ...
... irrational number” is a statement that most of us cannot prove. Statements on their own are fairly uninteresting. What brings value to logic is the fact that there are a number of ways to form new statements from old ones. In this section, we present five ways to form new statements from old ones. T ...
PPT
... Indirect proofs refer to proof by contrapositive or proof by contradiction which we introduce next . A contrapositive proof or proof by contrapositive for conditional proposition P Q one makes use of the tautology (P Q) ( Q P). Since P Q and Q P are logically equivalent we first g ...
... Indirect proofs refer to proof by contrapositive or proof by contradiction which we introduce next . A contrapositive proof or proof by contrapositive for conditional proposition P Q one makes use of the tautology (P Q) ( Q P). Since P Q and Q P are logically equivalent we first g ...
Partition of a Set which Contains an Infinite Arithmetic (Respectively
... (respectively geometric) progression into two subsets, at least one of these subsets contains an infinite number of triplets such that each triplet is an arithmetic (respectively geometric) progression. Introduction. First, in this article we build sets which have the following property: for any par ...
... (respectively geometric) progression into two subsets, at least one of these subsets contains an infinite number of triplets such that each triplet is an arithmetic (respectively geometric) progression. Introduction. First, in this article we build sets which have the following property: for any par ...