Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

T OR F please i want the answers for all questions ! 1- every deductively valid

ID: 3012656 • Letter: T

Question

T OR F please i want the answers for all questions !

1- every deductively valid argument  has at least one true premise.

2- every deductively valid argument  has a true conclusion

3-  every deductively valid argument  has a false conclusion

4-  every deductively invalid argument  has a least one false premise

5- { G V ~ G } is logically inconsistent set. V= OR   

6- G  is logically consisten with B

7- IF an argument has B as its only premise and ~ (G v ~G) as the conclusion. the
argument is deductively valid.

8- From a contradiction, anything at all can be logically deduced.

9- Every theorem of sentance logic is a logical truth

10- Every logical truth that can be proven to be a logical truth using a truth-table is a
theorem of sentence logic

11- In predicate logic , some formulas are not sentence

12-   (x) ~ Gx is logically equivalent to ~ (x) Gx

13- ~ (x) Gx is logically equivalent to ~ (x) Gx

14- ~ (x) ~ ~ Gx & Rab is a well-formed grammatical sentence of predicate logic.

15 - ~ (x) (  Gx & ~ Ray ) is a well-formed grammatical sentence of predicate logic.

Explanation / Answer

False: it is possible to have all premises as false, with the deducible conclusion also being false (such argument is deductively valid). False: Same example as above. False: Example is an argument with all true premises and a true deducible conclusion. False: It is possible to have all premises true and the conclusion false, making such an argument invalid. False: The given statement is logically consistent. (Not suuficient data to answer the question). False: B needs to be false in order to have a valid argument. False: If a certain premise is assumed true, and is followed by a logical chain of deductions leading to the contradiction, then that particular premise must be false. One cannot make further conclusions about other possible premises (unless each one is tested). True. True. True. True. False: They are negations of each other. False: There are free variables. False: Same reason as above.