I'm having some troubles about some exercises regarding my first year logic course.(adsbygoogle = window.adsbygoogle || []).push({});

1) Deriving (P -> Q) \/ (Q -> R) and showing that this statement is a tautology without using truth tables or venn diagrams.

So far I have no clue on how to start this question. From what I remember in class, a tautology is a statement that is true for all domains and predicates.

2) Deriving P <-> P /\ (P \/ R) without using truth tables or venn diagrams and without using the absorption method.

P <-> P /\ (P \/ R)

P /\ (Q \/ ~Q) <-> (P /\ P) \/ (P /\ Q) identity (left) distributive (right)

<-> P \/ (P /\ Q) idempotency (right)

Thats as close as I can get, but I'm still stuck. I was trying to get both sides similar.

3) Four classmates (William, Xavier, Youssef and Zachary) were suspected of cheating on their homework. At separate meetings with their instructor, they said the following:

William: If Xavier cheated, so did Zachary.

Xavier: William cheated, but Zachary did not.

Youssef: I did not cheat, but at least one of William or Zachary did.

Zachary: If William did not cheat, then Youssef did.

Let W represent the statement: William cheated"

X represent the statement: Xavier cheated"

Y represent the statement:Youssef cheated",

Z represent the statement: Zachary cheated"

and note that each student either cheated or they did not cheat.

(a) If each student is telling the truth, which student(s) cheated?

(b) If the students who cheated did not tell the truth at the meeting, and the students who did not cheat

did tell the truth, which student(s) cheated?

To answer the questions, you may nd it helpful to express each students' statement using a logical expression.

Do not use truth tables

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Help with logic exercises

Loading...

Similar Threads for Help logic exercises |
---|

A About the “Axiom of Dependent Choice” |

B Linear logic, what is it? |

Logic & science |

A Help with this problem of stationary distributions |

I Help with sample size to measure Form Error of a round metal part |

**Physics Forums | Science Articles, Homework Help, Discussion**