Awesome q2a theme
0 votes

The solution they have given is lengthy. I think there must be some shortcut but unable to recall it. Please help. Thanks. 

in Mathematical Logic by (417 points) | 28 views
  1.  S1 hint: A→ B is only false when T→F case exist. So take B=False, and somehow try to make the LHS true. If u can make the LHS true then definitely it is not VALID. If u cant make the LHS true then the proposition is VALID. This is the shortcut, without having to solve the entire proposition. As u have only 3 variables A,B,C and B is already fixed to be F so there exists only 4 combinations for A and C which u can put in the LHS and check whether u are able to obtain T for LHS.

          S2 hint: Apply the same trick as above but this time take R=T as in RHS we have ~R

I was reading somewhere that if T->F assignment is not possible, then it is valid/tautology. But if such assignment is  possible, then it can be either contradiction or contingency. Is it true?
Also how to solve Question 7

But if such assignment is  possible, then it can be either contradiction or contingency

This is absolutely true. Contradiction happens only when all the cases are false, but by T→ F we are only checking one of many cases, it may be the case that T→ T assignment is also possible for the same. Hence if T→F exists it is definitely not valid(i.e. NOT TAUTOLOGY) but it can be contradiction or contingency. 

I do not know how to solve 7. Never seen this type in GATE

Please log in or register to answer this question.

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
Top Users Jul 2020
  1. Shaik Masthan

    39 Points

  2. pritishc

    10 Points

  3. Charuji24

    9 Points

  4. hiteshpujari

    9 Points

  5. srestha

    9 Points

  6. fazin

    7 Points

  7. divi2719

    7 Points

  8. sthakur369

    6 Points

  9. Richa Agrawal

    6 Points

  10. gaurav2697

    6 Points

7,577 questions
1,785 answers
90,507 users