Propositional Logic (Questions And Answers)

Assignment 2

Accepted Answers:

 

Premise, Premise, Modus Ponens (1,2), De Morgan’s law (3), Simplification(4)

Premise, Premise, Modus Tollens (1,2), De Morgan’s law (3), Addition(4)

Premise, Premise, Modus Tollens (1,2), De Morgan’s law (3), Simplification (4)

Premise, Premise, Modus Ponens (1,2), Premise, Addition(4)

Accepted Answers:

Premise, Premise, Modus Tollens (1,2), De Morgan’s law (3), Simplification (4)

{}

(P ⋁ ¬P)

(Q ⋁ ¬Q)

⊤

Cannot be resolved

Accepted Answers:

(P ⋁ ¬P)

(Q ⋁ ¬Q)

(iii) and (v)

(i) and (ii)

(ii) and (iv)

(i) and (iv)

(iii) and (iv)

All are equivalent

Accepted Answers:

(iii) and (v)

(i) and (ii)

(ii) and (iv)

(i) and (iv)

The proof is valid.

The proof is not valid as KB is inconsistent.

The proof is valid as one can derive anything from an inconsistent KB.

None of the above.

Accepted Answers:

The proof is valid as one can derive anything from an inconsistent KB.

P ∨¬Q

¬ P ⋁ Q

P → Q

¬ Q→¬P

Accepted Answers:

¬ P ⋁ Q

P → Q

¬ Q→¬P

{NOT, AND}

{NAND}

{NOT, AND, OR}

{NOR}

Accepted Answers:

{NOT, AND}

{NAND}

{NOT, AND, OR}

{NOR}

Yes

No

Accepted Answers:

No

1, 2

1, 4

3, 5

4, 6

2, 5

2, 6

1, 6

4, 5

1, 5

Accepted Answers:

1, 2

3, 5

2, 6

4, 5

1, 5

A1 is a valid argument but not A2

A2 is a valid argument but not A1

Both A1 and A2 are valid arguments

None of A1 and A2 is a valid argument

Accepted Answers:

A2 is a valid argument but not A1