PHIL12A Section Answers, 18 April 2011

Total Page：16

File Type：pdf, Size：1020Kb

PHIL12A Section answers, 18 April 2011 Julian Jonker FOL translation exercises 1. Look carefully at how the following sentences have been translated into FOL. (You should try to do them on your own first.) (a) Each cube is to the left of a tetrahedron. Actually this is ambiguous. Here is the weak version: 8x(Cube(x) ! 9y(Tet(y)^LeftOf(x,y))) Here is the strong version: 9x(Tet(x) ^ 8y(Cube(y) ! LeftOf(y,x))) (b) No cube to the right of a tetrahedron is to the left of a larger dodecahedron. This is a terrible sentence. It is doubly ambiguous. Is there just one tetrahedron, or could there be many? (I say the latter in my translation.) Is the dodecahedron larger than the tetrahedron, or than the cube (I again say the latter). Don’t mix up the variables in what follows! Exercise: give translations reflecting the other possible meanings of the English. 8x((Cube(x)^9y(Tet(y)^RightOf(x,y))) ! :9y(Dodec(y)^Larger(y,x)^RightOf(x,y))) (c) If a freshman takes a logic class, he or she is smart. 8x((Freshman(x) ^ 9y(LogicClass(y) ^ Takes(x,y))) ! Smart(x)) (d) Every farmer who owns a donkey beats it. 8x(Donkey(x) ! 8y((Farmer(y) ^ Owns(y,x)) ! Beats(y,x))) The following is also okay: 8x8y((Farmer(x) ^ Donkey(y) ^ Owns(x,y)) ! Beats(x,y)) 2. Ex 11.18 This was homework so I won’t give answers here, but I will answer questions you have about it during office hours. 3. Ex 11.19 (a) Every dodecahedron is as large as every cube. 8x(Dodec(x) ! 8y(Cube(y) !:Smaller(x,y))) 1 (b) If a cube is to the right of a dodecahedron but not in back of it, then it is as large as the dodecahedron. 8x8y((Cube(x) ^ Dodec(y) ^ RightOf(x,y) ^ :BackOf(x,y)) !:Smaller(x,y)) (c) No cube with nothing to its left is between two cubes. 8x(Cube(x) ! (:9yLeftOf(y,x) ! :9z9w(Cube(z) ^ Cube(w) ^ Between(x,z,w)))) (d) The only large cubes are b and c. Note: unlike the next sentence, this one implies that b and c are large cubes. Cube(b)^Large(b)^Cube(c)^Large(c)^8x((Cube(x)^Large(x)) ! x = b_x = c) (e) At most b and c are large cubes. 8x((Cube(x) ^ Large(x)) ! x = b _ x = c) Alternately: :9x(Cube(x) ^ Large(x) ^ x 6= b ^ x 6= c) 2.

Copy Link

Recommended publications

