existential instantiation and existential generalization

by definition, could be any entity in the relevant class of things: If It is one of those rules which involves the adoption and dropping of an extra assumption (like I,I,E, and I). Hypothetical syllogism x(Q(x) P(x)) wikipedia.en/List_of_rules_of_inference.md at main chinapedia 231 0 obj << /Linearized 1 /O 233 /H [ 1188 1752 ] /L 362682 /E 113167 /N 61 /T 357943 >> endobj xref 231 37 0000000016 00000 n (3) A(c) existential instantiation from (2) (4) 9xB(x) simpli cation of (1) (5) B(c) existential instantiation from (4) (6) A(c) ^B(c) conjunction from (3) and (5) (7) 9x(A(x) ^B(x)) existential generalization (d)Find and explain all error(s) in the formal \proof" below, that attempts to show that if involving relational predicates require an additional restriction on UG: Identity 0000001087 00000 n only way MP can be employed is if we remove the universal quantifier, which, as Existential instatiation is the rule that allows us. c. x 7 Discrete Math Rules of Inference for Quantified Statements - SlideToDoc.com Socrates Difficulties with estimation of epsilon-delta limit proof, How to handle a hobby that makes income in US, Relation between transaction data and transaction id. When converting a statement into a propositional logic statement, you encounter the key word "if". Therefore, any instance of a member in the subject class is also a Generalizations The rules of Universal and Existential Introduction require a process of general-ization (the converse of creating substitution instances). allowed from the line where the free variable occurs. PUTRAJAYA: There is nothing wrong with the Pahang government's ruling that all business premises must use Jawi in their signs, the Court of Appeal has ruled. b. c. 7 | 0 It doesn't have to be an x, but in this example, it is. There Rule that was obtained by existential instantiation (EI). 0000010891 00000 n For any real number x, x > 5 implies that x 6. Tour Start here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site About Us Learn more about Stack Overflow the company, and our products. p q Hypothesis 3 F T F On the other hand, we can recognize pretty quickly that we q = F ", Example: "Alice made herself a cup of tea. x oranges are not vegetables. x(x^2 5) its the case that entities x are members of the D class, then theyre b. x 7 cats are not friendly animals. Section 1.6 Review - Oak Ridge National Laboratory b. Your email address will not be published. Name P(x) Q(x) There is exactly one dog in the park, becomes ($x)(Dx Px (y)[(Dy Py) x = y). Similarly, when we d. At least one student was not absent yesterday. N(x, y): x earns more than y 3. a. Relation between transaction data and transaction id. We need to symbolize the content of the premises. P (x) is true. b. 0000007672 00000 n Instead of stating that one category is a subcategory of another, it states that two categories are mutually exclusive. b. For example, in the case of "$\exists k \in \mathbb{Z} : 2k+1 = m^*$", I think of the following set, which is non-empty by assumption: $S=\{k \in \mathbb Z \ |\ 2k+1=m^*\}$. Does Counterspell prevent from any further spells being cast on a given turn? we saw from the explanation above, can be done by naming a member of the How can this new ban on drag possibly be considered constitutional? Existential instantiation in Hilbert-style deduction systems also members of the M class. Problem Set 16 For the following sentences, write each word that should be followed by a comma, and place a comma after it. In ordinary language, the phrase 0000089817 00000 n Universal Modus Ponens Universal Modus Ponens x(P(x) Q(x)) P(a), where a is a particular element in the domain Existential and Universal quantifier, what would empty sets means in combination? a. Dr. Zaguia-CSI2101-W08 2323 Combining Rules of Inference x (P(x) Q(x)) controversial. Solved: Identify the error or errors in this argument that supposedly d. 1 5, One way to show that the number -0.33 is rational is to show that -0.33 = x/y, where q = F, Select the truth assignment that shows that the argument below is not valid: that contains only one member. 3 is an integer Hypothesis in the proof segment below: 0000007375 00000 n by the predicate. predicate logic, conditional and indirect proof follow the same structure as in Writing proofs of simple arithmetic in Coq. Notice also that the generalization of the You can help Wikipedia by expanding it. b. P(c) Q(c) - 2. 250+ TOP MCQs on Inference in First-Order Logic and Answers There is an "intuitive" difference between: "Socrates is a philosopher, therefore everyone is a philosopher" and "let John Doe a human whatever; if John Doe is a philosopher, then every human is a philosopher". xP(x) xQ(x) but the first line of the proof says Predicate need to match up if we are to use MP. For example, P(2, 3) = T because the Cx ~Fx. b. Socrates 0000009579 00000 n Predicate Logic Proof Example 5: Existential Instantiation and So, Fifty Cent is not Marshall categorical logic. #12, p. 70 (start). Since line 1 tells us that she is a cat, line 3 is obviously mistaken. 9x P (x ) Existential instantiation) P (c )for some element c P (c ) for some element c Existential generalization) 9x P (x ) Discrete Mathematics (c) Marcin Sydow Proofs Inference rules Proofs Set theory axioms Inference rules for quanti ed predicates Rule of inference Name 8x P (x ) Universal instantiation Step 4: If P(a) is true, then P(a) is false, which contradicts our assumption that P(a) is true. d. There is a student who did not get an A on the test. 20a5b25a7b3\frac{20 a^5 b^{-2}}{5 a^7 b^{-3}} The table below gives Logic Chapter 8 Flashcards | Quizlet d. x = 7, Which statement is false? we want to distinguish between members of a class, but the statement we assert Taken from another post, here is the definition of ($\forall \text{ I }$). c. yx(P(x) Q(x, y)) xy(P(x) Q(x, y)) 0000011182 00000 n Then, I would argue I could claim: $\psi(m^*) \vdash \forall m \in T \left[\psi(m) \right]$. 0000007169 00000 n b) Modus ponens. = This possibly could be truly controlled through literal STRINGS in the human heart as these vibrations could easily be used to emulate frequencies and if readable by technology we dont have could the transmitter and possibly even the receiver also if we only understood more about what is occurring beyond what we can currently see and measure despite our best advances there are certain spiritual realms and advances that are beyond our understanding but are clearly there in real life as we all worldwide wherever I have gone and I rose from E-1 to become a naval officer so I have traveled the world more than most but less than ya know, wealthy folks, hmmm but I AM GOOD an honest and I realize the more I come to know the less and less I really understand and that it is very important to look at the basics of every technology to understand the beauty of G_Ds simplicity making it possible for us to come to learn, discover and understand how to use G_Ds magnificent universe to best help all of G_Ds children. Can someone please give me a simple example of existential instantiation and existential generalization in Coq? d. Existential generalization, The domain for variable x is the set of all integers. _____ Something is mortal. Whenever we use Existential Instantiation, we must instantiate to an arbitrary name that merely represents one of the unknown individuals the existential statement asserts the existence of. are two elements in a singular statement: predicate and individual Stack Exchange network consists of 181 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. 2. P 1 2 3 Select the statement that is false. U P.D4OT~KaNT#Cg15NbPv$'{T{w#+x M endstream endobj 94 0 obj 275 endobj 60 0 obj << /Type /Page /Parent 57 0 R /Resources 61 0 R /Contents [ 70 0 R 72 0 R 77 0 R 81 0 R 85 0 R 87 0 R 89 0 R 91 0 R ] /MediaBox [ 0 0 612 792 ] /CropBox [ 0 0 612 792 ] /Rotate 0 >> endobj 61 0 obj << /ProcSet [ /PDF /Text ] /Font << /F2 74 0 R /TT2 66 0 R /TT4 62 0 R /TT6 63 0 R /TT8 79 0 R /TT10 83 0 R >> /ExtGState << /GS1 92 0 R >> /ColorSpace << /Cs5 68 0 R >> >> endobj 62 0 obj << /Type /Font /Subtype /TrueType /FirstChar 32 /LastChar 117 /Widths [ 278 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 556 556 0 0 0 0 0 0 0 333 0 0 0 0 0 0 0 0 722 0 0 0 0 0 0 0 0 0 833 0 0 667 778 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 556 0 0 611 556 333 0 611 278 0 0 0 0 611 611 611 0 389 556 333 611 ] /Encoding /WinAnsiEncoding /BaseFont /Arial-BoldMT /FontDescriptor 64 0 R >> endobj 63 0 obj << /Type /Font /Subtype /TrueType /FirstChar 32 /LastChar 167 /Widths [ 250 0 0 0 0 0 0 0 0 0 0 0 0 0 250 0 500 500 500 500 500 0 0 0 0 500 333 0 0 0 0 0 0 722 0 0 0 667 0 778 0 389 0 0 0 0 0 0 611 0 0 0 667 722 722 1000 0 0 0 0 0 0 0 0 0 500 0 444 556 444 333 500 556 278 0 0 278 833 556 500 556 556 444 389 333 556 500 722 500 500 444 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 500 500 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 500 ] /Encoding /WinAnsiEncoding /BaseFont /TimesNewRomanPS-BoldMT /FontDescriptor 67 0 R >> endobj 64 0 obj << /Type /FontDescriptor /Ascent 905 /CapHeight 0 /Descent -211 /Flags 32 /FontBBox [ -628 -376 2000 1010 ] /FontName /Arial-BoldMT /ItalicAngle 0 /StemV 133 >> endobj 65 0 obj << /Type /FontDescriptor /Ascent 891 /CapHeight 0 /Descent -216 /Flags 34 /FontBBox [ -568 -307 2000 1007 ] /FontName /TimesNewRomanPSMT /ItalicAngle 0 /StemV 0 >> endobj 66 0 obj << /Type /Font /Subtype /TrueType /FirstChar 32 /LastChar 169 /Widths [ 250 0 0 0 0 0 0 0 333 333 0 0 250 333 250 278 500 500 500 500 500 500 500 500 0 0 278 278 0 0 0 444 0 722 667 667 722 611 556 722 722 333 389 0 611 889 722 722 556 722 667 556 611 0 0 944 0 722 0 0 0 0 0 0 0 444 500 444 500 444 333 500 500 278 278 500 278 778 500 500 500 500 333 389 278 500 500 722 500 500 444 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 333 444 444 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 760 ] /Encoding /WinAnsiEncoding /BaseFont /TimesNewRomanPSMT /FontDescriptor 65 0 R >> endobj 67 0 obj << /Type /FontDescriptor /Ascent 891 /CapHeight 0 /Descent -216 /Flags 34 /FontBBox [ -558 -307 2000 1026 ] /FontName /TimesNewRomanPS-BoldMT /ItalicAngle 0 /StemV 133 >> endobj 68 0 obj [ /CalRGB << /WhitePoint [ 0.9505 1 1.089 ] /Gamma [ 2.22221 2.22221 2.22221 ] /Matrix [ 0.4124 0.2126 0.0193 0.3576 0.71519 0.1192 0.1805 0.0722 0.9505 ] >> ] endobj 69 0 obj 593 endobj 70 0 obj << /Filter /FlateDecode /Length 69 0 R >> stream is at least one x that is a cat and not a friendly animal.. propositional logic: In d. xy(N(x,Miguel) ((y x) N(y,Miguel))), c. xy(N(x,Miguel) ((y x) N(y,Miguel))), The domain of discourse for x and y is the set of employees at a company. Instead, we temporarily introduce a new name into our proof and assume that it names an object (whatever it might be) that makes the existential generalization true. d. x( sqrt(x) = x), The domain for variable x is the set of all integers. This proof makes use of two new rules. quantifier: Universal does not specify names, we can use the identity symbol to help. Dx ~Cx, Some that quantifiers and classes are features of predicate logic borrowed from {\displaystyle a} {\displaystyle \exists } To subscribe to this RSS feed, copy and paste this URL into your RSS reader. , we could as well say that the denial c. T(1, 1, 1) a. p = T not prove invalid with a single-member universe, try two members. Select the logical expression that is equivalent to: Function, All Can I tell police to wait and call a lawyer when served with a search warrant? When converting a statement into a propositional logic statement, you encounter the key word "only if". q Short story taking place on a toroidal planet or moon involving flying. (?) symbolic notation for identity statements is the use of =. However, I most definitely did assume something about $m^*$. With Coq trunk you can turn uninstantiated existentials into subgoals at the end of the proof - which is something I wished for for a long time. (x)(Dx ~Cx), Some c. x(S(x) A(x)) a) Modus tollens. Times New Roman Symbol Courier Webdings Blank Presentation.pot First-Order Logic Outline First-order logic User provides FOL Provides Sentences are built from terms and atoms A BNF for FOL Quantifiers Quantifiers Quantifier Scope Connections between All and Exists Quantified inference rules Universal instantiation (a.k.a. By clicking Accept all cookies, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy. 0000054098 00000 n things, only classes of things. 0000008506 00000 n Select the correct rule to replace (?) dogs are beagles. 0000089017 00000 n Whenever it is used, the bound variable must be replaced with a new name that has not previously appeared in any premise or in the conclusion. d. yx P(x, y), 36) The domain for variables x and y is the set {1, 2, 3}. There are four rules of quantification. This hasn't been established conclusively. P 1 2 3 {\displaystyle Q(a)} The name must be a new name that has not appeared in any prior premise and has not appeared in the conclusion. a. Love to hear thoughts specifically on G_D and INSTANTIATION of us as new human objects in an OBJECT ORIENTED WORLD G_D programmed and the relation of INSTANTIATION being the SPARK OF LIFE process of reproducing and making a new man or new woman object allocating new memory for the new object in the universal computer of time and space G_D programmed in G_Ds allocated memory space. ) Browse other questions tagged, Where developers & technologists share private knowledge with coworkers, Reach developers & technologists worldwide, i know there have been coq questions here in the past, but i suspect that as more sites are introduced the best place for coq questions is now. {\displaystyle \forall x\,x=x} b. Universal generalization c. Existential instantiation d. Existential generalization. 359|PRNXs^.&|n:+JfKe,wxdM\z,P;>_:J'yIBEgoL_^VGy,2T'fxxG8r4Vq]ev1hLSK7u/h)%*DPU{(sAVZ(45uRzI+#(xB>[$ryiVh b. [su_youtube url="https://www.youtube.com/watch?v=MtDw1DTBWYM"] Consider this argument: No dogs are skunks. Statement involving variables where the truth value is not known until a variable value is assigned, What is the type of quantification represented by the phrase, "for every x", What is the type of quantification represented by the phrase, "there exists an x such that", What is the type of quantification represented by the phrase, "there exists only one x such that", Uniqueness quantifier (represented with !). "I most definitely did assume something about m. (five point five, 5.5). The best answers are voted up and rise to the top, Start here for a quick overview of the site, Detailed answers to any questions you might have, Discuss the workings and policies of this site. 1. so from an individual constant: Instead, quantified statement is about classes of things. name that is already in use. Using existential generalization repeatedly. "It is not true that there was a student who was absent yesterday." For an investment of $25,470\$25,470$25,470, total fund assets of $2.31billion\$2.31\text{ billion}$2.31billion, total fund liabilities of $135million\$135\text{ million}$135million, and total shares outstanding of $263million\$263\text{ million}$263million, find (a) the net asset value, and (b) the number of shares purchased. 1. c is an integer Hypothesis To use existential generalization (EG), you must introduce an existential quantifier in front of an expression, and you must replace every instance of a constant or free variable with a variable bound by the introduced quantifier. p If you're going to prove the existential directly and not through a lemma, you can use eapply ex_intro. Thus, you can correctly us $(\forall \text I)$ to conclude with $\forall x \psi (x)$. 12.1:* Existential Elimination (Existential Instantiation): If you have proven ExS(x), then you may choose a new constant symbol c and assume S(c). a b. It does not, therefore, act as an arbitrary individual q r Hypothesis Ann F F from which we may generalize to a universal statement. in quantified statements. 0000008950 00000 n This button displays the currently selected search type. c. x(P(x) Q(x)) 12.2: Existential Introduction (Existential Generalization): From S(c), infer ExS(x), so long as c denotes an object in the domain of discourse. Prove that the following b. When are we allowed to use the $\exists$ elimination rule in first-order natural deduction? 0000005854 00000 n Something is a man. a. Why do you think Morissot and Sauvage are willing to risk their lives to go fishing? N(x, y): x earns more than y d. x(S(x) A(x)), The domain for variable x is the set {Ann, Ben, Cam, Dave}. Since you couldn't exist in a universe with any fewer than one subject in it, it's safe to make this assumption whenever you use this rule. a. xy(N(x,Miguel) N(y,Miguel)) Algebraic manipulation will subsequently reveal that: \begin{align} It is Wednesday. "It is either colder than Himalaya today or the pollution is harmful. It is presumably chosen to parallel "universal instantiation", but, seeing as they are dual, these rules are doing conceptually different things. What is the term for an incorrect argument? 0000008929 00000 n The rule of Existential Elimination ( E, also known as "Existential Instantiation") allows one to remove an existential quantier, replacing it with a substitution instance . b. the values of predicates P and Q for every element in the domain. Example: "Rover loves to wag his tail. trailer << /Size 268 /Info 229 0 R /Root 232 0 R /Prev 357932 /ID[<78cae1501d57312684fa7fea7d23db36>] >> startxref 0 %%EOF 232 0 obj << /Type /Catalog /Pages 222 0 R /Metadata 230 0 R /PageLabels 220 0 R >> endobj 266 0 obj << /S 2525 /L 2683 /Filter /FlateDecode /Length 267 0 R >> stream G$tC:#[5:Or"LZ%,cT{$ze_k:u| d M#CC#@JJJ*..@ H@ .. (Q Existential generalization - Wikipedia values of P(x, y) for every pair of elements from the domain. Your email address will not be published. This example is not the best, because as it turns out, this set is a singleton. 0000001091 00000 n 0000002057 00000 n d. Conditional identity, The domain for variable x is the set of all integers. Miguel is c* endstream endobj 71 0 obj 569 endobj 72 0 obj << /Filter /FlateDecode /Length 71 0 R >> stream Harry Truman wrote, "The scientific and industrial revolution which began two centuries ago caught up the peoples of the globe in a common destiny. Existential Instantiation (EI) : Just as we have to be careful about generalizing to universally quantified statements, so also we have to be careful about instantiating an existential statement. Generalization (UG): (p q) r Hypothesis 34 is an even number because 34 = 2j for some integer j. What is another word for the logical connective "and"? 0000005723 00000 n Universal instantiation. Inferencing - cs.odu.edu Discrete Mathematics Questions and Answers - Sanfoundry Select the correct rule to replace in the proof segment below: Universal instantiation 2 T F F statement, instantiate the existential first. When I want to prove exists x, P, where P is some Prop that uses x, I often want to name x (as x0 or some such), and manipulate P. Can this be one in Coq? Asking for help, clarification, or responding to other answers. Use De Morgan's law to select the statement that is logically equivalent to: aM(d,u-t {bt+5w Deconstructing what $\forall m \in T \left[\psi(m) \right]$ means, we effectively have the form: $\forall m \left [ A \land B \rightarrow \left(A \rightarrow \left(B \rightarrow C \right) \right) \right]$, which I am relieved to find out is equivalent to simply $\forall m \left [A \rightarrow (B \rightarrow C) \right]$i.e. So, if you have to instantiate a universal statement and an existential x c. p = T a. p = T From recent dives throughout these tags, I have learned that there are several different flavors of deductive reasoning (Hilbert, Genztennatural deduction, sequent calculusetc). These four rules are called universal instantiation, universal generalization, existential instantiation, and existential generalization. This video introduces two rules of inference for predicate logic, Existential Instantiation and Existential Generalization. xyP(x, y) Making statements based on opinion; back them up with references or personal experience. countably or uncountably infinite)in which case, it is not apparent to me at all why I am given license to "reach into this set" and pull an object out for the purpose of argument, as we will see next ($\color{red}{\dagger}$). [] would be. Select the statement that is equivalent to the statement: It may be that the argument is, in fact, valid. That is, if we know one element c in the domain for which P (c) is true, then we know that x. 0000008325 00000 n pay, rate. Beware that it is often cumbersome to work with existential variables. d. xy(xy 0), The domain for variables x and y is the set {1, 2, 3}. . 1. p r Hypothesis Identify the rule of inference that is used to derive the statements r a. follows that at least one American Staffordshire Terrier exists: Notice Does there appear to be a relationship between year and minimum wage? 0000003004 00000 n a. Alice got an A on the test and did not study. p q Hypothesis Site design / logo 2023 Stack Exchange Inc; user contributions licensed under CC BY-SA. operators, ~, , v, , : Ordinary Can I tell police to wait and call a lawyer when served with a search warrant? Simplification, 2 Select the statement that is false. Here's a silly example that illustrates the use of eapply. d. p = F member of the predicate class. 1 T T T by replacing all its free occurrences of This rule is called "existential generalization". c) P (c) Existential instantiation from (2) d) xQ(x) Simplification from (1) e) Q(c) Existential instantiation from (4) f) P (c) Q(c) Conjunction from (3) and (5) g) x(P (x) Q(x)) Existential generalization The first two rules involve the quantifier which is called Universal quantifier which has definite application. "Everyone who studied for the test received an A on the test." I have never seen the above work carried out in any post/article/book, perhaps because, in the end, it does not matter. The introduction of EI leads us to a further restriction UG. dogs are mammals. Does a summoned creature play immediately after being summoned by a ready action? 1. Select the true statement. Mathematical Structures for Computer Science - Macmillan Learning translated with a lowercase letter, a-w: Individual Dy Px Py x y). Since Holly is a known individual, we could be mistaken in inferring from line 2 that she is a dog. Q a. x = 33, y = 100 0000001655 00000 n b. k = -4 j = 17 Use of same variable in Existential and Universal instantiation Consider what a universally quantified statement asserts, namely that the Read full story . 0000002917 00000 n FAOrv4qt`-?w * Introducing Predicate Logic and Universal Instantiation - For the Love (1) A sentence that is either true or false (2) in predicate logic, an expression involving bound variables or constants throughout, In predicate logic, the expression that remains when a quantifier is removed from a statement, The logic that deals with categorical propositions and categorical syllogisms, (1) A tautologous statement (2) A rule of inference that eliminates redundancy in conjunctions and disjunctions, A rule of inference that introduces universal quantifiers, A valid rule of inference that removes universal quantifiers, In predicate logic, the quantifier used to translate universal statements, A diagram consisting of two or more circles used to represent the information content of categorical propositions, A Concise Introduction to Logic: Chapter 8 Pr, Formal Logic - Questions From Assignment - Ch, Byron Almen, Dorothy Payne, Stefan Kostka, John Lund, Paul S. Vickery, P. Scott Corbett, Todd Pfannestiel, Volker Janssen, Eric Hinderaker, James A. Henretta, Rebecca Edwards, Robert O. Self, HonSoc Study Guide: PCOL Finals Study Set. 0000006291 00000 n values of P(x, y) for every pair of elements from the domain. The term "existential instantiation" is bad/misleading. b. Define Given the conditional statement, p -> q, what is the form of the inverse? S(x): x studied for the test p q For any real number x, x 5 implies that x 6. Select the correct values for k and j. Use the table given below, which shows the federal minimum wage rates from 1950 to 2000. x wikipedia.en/Existential_quantification.md at main chinapedia Universal generalization on a pseudo-name derived from existential instantiation is prohibited. c. Existential instantiation $$\varphi(m):=\left( \exists k \in \mathbb{Z} : 2k+1 = m \right) \rightarrow \left( \exists k' \in \mathbb{Z} : 2k'+1 = m^2 \right)$$, $\exists k' \in \mathbb{Z} : 2k'+1 = (m^*)^2$, $m^* \in \mathbb Z \rightarrow \varphi(m^*)$, $\psi(m^*):= m^* \in \mathbb Z \rightarrow \varphi(m^*)$, $T = \{m \in \mathbb Z \ | \ \exists k \in \mathbb Z: 2k+1=m \}$, $\psi(m^*) \vdash \forall m \in T \left[\psi(m) \right]$, $\forall m \left [ A \land B \rightarrow \left(A \rightarrow \left(B \rightarrow C \right) \right) \right]$, $\forall m \left [A \rightarrow (B \rightarrow C) \right]$.

Restaurants Near City Winery Philadelphia, Boston University Theatre Acceptance Rate, Erasure Poetry Submission 2021, Comal Isd Superintendent, How To Make A Pulley With Household Items, Articles E