Active TopicsActive Topics  Display List of Forum MembersMemberlist  CalendarCalendar  Search The ForumSearch  HelpHelp
  RegisterRegister  LoginLogin
 One Stop GATE ForumGATE Technical DiscussionsGATE CS
Message Icon Topic: valid Formula in Predicate Logic Post Reply Post New Topic
Author Message
Unit
Newbie
Newbie


Joined: 03Feb2007
Online Status: Offline
Posts: 1
Quote Unit Replybullet Topic: valid Formula in Predicate Logic
    Posted: 03Feb2007 at 10:52am
a)plz give me some idea about the difference between

satisfiable
valid
contradiction

if all row are True then it will be valid..............//then when it is called satisfiable???

Quote:
1.

A preposition logic formula is said to be satisfiable if there exists combination of truth values of preposition making the whole forumla True.
That is even a row has value "T" then it preposition logic formula is called satisfiable.

In other words
If a formula is not contradiction it is Satisfiable.



Means, In Valid formula Outcome are all "True"?
Means , A "Valid Formula" & "Tatology" are Same...

pls, Try to explain the Answer...



Post Resume: Click here to Upload your Resume & Apply for Jobs

IP IP Logged
Post Reply Post New Topic
Printable version Printable version

Forum Jump
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot delete your posts in this forum
You cannot edit your posts in this forum
You cannot create polls in this forum
You cannot vote in polls in this forum

GET LATEST FRESHERS JOBS IN YOUR MAIL





This page was generated in 0.203 seconds.
Vyom is an ISO 9001:2000 Certified Organization

© Vyom Technosoft Pvt. Ltd. All Rights Reserved.

Job Interview Questions | Girls Magazine | DLL, OCX File Errors | Freshers Jobs | Placement Papers | More Papers