Archimedean Solids
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-2008 Archimedean Solids Anna Anderson University of Nebraska-Lincoln Follow this and additional works at: https://digitalcommons.unl.edu/mathmidexppap Part of the Science and Mathematics Education Commons Anderson, Anna, "Archimedean Solids" (2008). MAT Exam Expository Papers. 4. https://digitalcommons.unl.edu/mathmidexppap/4 This Article is brought to you for free and open access by the Math in the Middle Institute Partnership at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in MAT Exam Expository Papers by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. Archimedean Solids Anna Anderson In partial fulfillment of the requirements for the Master of Arts in Teaching with a Specialization in the Teaching of Middle Level Mathematics in the Department of Mathematics. Jim Lewis, Advisor July 2008 2 Archimedean Solids A polygon is a simple, closed, planar figure with sides formed by joining line segments, where each line segment intersects exactly two others. If all of the sides have the same length and all of the angles are congruent, the polygon is called regular. The sum of the angles of a regular polygon with n sides, where n is 3 or more, is 180° x (n – 2) degrees. If a regular polygon were connected with other regular polygons in three dimensional space, a polyhedron could be created. In geometry, a polyhedron is a three- dimensional solid which consists of a collection of polygons joined at their edges. The word polyhedron is derived from the Greek word poly (many) and the Indo-European term hedron (seat).
[Show full text]
Arxiv:1705.01294V1
Branes and Polytopes Luca Romano email address: [email protected] ABSTRACT We investigate the hierarchies of half-supersymmetric branes in maximal supergravity theories. By studying the action of the Weyl group of the U-duality group of maximal supergravities we discover a set of universal algebraic rules describing the number of independent 1/2-BPS p-branes, rank by rank, in any dimension. We show that these relations describe the symmetries of certain families of uniform polytopes. This induces a correspondence between half-supersymmetric branes and vertices of opportune uniform polytopes. We show that half-supersymmetric 0-, 1- and 2-branes are in correspondence with the vertices of the k21, 2k1 and 1k2 families of uniform polytopes, respectively, while 3-branes correspond to the vertices of the rectiﬁed version of the 2k1 family. For 4-branes and higher rank solutions we ﬁnd a general behavior. The interpretation of half- supersymmetric solutions as vertices of uniform polytopes reveals some intriguing aspects. One of the most relevant is a triality relation between 0-, 1- and 2-branes. arXiv:1705.01294v1 [hep-th] 3 May 2017 Contents Introduction 2 1 Coxeter Group and Weyl Group 3 1.1 WeylGroup........................................ 6 2 Branes in E11 7 3 Algebraic Structures Behind Half-Supersymmetric Branes 12 4 Branes ad Polytopes 15 Conclusions 27 A Polytopes 30 B Petrie Polygons 30 1 Introduction Since their discovery branes gained a prominent role in the analysis of M-theories and du- alities [1]. One of the most important class of branes consists in Dirichlet branes, or D-branes. D-branes appear in string theory as boundary terms for open strings with mixed Dirichlet-Neumann boundary conditions and, due to their tension, scaling with a negative power of the string cou- pling constant, they are non-perturbative objects [2].
[Show full text]
The Crystal Forms of Diamond and Their Significance
THE CRYSTAL FORMS OF DIAMOND AND THEIR SIGNIFICANCE BY SIR C. V. RAMAN AND S. RAMASESHAN (From the Department of Physics, Indian Institute of Science, Bangalore) Received for publication, June 4, 1946 CONTENTS 1. Introductory Statement. 2. General Descriptive Characters. 3~ Some Theoretical Considerations. 4. Geometric Preliminaries. 5. The Configuration of the Edges. 6. The Crystal Symmetry of Diamond. 7. Classification of the Crystal Forros. 8. The Haidinger Diamond. 9. The Triangular Twins. 10. Some Descriptive Notes. 11. The Allo- tropic Modifications of Diamond. 12. Summary. References. Plates. 1. ~NTRODUCTORY STATEMENT THE" crystallography of diamond presents problems of peculiar interest and difficulty. The material as found is usually in the form of complete crystals bounded on all sides by their natural faces, but strangely enough, these faces generally exhibit a marked curvature. The diamonds found in the State of Panna in Central India, for example, are invariably of this kind. Other diamondsJas for example a group of specimens recently acquired for our studies ffom Hyderabad (Deccan)--show both plane and curved faces in combination. Even those diamonds which at first sight seem to resemble the standard forms of geometric crystallography, such as the rhombic dodeca- hedron or the octahedron, are found on scrutiny to exhibit features which preclude such an identification. This is the case, for example, witb. the South African diamonds presented to us for the purpose of these studŸ by the De Beers Mining Corporation of Kimberley. From these facts it is evident that the crystallography of diamond stands in a class by itself apart from that of other substances and needs to be approached from a distinctive stand- point.
[Show full text]
15 BASIC PROPERTIES of CONVEX POLYTOPES Martin Henk, JÜrgenrichter-Gebert, and GÜnterm
15 BASIC PROPERTIES OF CONVEX POLYTOPES Martin Henk, JürgenRichter-Gebert, and GünterM. Ziegler INTRODUCTION Convex polytopes are fundamental geometric objects that have been investigated since antiquity. The beauty of their theory is nowadays complemented by their im- portance for many other mathematical subjects, ranging from integration theory, algebraic topology, and algebraic geometry to linear and combinatorial optimiza- tion. In this chapter we try to give a short introduction, provide a sketch of \what polytopes look like" and \how they behave," with many explicit examples, and briefly state some main results (where further details are given in subsequent chap- ters of this Handbook). We concentrate on two main topics: • Combinatorial properties: faces (vertices, edges, . , facets) of polytopes and their relations, with special treatments of the classes of low-dimensional poly- topes and of polytopes \with few vertices;" • Geometric properties: volume and surface area, mixed volumes, and quer- massintegrals, including explicit formulas for the cases of the regular simplices, cubes, and cross-polytopes. We refer to Grünbaum [Grü67]for a comprehensive view of polytope theory, and to Ziegler [Zie95] respectively to Gruber [Gru07] and Schneider [Sch14] for detailed treatments of the combinatorial and of the convex geometric aspects of polytope theory. 15.1 COMBINATORIAL STRUCTURE GLOSSARY d V-polytope: The convex hull of a finite set X = fx1; : : : ; xng of points in R , n n X i X P = conv(X) := λix λ1; : : : ; λn ≥ 0; λi = 1 : i=1 i=1 H-polytope: The solution set of a finite system of linear inequalities, d T P = P (A; b) := x 2 R j ai x ≤ bi for 1 ≤ i ≤ m ; with the extra condition that the set of solutions is bounded, that is, such that m×d there is a constant N such that jjxjj ≤ N holds for all x 2 P .
[Show full text]
What Is a Polyhedron?
3. POLYHEDRA, GRAPHS AND SURFACES 3.1. From Polyhedra to Graphs What is a Polyhedron? Now that we’ve covered lots of geometry in two dimensions, let’s make things just a little more difﬁcult. We’re going to consider geometric objects in three dimensions which can be made from two-dimensional pieces. For example, you can take six squares all the same size and glue them together to produce the shape which we call a cube. More generally, if you take a bunch of polygons and glue them together so that no side gets left unglued, then the resulting object is usually called a polyhedron.1 The corners of the polygons are called vertices, the sides of the polygons are called edges and the polygons themselves are called faces. So, for example, the cube has 8 vertices, 12 edges and 6 faces. Different people seem to deﬁne polyhedra in very slightly different ways. For our purposes, we will need to add one little extra condition — that the volume bound by a polyhedron “has no holes”. For example, consider the shape obtained by drilling a square hole straight through the centre of a cube. Even though the surface of such a shape can be constructed by gluing together polygons, we don’t consider this shape to be a polyhedron, because of the hole. We say that a polyhedron is convex if, for each plane which lies along a face, the polyhedron lies on one side of that plane. So, for example, the cube is a convex polyhedron while the more complicated spec- imen of a polyhedron pictured on the right is certainly not convex.
[Show full text]
Frequently Asked Questions in Polyhedral Computation
Frequently Asked Questions in Polyhedral Computation http://www.ifor.math.ethz.ch/~fukuda/polyfaq/polyfaq.html Komei Fukuda Swiss Federal Institute of Technology Lausanne and Zurich, Switzerland [email protected] Version June 18, 2004 Contents 1 What is Polyhedral Computation FAQ? 2 2 Convex Polyhedron 3 2.1 What is convex polytope/polyhedron? . 3 2.2 What are the faces of a convex polytope/polyhedron? . 3 2.3 What is the face lattice of a convex polytope . 4 2.4 What is a dual of a convex polytope? . 4 2.5 What is simplex? . 4 2.6 What is cube/hypercube/cross polytope? . 5 2.7 What is simple/simplicial polytope? . 5 2.8 What is 0-1 polytope? . 5 2.9 What is the best upper bound of the numbers of k-dimensional faces of a d- polytope with n vertices? . 5 2.10 What is convex hull? What is the convex hull problem? . 6 2.11 What is the Minkowski-Weyl theorem for convex polyhedra? . 6 2.12 What is the vertex enumeration problem, and what is the facet enumeration problem? . 7 1 2.13 How can one enumerate all faces of a convex polyhedron? . 7 2.14 What computer models are appropriate for the polyhedral computation? . 8 2.15 How do we measure the complexity of a convex hull algorithm? . 8 2.16 How many facets does the average polytope with n vertices in Rd have? . 9 2.17 How many facets can a 0-1 polytope with n vertices in Rd have? . 10 2.18 How hard is it to verify that an H-polyhedron PH and a V-polyhedron PV are equal? .
[Show full text]
Certain Cube Puzzles 1
UNITED STATES INTERNATIONAL TRADE COMMISSION COMMISSIONERS Alfred E. Eckes, Chairman Paula Stern Veronica A. Haggart Kenneth R. Mason, Secretary to the Commission Address all communications to Office of the Secretary United States International Trade Commission Washington, D.C. 20436 UNITED STATES INTEPWATIONAt TRADE COMMTSSIOV Washington, D.C. 20436 In the Matter of i 1 Investi pat i on Po 337-TA-11? CERTAIN CUBE PUZZLES 1 -u__ 1 COMMISSION ACTION ABJD ORDEP Introc'uctfon The United States International Trade Commission h~sconcl~~~~~+ it6 /I9 investigation under section 337 of the Tariff Art of 3'1.30 !ImS*C* e 1?37), of alleged unfair methods of competition and unfaJr acts :n the unailthor4~eCI importation of certain cube piizzles into the United Stntesg or in Lhe3r sale by the owner, importer, consipnee, or aeent of either, the alleged pffprt n~" tendency of which is to destroy or substantially Jnjrire an industry, efficiently and economically operated, ?n the United States" The ~O~~F?+W'S investigation concerned allegations of (1) infrinpevrt rf common-law trademarks of complainant Ideal Toy COX^., (2) false reprwmtPtfon by copytnp complainant's trade dress, and (3) pass?ng off of yrSpnndents' CI:'~Ppuwies as those of complainant. This Action and Order provjeea for the final dispositfon of Tt No. 337-TA-112 by the Commission. fc: based upon the Cnmissioa'~ determination (Commissioner Stern dlscortjng), macle in pnblic sessfin at t).~ P Commission meeting of Dscemher 15, 1982, thnt there I- violatfon of s~~ltforl 337. 2 Action Having reviewed the record compiled and information developed in this investigation, including (1) the submissions filed by the parties, (2) the transcript of the evidentiary hearing before the AW and the exhibits which were accepted into evidence, (3) the Am's recommended determination, and (4) the arguments and presentations made by the parties and witnesses at the Commission's public hearing on November 18, 1982, the Commisson on December 15, 1982, determined (Commissioner Stern dissenting) that- 1.
[Show full text]
Bridges Conference Proceedings Guidelines Word
Bridges 2019 Conference Proceedings Helixation Rinus Roelofs Lansinkweg 28, Hengelo, the Netherlands; [email protected] Abstract In the list of names of the regular and semi-regular polyhedra we find many names that refer to a process. Examples are ‘truncated’ cube and ‘stellated’ dodecahedron. And Luca Pacioli named some of his polyhedral objects ‘elevations’. This kind of name-giving makes it easier to understand these polyhedra. We can imagine the model as a result of a transformation. And nowadays we are able to visualize this process by using the technique of animation. Here I will to introduce ‘helixation’ as a process to get a better understanding of the Poinsot polyhedra. In this paper I will limit myself to uniform polyhedra. Introduction Most of the Archimedean solids can be derived by cutting away parts of a Platonic solid. This operation , with which we can generate most of the semi-regular solids, is called truncation. Figure 1: Truncation of the cube. We can truncate the vertices of a polyhedron until the original faces of the polyhedron become regular again. In Figure 1 this process is shown starting with a cube. In the third object in the row, the vertices are truncated in such a way that the square faces of the cube are transformed to regular octagons. The resulting object is the Archimedean solid, the truncated cube. We can continue the process until we reach the fifth object in the row, which again is an Archimedean solid, the cuboctahedron. The whole process or can be represented as an animation. Also elevation and stellation can be described as processes.
[Show full text]
Dodecahedron
Dodecahedron Figure 1 Regular Dodecahedron vertex labeling using “120 Polyhedron” vertex labels. COPYRIGHT 2007, Robert W. Gray Page 1 of 9 Encyclopedia Polyhedra: Last Revision: July 8, 2007 DODECAHEDRON Topology: Vertices = 20 Edges = 30 Faces = 12 pentagons Lengths: 15+ ϕ = 1.618 033 989 2 EL ≡ Edge length of regular Dodecahedron. 43ϕ + FA = EL 1.538 841 769 EL ≡ Face altitude. 2 ϕ DFV = EL ≅ 0.850 650 808 EL 5 15+ 20 ϕ DFE = EL ≅ 0.688 190 960 EL 10 3 DVV = ϕ EL ≅ 1.401 258 538 EL 2 1 DVE = ϕ 2 EL ≅ 1.309 016 994 EL 2 711+ ϕ DVF = EL ≅ 1.113 516 364 EL 20 COPYRIGHT 2007, Robert W. Gray Page 2 of 9 Encyclopedia Polyhedra: Last Revision: July 8, 2007 DODECAHEDRON Areas: 15+ 20 ϕ 2 2 Area of one pentagonal face = EL ≅ 1.720 477 401 EL 4 2 2 Total face area = 31520+ ϕ EL ≅ 20.645 728 807 EL Volume: 47+ ϕ 3 3 Cubic measure volume equation = EL ≅ 7.663 118 961 EL 2 38( + 14ϕ) 3 3 Synergetics' Tetra-volume equation = EL ≅ 65.023 720 585 EL 2 Angles: Face Angles: All face angles are 108°. Sum of face angles = 6480° Central Angles: ⎛⎞35− All central angles are = 2arcsin ⎜⎟ ≅ 41.810 314 896° ⎜⎟6 ⎝⎠ Dihedral Angles: ⎛⎞2 ϕ 2 All dihedral angles are = 2arcsin ⎜⎟ ≅ 116.565 051 177° ⎝⎠43ϕ + COPYRIGHT 2007, Robert W. Gray Page 3 of 9 Encyclopedia Polyhedra: Last Revision: July 8, 2007 DODECAHEDRON Additional Angle Information: Note that Central Angle(Dodecahedron) + Dihedral Angle(Icosahedron) = 180° Central Angle(Icosahedron) + Dihedral Angle(Dodecahedron) = 180° which is the case for dual polyhedra.
[Show full text]
Arxiv:2105.14305V1 [Cs.CG] 29 May 2021
Efficient Folding Algorithms for Regular Polyhedra ∗ Tonan Kamata1 Akira Kadoguchi2 Takashi Horiyama3 Ryuhei Uehara1 1 School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan fkamata,[email protected] 2 Intelligent Vision & Image Systems (IVIS), Tokyo, Japan [email protected] 3 Faculty of Information Science and Technology, Hokkaido University, Hokkaido, Japan [email protected] Abstract We investigate the folding problem that asks if a polygon P can be folded to a polyhedron Q for given P and Q. Recently, an efficient algorithm for this problem has been developed when Q is a box. We extend this idea to regular polyhedra, also known as Platonic solids. The basic idea of our algorithms is common, which is called stamping. However, the computational complexities of them are different depending on their geometric properties. We developed four algorithms for the problem as follows. (1) An algorithm for a regular tetrahedron, which can be extended to a tetramonohedron. (2) An algorithm for a regular hexahedron (or a cube), which is much efficient than the previously known one. (3) An algorithm for a general deltahedron, which contains the cases that Q is a regular octahedron or a regular icosahedron. (4) An algorithm for a regular dodecahedron. Combining these algorithms, we can conclude that the folding problem can be solved pseudo-polynomial time when Q is a regular polyhedron and other related solid. Keywords: Computational origami folding problem pseudo-polynomial time algorithm regular poly- hedron (Platonic solids) stamping 1 Introduction In 1525, the German painter Albrecht Dürerpublished his masterwork on geometry [5], whose title translates as \On Teaching Measurement with a Compass and Straightedge for lines, planes, and whole bodies." In the book, he presented each polyhedron by drawing a net, which is an unfolding of the surface of the polyhedron to a planar layout without overlapping by cutting along its edges.
[Show full text]
Convex Polytopes and Tilings with Few Flag Orbits
Convex Polytopes and Tilings with Few Flag Orbits by Nicholas Matteo B.A. in Mathematics, Miami University M.A. in Mathematics, Miami University A dissertation submitted to The Faculty of the College of Science of Northeastern University in partial fulfillment of the requirements for the degree of Doctor of Philosophy April 14, 2015 Dissertation directed by Egon Schulte Professor of Mathematics Abstract of Dissertation The amount of symmetry possessed by a convex polytope, or a tiling by convex polytopes, is reflected by the number of orbits of its flags under the action of the Euclidean isometries preserving the polytope. The convex polytopes with only one flag orbit have been classified since the work of Schläfli in the 19th century. In this dissertation, convex polytopes with up to three flag orbits are classified. Two-orbit convex polytopes exist only in two or three dimensions, and the only ones whose combinatorial automorphism group is also two-orbit are the cuboctahedron, the icosidodecahedron, the rhombic dodecahedron, and the rhombic triacontahedron. Two-orbit face-to-face tilings by convex polytopes exist on E1, E2, and E3; the only ones which are also combinatorially two-orbit are the trihexagonal plane tiling, the rhombille plane tiling, the tetrahedral-octahedral honeycomb, and the rhombic dodecahedral honeycomb. Moreover, any combinatorially two-orbit convex polytope or tiling is isomorphic to one on the above list. Three-orbit convex polytopes exist in two through eight dimensions. There are infinitely many in three dimensions, including prisms over regular polygons, truncated Platonic solids, and their dual bipyramids and Kleetopes. There are infinitely many in four dimensions, comprising the rectified regular 4-polytopes, the p; p-duoprisms, the bitruncated 4-simplex, the bitruncated 24-cell, and their duals.
[Show full text]
Arxiv:1705.00100V1 [Math.HO] 28 Apr 2017 We Can Get an Elbow That Is 22.5 Degrees (Which Is Half of 45 Degrees)
PVC Polyhedra David Glickenstein∗ University of Arizona, Tucson, AZ 85721 May 2, 2017 Abstract We describe how to construct a dodecahedron, tetrahedron, cube, and octahedron out of pvc pipes using standard ﬁttings. 1 Introduction I wanted to build a huge dodecahedron for a museum exhibit. What better way to draw interest than a huge structure that you can walk around and through? The question was how to fabricate such an object? The dodecahedron is a fairly simple solid, made up of edges meeting in threes at certain angles that form pentagon faces. We could have them 3D printed. But could we do this with “oﬀ-the-shelf" parts? The answer is yes, as seen in Figure 1. The key fact to consider is that each vertex corner consists of three edges coming together in a fairly symmetric way. Therefore, we can take a connector with three pipe inputs and make the corner a graph over it. In particular, if we take a connector that takes three pipes each at 120 degree angles from the others (this is called a \true wye") and we take elbows of the appropriate angle, we can make the edges come together below the center at exactly the correct angles. 2 What is the correct elbow angle? Suppose the wye has three length 1 pipes connected to it and the actual vertex v is below the vertexpvW of the wye. Let X and Y be the endpoints of two of the wye segments. Then the segment XY is of length 3 since it is opposite a 120 degree angle in the triangle XY vW : We know that the angle XvY at vertex v has the angle of a regular pentagon, which is 108 degrees.
[Show full text]