a syllogism
It is 3*(q + p)/(r + s)
By inverting the numbers. For example, if:2 x 3 = 6 then: 6 / 3 = 2
"The present list of 19 rules of inference constitutes a COMPLETE system of truth-functional logic, in the sense that it permits the construction of a formal proof of validity for ANY valid truth-functional argument." (FN1)The first nine rules of the list are rules of inference that "correspond to elementary argument forms whose validity is easily established by truth tables." (Id, page 351). The remaining ten rules are the Rules of Replacement, "which permits us to infer from any statement the result of replacing any component of that statement by any other statement logically equivalent to the component replaced." (Id, page 359).Here are the 19 Rules of Inference:1. Modus Ponens (M.P.)p qpq 2.Modus Tollens (M.T.)p q~q~p 3.Hypothetical Syllogism (H.S.)p qq rp r 4.Disjunctive Syllogism (D.S.)p v q~ pq 5. Constructive Dilemma (C.D.)(p q) . (r s)p v rq v s 6. Absorption (Abs.)p qp (p. q)7. Simplification (Simp.)p . qp 8. Conjunction (Conj.)pqp . q 9. Addition (Add.)pp v qAny of the following logically equivalent expressions can replace each other wherever they occur:10.De Morgan's Theorem (De M.) ~(p . q) (~p v ~q)~(p v q) (~p . ~q) 11. Commutation (Com.)(p v q) (q v p)(p . q) (q . p) 12. Association (Assoc.)[p v (q v r)] [(p v q) v r][p . (q . r)] [(p . q) . r] 13.Distribution (Dist) [p . (q v r)] [(p . q) v (p . r)][p v (q . r)] [(p v q) . (p v r)] 14.Double Negation (D.N.)p ~ ~p 15. Transposition (Trans.)(p q) (~q ~p) 16. Material Implication (M. Imp.)(p q) (~p v q) 17. Material Equivalence (M. Equiv.)(p q) [(p q) . (q p)](p q) [(p . q) v (~p . ~q)] 18. Exportation (Exp.)[(p . q) r] [p (q r)] 19. Tautology (Taut.) p (p v p)p (p . p)FN1: Introduction to Logic, Irving M. Copi and Carl Cohen, Prentice Hall, Eleventh Edition, 2001, page 361. The book contains the following footnote after this paragraph: "A method of proving this kind of completeness for a set of rules of inference can be found in I. M. Copi, Symbolic Logic, 5th Edition. (New York: Macmillian, 1979), chap 8, See also John A. Winnie, "The Completeness of Copi's System of Natural Deduction," Notre Dame Journal of Formal Logic 11 (July 1970), 379-382."
No.Suppose a and b are two rational numbers.Then they can be written as follows: a = p/q, b = r/s where p, q, r and s are integers and q, s >0.Then a*b = (p*r)/(q*s).Using the properties of integers, p*r and q*s are integers and q*s is non-zero. So a*b can be expressed as a ratio of two integers and so the product is rational.
Converse: If p r then p q and q rContrapositive: If not p r then not (p q and q r) = If not p r then not p q or not q r Inverse: If not p q and q r then not p r = If not p q or not q r then not p r
Ifp < q and q < r, what is the relationship between the values p and r? ________________p
A rational number is a number of the form p/q where p and q are integers and q > 0.If p/q and r/s are two rational numbers thenp/q + r/s = (p*s + q*r) / (q*r)andp/q - r/s = (p*s - q*r) / (q*r)The answers may need simplification.
P=q/r* * * * *The correct answer is P = k*q/r where k is the constant of proportionality.
Two fractions are similar if they have the same denominator.So if p/r and q/r are two such fractions, then p/r + q/r = (p+q)/r.
tan x
The answer is Q.
p/q * r/s = (p*r)/(q*s)
If a is rational then there exist integers p and q such that a = p/q where q>0. Similarly, b = r/s for some integers r and s (s>0) Then a*b = p/q * r/s = (p*r)/(q*s) Now, since p, q r and s are integers, p*r and q*s are integers. Also, q and s > 0 means that q*s > 0 Thus a*b can be expressed as x/y where p and r are integers implies that x = p*r is an integer q and s are positive integers implies that y = q*s is a positive integer. That is, a*b is rational.
a syllogism
It is 3*(q + p)/(r + s)
A rational number is a number which can be expressed in the form p/q where p and q are integers and p>0.If p/q and r/s are two rational numbers then(p/q)*(r/s) = (p*r)/(q*s).You may need to check that this fraction is in its lowest (simplest) form.