DOCSLIB.ORG

Chapter 2: the Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter 2: the Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence1 / 12 Statements Definition A statement (or proposition) is a sentence (or assertion) that is true or false but not both. We typically use letters like p, q to denote propositions. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence2 / 12 Food for thought Am I saying the truth in the following statement? \I am lying now." Examples Examples 1 Washington, DC, is the capital of United States. 2 Annapolis is the capital of United States. 3 It is snowing. 4 I made a mistake in signing up for this course. 5 1 + 1 = 2 All these statements are simple statements. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence3 / 12 Examples Examples 1 Washington, DC, is the capital of United States. 2 Annapolis is the capital of United States. 3 It is snowing. 4 I made a mistake in signing up for this course. 5 1 + 1 = 2 All these statements are simple statements. Food for thought Am I saying the truth in the following statement? \I am lying now." Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence3 / 12 Compound Statements Definition A combination of two or more simple statements is a compound statement. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence4 / 12 Examples Examples 1 Washington, DC, is the capital of United States and it is snowing. 2 Washington, DC, is the capital of United States or it is snowing. 3 It is not snowing. 4 I did not make a mistake in signing up for this course or 1 + 1 6= 2. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence5 / 12 Examples 1 p: \It is snowing". Then ∼ p: \It is not snowing" 2 q: 1 + 1 = 2. Then ∼ q: 1 + 1 6= 2. The negation symbol Definition The symbol ∼ denotes not. Given a statement p, the sentence ∼ p is read not p. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence6 / 12 The negation symbol Definition The symbol ∼ denotes not. Given a statement p, the sentence ∼ p is read not p. Examples 1 p: \It is snowing". Then ∼ p: \It is not snowing" 2 q: 1 + 1 = 2. Then ∼ q: 1 + 1 6= 2. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence6 / 12 The or and and symbols Definition Let p and q be two statements. 1 The conjunction of p and q is p ^ q and is read \p and q" 2 The disjunction of p and q is p _ q and is read \p or q" Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence7 / 12 Example Example (Kemeny, Shell, Thompson) Let p: \Fred likes George" and q: George likes Fred. Write the following statements in symbolic form: 1 Fred and George like each other. 2 Fred and George dislike each other. 3 Fred likes George, but George does not reciprocate. 4 George is liked by Fred, but Fred is disliked by George. 5 Neither Fred nor George dislike each other. 6 It is not true that Fred and George dislike each other. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence8 / 12 A very convenient way of tabulating this dependency is by means of a truth table. Truth Tables Fact The truth value of a compound statement is determined by the truth value of its component. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence9 / 12 Truth Tables Fact The truth value of a compound statement is determined by the truth value of its component. A very convenient way of tabulating this dependency is by means of a truth table. Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence9 / 12 T Truth table for ∼ p Definition The truth table for negation is: p ∼ p T F F Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence10 / 12 Truth table for ∼ p Definition The truth table for negation is: p ∼ p T F F T Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence10 / 12 T TF F FT F FF F Truth table for conjunction Definition The truth table for conjunction is: p q p ^ q TT Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence11 / 12 F FT F FF F Truth table for conjunction Definition The truth table for conjunction is: p q p ^ q TT T TF Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence11 / 12 F FF F Truth table for conjunction Definition The truth table for conjunction is: p q p ^ q TT T TF F FT Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence11 / 12 F Truth table for conjunction Definition The truth table for conjunction is: p q p ^ q TT T TF F FT F FF Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence11 / 12 Truth table for conjunction Definition The truth table for conjunction is: p q p ^ q TT T TF F FT F FF F Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence11 / 12 T TF T FT T FF F Truth table for disjunction Definition The truth table for disjunction is: p q p _ q TT Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence12 / 12 T FT T FF F Truth table for disjunction Definition The truth table for disjunction is: p q p _ q TT T TF Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence12 / 12 T FF F Truth table for disjunction Definition The truth table for disjunction is: p q p _ q TT T TF T FT Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence12 / 12 F Truth table for disjunction Definition The truth table for disjunction is: p q p _ q TT T TF T FT T FF Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence12 / 12 Truth table for disjunction Definition The truth table for disjunction is: p q p _ q TT T TF T FT T FF F Chapter 2: The Logic of Compound Statements 2.1: Logical Forms and Logical Equivalence12 / 12.
Load more

