One Stop GATE Forum: valid Formula in Predicate Logic

Message

   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... 


One Stop GATE Forum : GATE Technical Discussions : GATE CS