Scribd
Upload
5 views1 page

Seminar Logic

The document outlines a seminar focused on logic within the fundamentals of computer science. It includes tasks such as proving logical equivalences, writing negations of statements, analyzing a scenario involving truth-tellers and liars, and proving a statement by contrapositive. The exercises aim to enhance understanding of logical reasoning and implications.

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
5 views1 page

Seminar Logic

The document outlines a seminar focused on logic within the fundamentals of computer science. It includes tasks such as proving logical equivalences, writing negations of statements, analyzing a scenario involving truth-tellers and liars, and proving a statement by contrapositive. The exercises aim to enhance understanding of logical reasoning and implications.

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/ 1

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
b. ∀ x P(x )∨ ¬ ( P( x )→ Q(x ))

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.

You might also like