Mathematical Logic – Well Formed Formulas

A propositional variable is similar to any real variable you see in mathematics. For example xis a variable that can take any mathematical value. Similarly, a propositional variable, say P, can take any proposition as a value. The proposition as a value is called a propositional constant. Definition: WFFs produce a proposition.  To construct a WFF ...

Mathematical Logic – Translation

Translating English sentences into propositional forms We take an example to explain the procedure: Example: Convert the following sentence into propositional form:                 “If I earn more than 2Lac Rupees then I must file income tax return”. 1.  Identify the basic simple sentences and denote them with some variables.        In the above ...

Mathematical Logic – Predicate Calculus

Statements involving variables such as:               x > 5 i.e. “x is greater than 5” are very common in Mathematics and in computer programs. Such a statement is neither ‘false’ nor ‘true’ unless the possible value for variable x is specified and hence it is not a proposition. Predicates and quantifiers ...

Mathematical Logic – Introduction

Mathematical Logic - Introduction
What is it?? It is a foundation which gives precise meaning to mathematical statements. It is the basis on which proofs and arguments rest (well, we are not referring to those court room arguments for sure. However, even those, we believe, could be expressed in terms of Mathematical Logic).   INTRODUCTION The basic building blocks ...