A stamp collector wants to include in her collection exactly one stamp from each country of Africa. If I(s) means that she has stamp s in her collection, F(s,c) means that stamp s was issued by country c, the domain for s is all stamps, and the domain for c is all countries of Africa, express the statement that her collection satisfies her requirement. Do not use the ∃! symbol.

equipokypip1

equipokypip1

Answered question

2022-09-04

1, A stamp collector wants to include in her collection exactly one stamp from each country of Africa. If I(s) means that she has stamp s in her collection, F(s,c) means that stamp s was issued by country c, the domain for s is all stamps, and the domain for c is all countries of Africa, express the statement that her collection satisfies her requirement. Do not use the ! symbol.
2.Determine whether ( p q ) ( ¬ p q ) q

Answer & Explanation

Monserrat Ellison

Monserrat Ellison

Beginner2022-09-05Added 22 answers

Step 1
As for 1. Let A denote the set of all countries in Africa and S denote the set of all stamps then the proposition below
c A ( s 1 S ( I ( s 1 ) F ( s 1 , c ) ) s 2 S ( ( I ( s 2 ) F ( s 2 , c ) ) s 1 = s 2 ) )
says that for every country c in Africa there is a stamp s1 in the stamp collectors collection that was issued by country c and given any stamp s 2 in her collection that was issued by country c the stamp s 2 must be the same as s 1
Step 2
In short it is a claim about existence and uniqueness.
and as for 2. You are required to prove that ( p q ) ( ¬ p q ) and q imply each other.
First assume that ( p q ) ( ¬ p q ) is true moreover we know that p ¬ p is a tautology and in both instances when p is true or false we can use our assumption in conjunction with modus ponens to deduce q.
For the converse notice that p q can be written as ¬ p q and p q respectively so if you assume q to be true the result follows naturally.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?