Register

Discrete Mathematics Thegatebook

190 views
3 votes
3 votes
10) Which of the following inference system is invalid?
a) R---> S, ~S |- ~R
b) ~R, P----> Q, Q -----> R |-  ~P
c) ~R (S --------> ~T), ~R ∨ W, ~P --------> S, ~W  |- T ------> P
d) P ∧ Q -----> ~T, W ∨ R, W -----> P, R -----> Q |- (W ∨ R) --------> ~T
User Avatar

Please log in or register to answer this question.

Voting & Accepting an answer helps improve the community
← PreviousNext →
← Previous in categoryNext in category →

Related questions

2 votes
2 votes
1 answer
1
Lakshman Bhaiya asked May 1, 2017
712 views
Discrete Mathematics Thegatebook
Q1.How to write in Predicate Logic "Everyone is Liked by Someone"
Q1.How to write in Predicate Logic"Everyone is Liked by Someone"
User Avatar
2 votes
2 votes
3 answers
2
Lakshman Bhaiya asked May 1, 2017
340 views
Discrete Mathematics Thegatebook
22)Which one is the correct S1: A formula is valid iff its complement is not satisfiable S2: A formula is satisfiable iff its complement is not valid. a) Only S1 b) Only S2 c) both S1 and S2 d) none
22)Which one is the correctS1: A formula is valid iff its complement is not satisfiableS2: A formula is satisfiable iff its complement is not valid.a) Only S1 b) Only S2 ...
User Avatar
2 votes
2 votes
2 answers
3
Lakshman Bhaiya asked May 1, 2017
404 views
Discrete Mathematics Thegatebook
20) If S d is a dual of S then (S d )d ⇔ a) ~S b) S c) T d) F
20) If S d is a dual of S then (S d )d ⇔a) ~S b) S c) T d) F
User Avatar
Link Copied!