valid Formula in Predicate Logic
Printed From: One Stop GATE
Category: GATE Technical Discussions
Forum Name: GATE CS
Forum Discription: General Technical Discussions, Queries, doubts etc. for GATE in CS.
URL: http://forum.onestopgate.com/forum_posts.asp?TID=202
Printed Date: 08Feb2025 at 11:34am
Topic: valid Formula in Predicate Logic
Posted By: Unit
Subject: valid Formula in Predicate Logic
Date 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...
|
|