Propositional Logic 2


TABLE 7 The Truth Table of



Yüklə 227,03 Kb.
Pdf görüntüsü
səhifə15/18
tarix11.02.2022
ölçüsü227,03 Kb.
#114323
1   ...   10   11   12   13   14   15   16   17   18
TABLE 7

The Truth Table of

(p ∨ ¬ q) → (p ∧ q).

p

q

¬q

∨ ¬q

∧ q

(p ∨ ¬q) → (p ∧ q)

T

T



F

T

T



T

T

F



T

T

F



F

F

T



F

F

F



T

F

F



T

T

F



F


1.1 Propositional Logic

11

Precedence of Logical Operators

We can construct compound propositions using the negation operator and the logical operators

defined so far. We will generally use parentheses to specify the order in which logical operators

in a compound proposition are to be applied. For instance,



(p ∨ q) ∧ (¬r) is the conjunction

of

∨ and ¬r. However, to reduce the number of parentheses, we specify that the negation

operator is applied before all other logical operators. This means that

¬∧ is the conjunction

of

¬and q, namely, (¬p) ∧ q, not the negation of the conjunction of and q, namely ¬(p ∧ q).



Another general rule of precedence is that the conjunction operator takes precedence over

the disjunction operator, so that



∧ ∨ means (p ∧ q) ∨ rather than ∧ (q ∨ r). Because

this rule may be difficult to remember, we will continue to use parentheses so that the order of

the disjunction and conjunction operators is clear.


Yüklə 227,03 Kb.

Dostları ilə paylaş:
1   ...   10   11   12   13   14   15   16   17   18




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin