11 views

Uploaded by nagarjunasagar

- Lecture 10
- Modern Technology and Preventive Ethics
- Substitutions in Propositional Logic
- GATE Discrete Mathematics & Graph Theory Book
- t037
- logic6
- Dab Lecture12
- Writing Philosophy as Poetry Literary Form in Wittgenstein
- 8.2 – Five Equivalence Rules - DICKERSOn
- Simplifying Boolean Expressions
- Philrelgn2
- Priest - Non Transitive Identity
- n1
- John Frame - Self-refutingStatements
- resolution
- The Refutation of Idealism
- Artificial Intelligence and Knowledge Representation
- AP Transco Ae-telecom q Booklet-series -A (29!01!2012)
- Criminal Justice System[Shashidthakur23.Wordpress.com]
- APTRANSCO_APGENCO Assistant Engineer AE Electrical Previous Question Papers _ Indian Shout

You are on page 1of 4

Well formed Formulas A well-formed formula (wff) is defined recursively as follows: (i) (ii) (iii) (iv) A proposition variable alone is a wff If is a wff then is a wff If and are wffs, then and are wffs. A string of symbols containing the proposition variables, connectives and parentheses is a wff if and only if it can be obtained by finitely many applications of the above rules (i), (ii) and (iii). By the above definitions the following are wffs: We use parentheses to avoid ambiguity. For the sake of convenience we shall omit the outer parentheses. Thus we write the above wffs respectively as Since we deal with only wffs, we refer wffs as formulas. The following are not formulas Note: (i) (ii) In the construction of formulas, the parentheses will be used in the same sense in which they are used in elementary algebra or some times in a programming language. The following is the hierarchy of operations and parentheses: 1. Connectives within parentheses; among parentheses innermost first 2. Negation 3. and 4. 5. Truth tables of well-formed Formulas If there are distinct variables in a formula, then we need to consider possible combinations of truth values in order to obtain the truth table of the formula. Construction of truth tables There are two methods of construction of truth tables. The first columns of the table are for the proposition variables and create enough number of rows ( rows if there are variables) in the table for all possible combinations of and for the variables. Method 1 Devote a column for each elementary stage of the construction of the formula. The truth value at each step is determined from the previous stages by the definition of connectives. Finally the truth value of the formula is given in th e last column. Method 2 Write the formula on the top row to the right of its variables. A column is draw n for each variable as well as for the connectives that appear in the formula. The truth values are entered step by step. The step numbers at the bottom of the table show the sequence followed in arriving the final step. Example 1: Construct the truth table for the formula Solution: Method- 1 Let

be . Then the given formula is . Truth table for Method- 2 Step is the final step and it gives the truth values of the given formula Tautology A wff is said to be a tautology (a universally valid formula or logical truth) i f its truth value is for all possible assignments of truth values to the proposition variables of the formula. Note: (i) (ii) If is any proposition then the formula is a tautology The conjunction of two tautologies is also a tautology The proof of the above result (ii) is given below: Let and be formulas which are tautologies. For all possible assignments of truth values to the variables of and , the truth values of both and will be and hence the truth value of will be . Thus is a tautology. Contradiction A wff is said to be a contradiction (or absurdity) if its truth value is for all possible assignments of truth values of the proposition variables of the formula . Note: (i) (ii) If is any proposition then the formula is a contradiction The negation of a contradiction is a tautology Contingency A wff is said to be satisfiable or contingency if it is neither a tautology nor a contradiction. Ex: If and are propositions then and are satisfiable (contingency). Example 2: Show that the formula is a tautology. Solution: Method-1 Let be the formula Then the given formula is and . be the formula . Truth table for It is a tautology since its truth value is for all possible assignments of truth values to the proposition variables of the formula. Method- 2 Step is the final step and it has truth values of s only. Hence the given formula is a tautology.

Example 3: Show that the formula is a contradiction. Solution: We show this by constructing truth table. Step is the final step and it has truth values of is a contradiction. only. Hence the given formula Example 4: Is the formula Solution: a tautology, contradiction or contingency? Step is the final step and it has truth values of and . Hence the given formula is neither a tautology nor a contradiction. Therefore, it is a contingency. Substitution instance Let and be formulas. We say that is a substitution instance of if can be obtained from by substituting formulas for the variables of , with the condition that the same formula is substituted for the same variable each time it occurs. Example: Let substituted for of . . Then is a substitution instance of , since is in .Note that is not a substitution instance Note: 1. In constructing substitution instances of a formula, substitutions are made f or the atomic formula and never for the molecular formula: Ex: is not a substitution instance of substituted and not . , since it is which must be 2. Any substitution instance of a tautology is a tautology It is known that is a tautology. If we substitute any formula for , the resulting formula will be a tautology. Example 5: Determine the formulas which are substitution instances of other formulas in the following list and give the substitutions. (a) (b) (c) (d) (e) Solution: (i) (ii) (iii) Substitute for and for in , we get .Therefore , is the substitution instance of Substitute for in , we get . Therefore,

is the substitution instance of Substitute and for and respectively in we get . Therefore, is the substitution instance of .

