logic lover's math and logic problems

Introduction - The study of logic through the use of mathematical symbols is called Mathematical Logic. Mathematical logic is also known as Symbolic Logic or Boolean Logic..

Two propositions (simple or compound) are said to be logically equivalent if they have identical truth values. If p is logically equivalent to q, we denote p q. We have already constructed the truth table of (~p) q in earlier class. Recall the same truth table. Truth Table fo..

Summary - - A sentence is a statement if it is either true or false, but not both. - The truth and falsity of a statement is its truth value. - A truth table indicates the truth values of a number of statements and their compound statements in a compact form. - If there are n statements, then there..

Logical Equivalence and Duality - Two compound propositions p and q are said to be logically equivalent, if their truth values are same for each different combinations of the truth values of the components involved in them. If p and q are logically equivalent, then it ..

Two compound propositions p and q are said to be logically equivalent, if their truth values are same for each different combinations of the truth values of the components involved in them. If p and q are logically equivalent, then it is represented by p ..

Normally propositions are joined by 'OR', 'AND', 'NOT', 'IF .. THEN..' and 'IF AND ONLY IF' called the logical connectives . They are symbolised as follows: If two or more statements are combined by the use of words like 'AND', 'OR', 'IF AND ONLY IF ', then the resulting statement is ..

Let us refer to a circuit consisting of two switches p and q connected in series with a lamp and battery as shown in figure. The lamp will glow, only if switch p and switch q are closed. If we replace the word 'closed' by T and 'open' by F, the switch will glow only if p = T and q = T. In binary..

This operation has one input and one output. Table 7 represents truth table for NOT operati..

An argument is a statement which assets that a given set of n compound statements p 1 ,p 2 ,..........p n yield another compound statement ..

The study of logic through the use of mathematical symbols is called Mathematical Logic. Mathematical logic is also known as Symbolic Logic or Boolean Logic..