Ungenerated Being

A set is a well-defined collection of objects. You can represent sets using tabular form , for instance N={1,2,3,…}. You can represent sets using set builder form , for instance N={x|x=natural numbers}. In a set order does not matter.  A null set is a set with no elements in it. It can be represented as { }  or ∅. A proper subset , for instance A⊆B, states that all elements in A are in B. Example: {1,2}⊆{1,2,3}. However, one rule should be remembered, the empty set is not a subset of the set of the empty set. This is a general rule, {a}⊄{{a}}. A set with all elements in it (relative to context is the Universal set denoted U, aka domain of discourse). A union of sets is denoted by A∪B, which denotes all elements in sets A or B. In set builder notation, we can say: A∪B={x|x∈A∨x∈B}. There are a couple of laws that follow: Commutative Law : A∪B=B∪A Associative Law : (A∪B)∪C=A∪(B∪C) Idempotent Law : A∪A=A A∪U=U iff A⊂U A∪∅=A An intersection of sets is denoted by A∩B, which denote...

Introduction Modal logic is a family of different related systems that provide a variety of different operators that have their own formation rules and rules of inference. There are two operators: Possibility : ⬦, It is possible that. Necessity : □, it is necessary that. Modal logic has been relatively useful in expanding the range of expression used in propositional logic. The Distribution Axiom If we have statements like this, “It is necessary that Q if P.”. Then we can deduce, “If it is necessary that P, then it is necessary that Q.” This is called the distribution axiom. Distribution Axiom : □( □(P→Q))⊢  □□P→ □Q. For instance, if it is necessary that a square is a rectangle, then if it is necessary a shape is a square, then it is necessary that the shape is a rectangle. Negation Rules The following rules also hold: □( □P)⊢¬⬦¬P  □( ⬦P)⊢¬□¬P  These rules tell us something like the following: It is necessary that 1=1. This implies that it is not possible that 1 does not ...

Mixed Quantifiers The order of the quantified variables matters. Assume that I(P)=less than, so that I(Pxy)=x<y: (∀x)(∃y)Pxy : This is interpreted as for all x there exists a y greater than said individual x. This is true. (∃y)(∀x)Pxy : This is interpreted as there exists a y that is greater than all x. This is false. So: (∀x)(∃y)Pxy≠(∃y)(∀x)Pxy Figure 20 More examples may be useful in thinking about how to translate mixed quantifiers: (∃x)(∀y)(x+y=y) means there exists x which makes the proposition true given all y. This is true. This is true when x=0. (∀y)(∃x)(x+y=0) means that for all y, there exists an x which makes x+y=0 true. This is true. This is true when x=-y. (∀x)(∀y)(∃z)((x<y)→(x<z<y)) says that between all numbers x and y, there exists z. A rule : (∃y)(∀x)Pxy→(∀x)(∃y)Pxy. This is because the antecedent implies a fixed value of y makes Pxy true. This implies that for all x, the fixed value of y will necessarily satisfy the truth conditions given. This relationshi...

Introduction Propositional logic has three principal strengths: For any argument valid in propositional logic, there is a corresponding valid argument in English. The Truth tables in propositional logic provide easy to read decision procedures in propositional logic. There is an easy-to-understand proof system. However, there are many weaknesses to predicate logic: Propositional logic is not expressive enough to capture all arguments. Ex: All men are mortal and Socrates is a man, therefore Socrates is mortal. This is translated to P and Q, therefore R. Predicate logic can prove all things in propositional logic (and thus is redundant). There are many symbols used in predicate logic which are used to express objects, variables, predicates, etc. Here we have the following symbols: Names : lowercase letters a-v with or without numerical subscripts. N-place Predicates : uppercase letters A-Z with or without numerical subscripts. Variables : lowercase letters, w-z with or without numerical ...

De Morgans Demorgans Laws state that ¬(P∧Q)↔(¬P∨¬Q),and ¬(P∨Q)↔(¬P∧¬Q). Other Operators The Exclusive Disjunction is an operator which states that given the propositions P and Q, then P⨁Q is true only when wither P or Q are true. P Q P⨁Q T T F T F T F T T F F F Table 15 The Sheffer Stroke is an operator which states that given the propositions P and Q, then P↑Q is true only when either P or Q is false. This is equivalent to ¬P∨¬Q. P Q P↑Q T T F T F T F T T F F T Table 16

Contrapositive The contrapositive of a conditional statement is equivalent to the conditional statement. A contrapositive takes the conditional  P →Q , then derives  ¬Q → ¬P . The best way to think about this is via modus tollens. However, you can also prove P→Q≡¬Q→¬P: P Q ¬P ¬Q P →Q ¬Q → ¬P T T F F T T T F F T F F F T T F T T F F T T T T Table 13 Another example of showing equivalency can be via natural language. Let us say the conditional proposition states that, “If I study hard, then I will pass.” The contrapositive would state that, “If I do not pass, then I have not studied hard.” This is somewhat common sensical. Converse A converse is not equivalent to the conditional. A converse takes the ...

Conjunction Elimination P∧Q ∴P Figure 9 Conjunction Elimination says that given any two propositions P and Q, you are permitted to infer both P and Q individually from the conjunction P∧Q. (∧E) Example of proof of deriving P from (P∧R)∧(Q∧S) (P∧R)∧(Q∧S) A (P∧R) 1∧E P 2∧E Figure 10 Conjunction Introduction P Q ∴P∧Q Figure 11 Conjunction Introduction says that given any two propositions P and Q, you are permitted to infer P∧Q if you already have both P and Q. (∧I) Disjunction Introduction P ∴P∨Q Figure 12 Disjunction Introduction says that given any two propositions P, you are permitted to infer P∨Q for any proposition Q. (∨I) Although this rule produces weaker information, that is sometimes required to prove a conclusion. Example of proof of (P∨R)∧(Q∨R) from P∧Q P∧Q A P 1∧E P∨R 2∨I Q ...