MHB More Logic statements and arguments

  • Thread starter Thread starter ertagon2
  • Start date Start date
  • Tags Tags
    Logic
AI Thread Summary
The discussion focuses on homework questions related to logic statements and truth tables. Q8 is confirmed correct, while Q9 part 1 requires identifying the negation of a universal statement, which translates to an existential statement. Q9 part 2 is also confirmed correct, noting the negation of a conjunction. For Q10, it is clarified that both arguments are correct if the conclusion is true whenever the premises are true. The thread concludes with a solution intended for future reference.
ertagon2
Messages
36
Reaction score
0
So once again this is my homework:
View attachment 7706
If you could please check these answers and help me with Q.9 part 1

Q.8 is just checking if both expressions give the same values right ?
Q.9 part 1 I'm in the blind here
Q.9 part 2 seems logical
Q.10 So if i get this right... for the statement/argument to beright the part before $\therefore$ must give me 1 when $\land$ with part after $\therefore$

This is my truth table for Q.10
https://i.imgur.com/wnthwac.jpg
 

Attachments

  • maths 3.png
    maths 3.png
    20.9 KB · Views: 124
Physics news on Phys.org
Hi ertagon2,

Q8 is correct.

For Q9 part 1, the negation of a statement $\forall x : (\text{something})$ is $\exists x : \neg(\text{something})$. This means that you should have a statement equivalent to

$$\exists x\in D : \neg((x\le0)\vee(x\ge2))$$

One of the choices is indeed equivalent to that statement : do you see which one ?

Q9 part 2 is correct : the negation of $A\wedge B$ is $\neg A\vee\neg B$.

For Q10, if I'm not mistaken, both arguments are correct. The rule is that the statement after $\therefore$ (the conclusion) must be true whenever all the statements before $\therefore$ (the premises) are true. You need only check the lines in which all the premises are true; the other lines should be ignored.
 
castor28 said:
Hi ertagon2,

Q8 is correct.

For Q9 part 1, the negation of a statement $\forall x : (\text{something})$ is $\exists x : \neg(\text{something})$. This means that you should have a statement equivalent to

$$\exists x\in D : \neg((x\le0)\vee(x\ge2))$$

One of the choices is indeed equivalent to that statement : do you see which one ?

Q9 part 2 is correct : the negation of $A\wedge B$ is $\neg A\vee\neg B$.

For Q10, if I'm not mistaken, both arguments are correct. The rule is that the statement after $\therefore$ (the conclusion) must be true whenever all the statements before $\therefore$ (the premises) are true. You need only check the lines in which all the premises are true; the other lines should be ignored.

Here's the solution for future generations.
View attachment 7710
 

Attachments

  • maths4.png
    maths4.png
    20.7 KB · Views: 129

Similar threads

Back
Top