TABLE 1.14 More Inference Rules From Can Derive Name/Abbreviation for Rule P→Q, Q→R PVQ, P' P→R[Example 16] Hypothetical syllogism-hs Q [Exercise 25] Q' →P' [Exercise 26] Disjunctive syllogism–ds Contraposition-cont Q' → P' P→Q [Exercise 27] Contraposition-cont PAP[Exercise 28] Self-reference-self PVP P[Exercise 29] Self-reference-self (РЛО) —R P→(Q→R) [Exercise 30] Exportation-exp Q [Exercise 31] (PAQ) V (PAR) [Exercise 32] (PVQ) A (P V R) [Exercise 33] P, P' Inconsistency-Inc PA (QVR) Distributive-dist PV (QAR) Distributive-dist
Power Operation
Power operation is topic of algebra in Math. It is use to represent repeated multiplication. Very big number and very small number can be easily express using power operation. Power operation is useful in many fields. In space engineering, it helps in representing the distance or size of particular heavenly body. In medical field, it is used to represent very small size. In medical field it helps to mention size of bacteria or virus.
Exponents
The exponent or power or index of a variable/number is the number of times that variable/number is multiplied by itself.
use propositional logic to prove the arguments valid;
(P ∨ (Q ^ R)) ^ (R′ ∨ S) ^ (S → T′) → (T → P)
Trending now
This is a popular solution!
Step by step
Solved in 2 steps with 2 images