Recommended publications
  • Logic in Action: Wittgenstein's Logical Pragmatism and the Impotence of Scepticism
    This is the final, pre-publication draft. Please cite only from published paper in Philosophical Investigations 26:2 (April 2003), 125-48. LOGIC IN ACTION: WITTGENSTEIN'S LOGICAL PRAGMATISM AND THE IMPOTENCE OF SCEPTICISM DANIÈLE MOYAL-SHARROCK UNIVERSITY OF GENEVA 1. The Many Faces of Certainty: Wittgenstein's Logical Pragmatism So I am trying to say something that sounds like pragmatism. (OC 422) In his struggle to uncover the nature of our basic beliefs, Wittgenstein depicts them variously in On Certainty: he thinks of them in propositional terms, in pictorial terms and in terms of acting. As propositions, they would be of a peculiar sort – a hybrid between a logical and an empirical proposition (OC 136, 309). These are the so-called 'hinge propositions' of On Certainty (OC 341). Wittgenstein also thinks of these beliefs as forming a picture, a World-picture – or Weltbild (OC 167). This is a step in the right (nonpropositional) direction, but not the ultimate step. Wittgenstein's ultimate and crucial depiction of our basic beliefs is in terms of a know-how, an attitude, a way of acting (OC 204). Here, he treads on pragmatist ground. But can Wittgenstein be labelled a pragmatist, having himself rejected the affiliation because of its utility implication? But you aren't a pragmatist? No. For I am not saying that a proposition is true if it is useful. (RPP I, 266) Wittgenstein resists affiliation with pragmatism because he does not want his use of use to be confused with the utility use of use. For him, it is not that a proposition is true if it is useful, but that use gives the proposition its sense.
    [Show full text]
  • Chapter 18 Negation
    Chapter 18 Negation Jong-Bok Kim Kyung Hee University, Seoul Each language has a way to express (sentential) negation that reverses the truth value of a certain sentence, but employs language-particular expressions and gram- matical strategies. There are four main types of negatives in expressing sentential negation: the adverbial negative, the morphological negative, the negative auxil- iary verb, and the preverbal negative. This chapter discusses HPSG analyses for these four strategies in marking sentential negation. 1 Modes of expressing negation There are four main types of negative markers in expressing negation in lan- guages: the morphological negative, the negative auxiliary verb, the adverbial negative, and the clitic-like preverbal negative (see Dahl 1979; Payne 1985; Zanut- tini 2001; Dryer 2005).1 Each of these types is illustrated in the following: (1) a. Ali elmalar-i ser-me-di-;. (Turkish) Ali apples-ACC like-NEG-PST-3SG ‘Ali didn’t like apples.’ b. sensayng-nim-i o-ci anh-usi-ess-ta. (Korean) teacher-HON-NOM come-CONN NEG-HON-PST-DECL ‘The teacher didn’t come.’ c. Dominique (n’) écrivait pas de lettre. (French) Dominique NEG wrote NEG of letter ‘Dominique did not write a letter.’ 1The term negator or negative marker is a cover term for any linguistic expression functioning as sentential negation. Jong-Bok Kim. 2021. Negation. In Stefan Müller, Anne Abeillé, Robert D. Borsley & Jean- Pierre Koenig (eds.), Head-Driven Phrase Structure Grammar: The handbook. Prepublished version. Berlin: Language Science Press. [Pre- liminary page numbering] Jong-Bok Kim d. Gianni non legge articoli di sintassi. (Italian) Gianni NEG reads articles of syntax ‘Gianni doesn’t read syntax articles.’ As shown in (1a), languages like Turkish have typical examples of morphological negatives where negation is expressed by an inflectional category realized on the verb by affixation.
    [Show full text]
  • Logic Model Workbook
    Logic Model Workbook INNOVATION NETWORK, INC. www.innonet.org • [email protected] Logic Model Workbook Table of Contents Page Introduction - How to Use this Workbook .....................................................................2 Before You Begin .................................................................................................................3 Developing a Logic Model .................................................................................................4 Purposes of a Logic Model ............................................................................................... 5 The Logic Model’s Role in Evaluation ............................................................................ 6 Logic Model Components – Step by Step ....................................................................... 6 Problem Statement: What problem does your program address? ......................... 6 Goal: What is the overall purpose of your program? .............................................. 7 Rationale and Assumptions: What are some implicit underlying dynamics? ....8 Resources: What do you have to work with? ......................................................... 9 Activities: What will you do with your resources? ................................................ 11 Outputs: What are the tangible products of your activities? ................................. 13 Outcomes: What changes do you expect to occur as a result of your work?.......... 14 Outcomes Chain ......................................................................................
    [Show full text]
  • Introduction to Philosophy. Social Studies--Language Arts: 6414.16. INSTITUTION Dade County Public Schools, Miami, Fla
    DOCUMENT RESUME ED 086 604 SO 006 822 AUTHOR Norris, Jack A., Jr. TITLE Introduction to Philosophy. Social Studies--Language Arts: 6414.16. INSTITUTION Dade County Public Schools, Miami, Fla. PUB DATE 72 NOTE 20p.; Authorized Course of Instruction for the Quinmester Program EDRS PRICE MF-$0.65 HC-$3.29 DESCRIPTORS Course Objectives; Curriculum Guides; Grade 10; Grade 11; Grade 12; *Language Arts; Learnin4 Activities; *Logic; Non Western Civilization; *Philosophy; Resource Guides; Secondary Grades; *Social Studies; *Social Studies Units; Western Civilization IDENTIFIERS *Quinmester Program ABSTRACT Western and non - western philosophers and their ideas are introduced to 10th through 12th grade students in this general social studies Quinmester course designed to be used as a preparation for in-depth study of the various schools of philosophical thought. By acquainting students with the questions and categories of philosophy, a point of departure for further study is developed. Through suggested learning activities the meaning of philosopky is defined. The Socratic, deductive, inductive, intuitive and eclectic approaches to philosophical thought are examined, as are three general areas of philosophy, metaphysics, epistemology,and axiology. Logical reasoning is applied to major philosophical questions. This course is arranged, as are other quinmester courses, with sections on broad goals, course content, activities, and materials. A related document is ED 071 937.(KSM) FILMED FROM BEST AVAILABLE COPY U S DEPARTMENT EDUCATION OF HEALTH. NAT10N41
    [Show full text]
  • Truth-Bearers and Truth Value*
    Truth-Bearers and Truth Value* I. Introduction The purpose of this document is to explain the following concepts and the relationships between them: statements, propositions, and truth value. In what follows each of these will be discussed in turn. II. Language and Truth-Bearers A. Statements 1. Introduction For present purposes, we will define the term “statement” as follows. Statement: A meaningful declarative sentence.1 It is useful to make sure that the definition of “statement” is clearly understood. 2. Sentences in General To begin with, a statement is a kind of sentence. Obviously, not every string of words is a sentence. Consider: “John store.” Here we have two nouns with a period after them—there is no verb. Grammatically, this is not a sentence—it is just a collection of words with a dot after them. Consider: “If I went to the store.” This isn’t a sentence either. “I went to the store.” is a sentence. However, using the word “if” transforms this string of words into a mere clause that requires another clause to complete it. For example, the following is a sentence: “If I went to the store, I would buy milk.” This issue is not merely one of conforming to arbitrary rules. Remember, a grammatically correct sentence expresses a complete thought.2 The construction “If I went to the store.” does not do this. One wants to By Dr. Robert Tierney. This document is being used by Dr. Tierney for teaching purposes and is not intended for use or publication in any other manner. 1 More precisely, a statement is a meaningful declarative sentence-type.
    [Show full text]
  • A Symmetric Lambda-Calculus Corresponding to the Negation
    A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction Tatsuya Abe Software Technology and Artificial Intelligence Research Laboratory, Chiba Institute of Technology, 2-17-1 Tsudanuma, Narashino, Chiba, 275-0016, Japan [email protected] Daisuke Kimura Department of Information Science, Toho University, 2-2-1 Miyama, Funabashi, Chiba, 274-8510, Japan [email protected] Abstract Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive operators. That is, the duality of functions is not derived in the calculus but adopted as a principle of the calculus. In this paper, we propose a simple symmetric lambda-calculus corresponding to the negation-free natural deduction based bilateralism in proof-theoretic semantics. In our calculus, continuation types are represented as not negations of formulae but formulae with negative polarity. Function types are represented as the implication and but-not connectives in intuitionistic and paraconsistent logics, respectively. Our calculus is not only simple but also powerful as it includes a call-value calculus corresponding to the call-by-value dual calculus invented by Wadler. We show that mutual transformations between expressions and continuations are definable in our calculus to justify the duality of functions. We also show that every typable function has dual types. Thus, the duality of function is derived from bilateralism. 2012 ACM Subject Classification Theory of computation → Logic; Theory of computation → Type theory Keywords and phrases symmetric lambda-calculus, formulae-as-types, duality, bilateralism, natural deduction, proof-theoretic semantics, but-not connective, continuation, call-by-value Acknowledgements The author thanks Yosuke Fukuda, Tasuku Hiraishi, Kentaro Kikuchi, and Takeshi Tsukada for the fruitful discussions, which clarified contributions of the present paper.
    [Show full text]
  • Journal of Linguistics Negation, 'Presupposition'
    Journal of Linguistics http://journals.cambridge.org/LIN Additional services for Journal of Linguistics: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click here Terms of use : Click here Negation, ‘presupposition’ and the semantics/pragmatics distinction ROBYN CARSTON Journal of Linguistics / Volume 34 / Issue 02 / September 1998, pp 309 ­ 350 DOI: null, Published online: 08 September 2000 Link to this article: http://journals.cambridge.org/abstract_S0022226798007063 How to cite this article: ROBYN CARSTON (1998). Negation, ‘presupposition’ and the semantics/pragmatics distinction. Journal of Linguistics, 34, pp 309­350 Request Permissions : Click here Downloaded from http://journals.cambridge.org/LIN, IP address: 144.82.107.34 on 12 Oct 2012 J. Linguistics (), –. Printed in the United Kingdom # Cambridge University Press Negation, ‘presupposition’ and the semantics/pragmatics distinction1 ROBYN CARSTON Department of Phonetics and Linguistics, University College London (Received February ; revised April ) A cognitive pragmatic approach is taken to some long-standing problem cases of negation, the so-called presupposition denial cases. It is argued that a full account of the processes and levels of representation involved in their interpretation typically requires the sequential pragmatic derivation of two different propositions expressed. The first is one in which the presupposition is preserved and, following the rejection of this, the second involves the echoic (metalinguistic) use of material falling in the scope of the negation. The semantic base for these processes is the standard anti- presuppositionalist wide-scope negation. A different view, developed by Burton- Roberts (a, b), takes presupposition to be a semantic relation encoded in natural language and so argues for a negation operator that does not cancel presuppositions.
    [Show full text]
  • Rhetorical Analysis
    RHETORICAL ANALYSIS PURPOSE Almost every text makes an argument. Rhetorical analysis is the process of evaluating elements of a text and determining how those elements impact the success or failure of that argument. Often rhetorical analyses address written arguments, but visual, oral, or other kinds of “texts” can also be analyzed. RHETORICAL FEATURES – WHAT TO ANALYZE Asking the right questions about how a text is constructed will help you determine the focus of your rhetorical analysis. A good rhetorical analysis does not try to address every element of a text; discuss just those aspects with the greatest [positive or negative] impact on the text’s effectiveness. THE RHETORICAL SITUATION Remember that no text exists in a vacuum. The rhetorical situation of a text refers to the context in which it is written and read, the audience to whom it is directed, and the purpose of the writer. THE RHETORICAL APPEALS A writer makes many strategic decisions when attempting to persuade an audience. Considering the following rhetorical appeals will help you understand some of these strategies and their effect on an argument. Generally, writers should incorporate a variety of different rhetorical appeals rather than relying on only one kind. Ethos (appeal to the writer’s credibility) What is the writer’s purpose (to argue, explain, teach, defend, call to action, etc.)? Do you trust the writer? Why? Is the writer an authority on the subject? What credentials does the writer have? Does the writer address other viewpoints? How does the writer’s word choice or tone affect how you view the writer? Pathos (a ppeal to emotion or to an audience’s values or beliefs) Who is the target audience for the argument? How is the writer trying to make the audience feel (i.e., sad, happy, angry, guilty)? Is the writer making any assumptions about the background, knowledge, values, etc.
    [Show full text]
  • Expressing Negation
    Expressing Negation William A. Ladusaw University of California, Santa Cruz Introduction* My focus in this paper is the syntax-semantics interface for the interpretation of negation in languages which show negative concord, as illustrated in the sentences in (1)-(4). (1) Nobody said nothing to nobody. [NS English] ‘Nobody said anything to anyone.’ (2) Maria didn’t say nothing to nobody. [NS English] ‘Maria didn’t say anything to anyone.’ (3) Mario non ha parlato di niente con nessuno. [Italian] ‘Mario hasn’t spoken with anyone about anything.’ (4) No m’ha telefonat ningú. [Catalan] ‘Nobody has telephoned me.’ Negative concord (NC) is the indication at multiple points in a clause of the fact that the clause is to be interpreted as semantically negated. In a widely spoken and even more widely understood nonstandard dialect of English, sentences (1) and (2) are interpreted as synonymous with those given as glosses, which are also well-formed in the dialect. The examples in (3) from Italian and (4) from Catalan illustrate the same phenomenon. The occurrence in these sentences of two or three different words, any one of which when correctly positioned would be sufficient to negate a clause, does not guarantee that their interpretation involves two or three independent expressions of negation. These clauses express only one negation, which is, on one view, simply redundantly indicated in two or three different places; each of the italicized terms in these sentences might be seen as having an equal claim to the function of expressing negation. However closer inspection indicates that this is not the correct view.
    [Show full text]
  • A Survey of Indian Logic from the Point of View of Computer Science
    Sadhana, "Col. 19, Part 6, December 1994, pp 971-983. © Printed in India A survey of Indian logic from the point of view of computer science V V S SARMA Department of Computer Science & Automation, Indian Institute of Science, Bangalore 560012, India Abstract. Indian logic has a long history. It somewhat covers the domains of two of the six schools (darsanas) of Indian philosophy, namely, Nyaya and Vaisesika. The generally accepted definition of In- dian logic over the ages is the science which ascertains valid knowledge either by means of six senses or by means of the five members of the syllogism. In other words, perception and inference constitute the sub- ject matter of logic. The science of logic evolved in India through three ~ges: the ancient, the medieval and the modern, spanning almost thirty centuries. Advances in Computer Science, in particular, in Artificial Intelligence have got researchers in these areas interested in the basic problems of language, logic and cognition in the past three decades. In the 1980s, Artificial Intelligence has evolved into knowledge-based and intelligent system design, and the knowledge base and inference engine have become standard subsystems of an intelligent System. One of the important issues in the design of such systems is knowledge acquisition from humans who are experts in a branch of learning (such as medicine or law) and transferring that knowledge to a computing system. The second important issue in such systems is the validation of the knowl- edge base of the system i.e. ensuring that the knowledge is complete and consistent.
    [Show full text]
  • Deduction (I) Tautologies, Contradictions And
    D (I) T, & L L October , Tautologies, contradictions and contingencies Consider the truth table of the following formula: p (p ∨ p) () If you look at the final column, you will notice that the truth value of the whole formula depends on the way a truth value is assigned to p: the whole formula is true if p is true and false if p is false. Contrast the truth table of (p ∨ p) in () with the truth table of (p ∨ ¬p) below: p ¬p (p ∨ ¬p) () If you look at the final column, you will notice that the truth value of the whole formula does not depend on the way a truth value is assigned to p. The formula is always true because of the meaning of the connectives. Finally, consider the truth table table of (p ∧ ¬p): p ¬p (p ∧ ¬p) () This time the formula is always false no matter what truth value p has. Tautology A statement is called a tautology if the final column in its truth table contains only ’s. Contradiction A statement is called a contradiction if the final column in its truth table contains only ’s. Contingency A statement is called a contingency or contingent if the final column in its truth table contains both ’s and ’s. Let’s consider some examples from the book. Can you figure out which of the following sentences are tautologies, which are contradictions and which contingencies? Hint: the answer is the same for all the formulas with a single row. () a. (p ∨ ¬p), (p → p), (p → (q → p)), ¬(p ∧ ¬p) b.
    [Show full text]
  • Propositional Logic (PDF)
    Mathematics for Computer Science Proving Validity 6.042J/18.062J Instead of truth tables, The Logic of can try to prove valid formulas symbolically using Propositions axioms and deduction rules Albert R Meyer February 14, 2014 propositional logic.1 Albert R Meyer February 14, 2014 propositional logic.2 Proving Validity Algebra for Equivalence The text describes a for example, bunch of algebraic rules to the distributive law prove that propositional P AND (Q OR R) ≡ formulas are equivalent (P AND Q) OR (P AND R) Albert R Meyer February 14, 2014 propositional logic.3 Albert R Meyer February 14, 2014 propositional logic.4 1 Algebra for Equivalence Algebra for Equivalence for example, The set of rules for ≡ in DeMorgan’s law the text are complete: ≡ NOT(P AND Q) ≡ if two formulas are , these rules can prove it. NOT(P) OR NOT(Q) Albert R Meyer February 14, 2014 propositional logic.5 Albert R Meyer February 14, 2014 propositional logic.6 A Proof System A Proof System Another approach is to Lukasiewicz’ proof system is a start with some valid particularly elegant example of this idea. formulas (axioms) and deduce more valid formulas using proof rules Albert R Meyer February 14, 2014 propositional logic.7 Albert R Meyer February 14, 2014 propositional logic.8 2 A Proof System Lukasiewicz’ Proof System Lukasiewicz’ proof system is a Axioms: particularly elegant example of 1) (¬P → P) → P this idea. It covers formulas 2) P → (¬P → Q) whose only logical operators are 3) (P → Q) → ((Q → R) → (P → R)) IMPLIES (→) and NOT. The only rule: modus ponens Albert R Meyer February 14, 2014 propositional logic.9 Albert R Meyer February 14, 2014 propositional logic.10 Lukasiewicz’ Proof System Lukasiewicz’ Proof System Prove formulas by starting with Prove formulas by starting with axioms and repeatedly applying axioms and repeatedly applying the inference rule.
    [Show full text]