MHB Rewrite as a formal proposition

  • Thread starter Thread starter ash1
  • Start date Start date
ash1
Messages
2
Reaction score
0
Kindly solve for me this question with proper working.

A) Rewrite the following sentence as a formal proposition.
" If i eat apples, then i will not eat durian, and if i eat durians, then i will not eat rambutans, and if i eat rambutans, then i will not eat apples, but i will surely eat either apples, durians or rambutans.

Let G =" i eat apples", B=" i eat durians," P=" i eat rambutans".

B) Write a truth table for the proposition in (a). Is it a contradiction?

C) Which of the following are tautologies? if the statement is a tautology, give a proof using the appropriate rules of logic.(Avoid using truth tables if possible.) If it is not a tautology, then justify your answer by giving an appropriate example.

i) p(p q)
ii) ( ( p v q v r) ^ (p r) ^ (q r )) r
 
Physics news on Phys.org
Hello and welcome to MHB, ash! :D

When you have a problem with which you need assistance, please to not submit it as a POTW candidate. That form is for people who have a problem that they think would make a good problem of the week, and for which they already have the solution.

So, I have moved your question here.

You will likely find the following thread to be useful:

http://mathhelpboards.com/discrete-mathematics-set-theory-logic-15/rewrite-following-sentence-formal-proposition-12846.html

For the remainder, please post what you have done so far, so our helpers know where you are stuck and can help you get past that point.
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.

Similar threads

Replies
17
Views
2K
Replies
4
Views
4K
Replies
2
Views
1K
Replies
1
Views
1K
Replies
11
Views
2K
Back
Top