- Lecture 10Uploaded bytheresa.painter
- Modern Technology and Preventive EthicsUploaded bywww.alhassanain.org.english
- Substitutions in Propositional LogicUploaded byAbilio Junior
- GATE Discrete Mathematics & Graph Theory BookUploaded byMims12
- t037Uploaded byrbj9509
- logic6Uploaded byNick Hentoff
- Dab Lecture12Uploaded bytruthwarrior007
- Writing Philosophy as Poetry Literary Form in WittgensteinUploaded byLaura Leander Wilde
- 8.2 – Five Equivalence Rules - DICKERSOnUploaded byJakeDickerson
- Simplifying Boolean ExpressionsUploaded byRoss Sonny Cruz
- Philrelgn2Uploaded byShaun Baker
- Priest - Non Transitive IdentityUploaded byPauTei
- n1Uploaded byshogun2fire4424
- John Frame - Self-refutingStatementsUploaded byapi-3769729
- resolutionUploaded byRobert Keller
- The Refutation of IdealismUploaded byMartín Alonso
- Artificial Intelligence and Knowledge RepresentationUploaded bylipika008

- AP Transco Ae-telecom q Booklet-series -A (29!01!2012)Uploaded by9290010274
- Criminal Justice System[Shashidthakur23.Wordpress.com]Uploaded bynagarjunasagar
- APTRANSCO_APGENCO Assistant Engineer AE Electrical Previous Question Papers _ Indian ShoutUploaded byErshad Shaik
- EIKYUploaded bynagarjunasagar
- Charlie Hebdo Attack[Shashidthakur23.Wordpress.com]Uploaded bynagarjunasagar
- ComputerScienceEngineeringSamplePapers2.pdfUploaded bySwapnil Koli
- Mains TerminologyUploaded bynagarjunasagar
- Electrical Considerations for HVDC Transmission LinesUploaded byNunna Baskar
- Inspire Ias BUploaded bynagarjunasagar
- Topics to Be ReadUploaded bynagarjunasagar
- GeothermUploaded bynagarjunasagar
- Advantages of HVDC Over HVAC Transmission _ EEPUploaded bynagarjunasagar
- Convolution CodesUploaded bynagarjunasagar
- GroupIIServices.pdfUploaded byPurushotham Bharath
- MathsUploaded byHarshit Baranwal
- Report Format for Stage IIUploaded bynagarjunasagar
- Ssc Cgl Evening Shift PaperUploaded bynagarjunasagar
- BGRUploaded bynagarjunasagar
- BGRUploaded bynagarjunasagar
- UntitledUploaded bynagarjunasagar
- CivilServicesReformUploaded bySubhransu Sahoo
- cseUploaded bynagarjunasagar
- IAS Mains Electrical Engineering 2004Uploaded bynagarjunasagar
- Economy 03-Economic DevelopmentUploaded byAmit Gupta
- Indian Honour SystemUploaded bynagarjunasagar

- Fluid Mechanics Lab-I (Report)Uploaded byMohammad Usman Habib
- AS_RS APPLICATION BENEFITS AND JUSTIFICATION .pdfUploaded byamadeo_am
- Conceptual Design and Optimization of a Supersonic Business Jet SRPCUploaded byHamza Ashraf
- Grease Replenshing System for High-speed SpindlesUploaded bywessamalex
- Siemens gigaset_c200 phoneUploaded bybook-book
- الأوتوترونكسUploaded byAyman Qunaibi
- Do you Speak GoogleUploaded bySandro Silva
- maths em.pdfUploaded byAnonymous wR6Z2OS0YG
- Ch3 II CongruencesUploaded byHazel Clemente Carreon
- Deprtmentation - KoontzUploaded byAbrar Fahim Sayeef
- Engine Assembly EngUploaded bylommi68
- MoonUploaded byravikn
- GLOBAL CONSULTANT COMPANY PROFILEUploaded byglobaltiwari
- 11065482Uploaded byleo_turf
- Daftar Harga _ AnugrahPrataUploaded byagus_intifa
- szsgasoilboilerUploaded bydoly damanik
- Triangular Numbers and CombinationsUploaded byBalaji Gandhi
- chapter8_DepthSizeUploaded byCahya Agung Dwija Rosito
- Agile Nt 33611 AUploaded byDragan Lazic
- P30L Controller Manual_R1Uploaded byOscar Daniel Martinez Padron
- EstimateUploaded bygvgbabu
- Good SchollUploaded byToni Albertini
- lu2015Uploaded byAnonymous PxySJR3H
- APPLICATION OF GPS IN power system.pptxUploaded byRavinder Kumar
- Mahindra Satyam TurnaroundUploaded byMohit Manghnani
- L20. the Inverse ZT. Properties of ZTUploaded byHassan Fraz
- Managing Communication in New Product Development Process: Virtual R&D Teams and Information TechnologyUploaded byNader Ale Ebrahim
- SugaPhosUploaded bymndmatt
- Interaction Design QuizUploaded byRetna Adiba
- The Lonely and Great GodUploaded byIhsan1991 Yusoff