Scribd
Upload
15 views3 pages

Seminar-Logic (FINAL)

The document outlines a seminar on logic in computer science, presenting tasks such as proving logical equivalences and writing negations of statements. It includes a logical puzzle involving two types of people on an island and a proof by contrapositive regarding the parity of numbers. The document serves as a guide for understanding fundamental logical concepts and reasoning.

Uploaded by

fardin123rahman07
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
15 views3 pages

Seminar-Logic (FINAL)

The document outlines a seminar on logic in computer science, presenting tasks such as proving logical equivalences and writing negations of statements. It includes a logical puzzle involving two types of people on an island and a proof by contrapositive regarding the parity of numbers. The document serves as a guide for understanding fundamental logical concepts and reasoning.

Uploaded by

fardin123rahman07
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 3

Fundamentals of computer science

SEMINAR 1: LOGIC

1. Prove
a. ( p →¬ q ) ≡¬ ( p ∧ q )
b. ( p → q)∨ ( p → r ) ≡(¬ p ∨q ∨ r) .

2. Write the negations of each statement, removing the implication.

a. p ∧q ∨ ¬r
Fundamentals of computer science

Answer :

b. ∀ x P(x )∨ ¬ ( P( x )→ Q(x ))

Answer :

3. There is an island with two kinds of people, liars, who always tell lies, and
knights who always tell the truth. On an excursion you visit this island and
encounter two people, person A and person B. A says ”We both are
knights”, and person B says “A is a liar”. What conclusion can you draw?

4. Prove by contrapositive that the following statement is true.

If n2 +3 is odd, then n is even.

Answer:
Fundamentals of computer science

You might also like