Click here to Skip to main content
15,889,096 members
Home / Discussions / Managed C++/CLI
   

Managed C++/CLI

 
GeneralRe: Rotating an image in a picture box Pin
fluminis13-Dec-04 7:47
fluminis13-Dec-04 7:47 
QuestionHow to Map a network drive Share? Pin
SeanV5-Dec-04 9:37
SeanV5-Dec-04 9:37 
GeneralASP.NET using MC++ or C++/CLI Pin
Ahmed Al-Lakani3-Dec-04 21:02
Ahmed Al-Lakani3-Dec-04 21:02 
GeneralRe: ASP.NET using MC++ or C++/CLI Pin
TigerNinja_13-Dec-04 4:28
TigerNinja_13-Dec-04 4:28 
Generaltutorials needed Pin
guyaton1-Dec-04 14:58
guyaton1-Dec-04 14:58 
GeneralRe: tutorials needed Pin
TigerNinja_13-Dec-04 4:11
TigerNinja_13-Dec-04 4:11 
GeneralAxImp.exe error Pin
h00ps29-Nov-04 8:47
h00ps29-Nov-04 8:47 
Generalnatural deduction in c++ Pin
Ankit Aneja29-Nov-04 2:57
Ankit Aneja29-Nov-04 2:57 
i do not know any C++ so please explain in little detail this prob is from some one else who is very much in need--------------------------------------------------------------------------------
QUESTION: WRITE A C PROGRAM TO IMPLEMENT NATURAL DEDUCTION FOR MAX VARIABLES POSSIBLE??
YOU CAN ALSO EXPLAIN THE APPROACH TO SOLVE THE PROBLEM

HINT:I WAS TOLD APPROACH OF GAMING TREE SUITS THE PROBLEM BUT NOT HAVING MUCH KNOWLEDGE
OF TOPIC I WAS UNABLE TO IMPLEMENT IT.
OTHER APPROACHES ARE WELCOMED.

ABOUT THE TOPIC:
Natural deduction refers to related proof systems for several different kinds of logic, intended to be similar to the way people actually reason. Unlike many other proof systems, it has many rules and few axioms. Sequents in natural deduction have only one formula on the right side.

Natural Deduction has Introduction and Elimination Rules for each logical connective such as and depicted as "^" above. Justifications for each step shown in square brackets explicitly identify which previous lines in the proof are used, as well as which inference rule.


ITS RULES ARE


A B
------ [/\,intro]
A /\ B

A /\ B
------ [/\,elim]
A

A /\ B
------ [/\,elim]
B


A
------ [\/,intro]
A \/ B

B
------ [\/,intro]
A \/ B

A \/ B A => C B => C
---------------------- [\/,elim]
C


A <=> B
------- [<=>,elim]
A => B

A <=> B
------- [<=>,elim]
B => A

A => B B => A
-------------- [<=>,intro]
A <=> B


A => ff
------- [~,intro]
~A

A ~A
----- [~,elim]
B

ff
---- [efq]
A


A A => B
--------- [mp]
B


---- [true]
tt


------- [tnd]
A \/ ~A



ankit
GeneralRe: natural deduction in c++ Pin
Christian Graus30-Nov-04 14:30
protectorChristian Graus30-Nov-04 14:30 
GeneralRe: natural deduction in c++ Pin
ThatsAlok1-Dec-04 18:50
ThatsAlok1-Dec-04 18:50 
GeneralJava to C++ SSL communication Pin
Sajeesh Kumar28-Nov-04 22:04
Sajeesh Kumar28-Nov-04 22:04 
Generalreferencing a com dll Pin
Sandra Fuller28-Nov-04 16:46
sussSandra Fuller28-Nov-04 16:46 
GeneralRe: referencing a com dll Pin
Alex Evans28-Nov-04 16:48
Alex Evans28-Nov-04 16:48 
GeneralRe: referencing a com dll Pin
ursus zeta2-Dec-04 9:59
ursus zeta2-Dec-04 9:59 
GeneralSystem.NullReferenceException: Object reference not set to an instance of an object. Pin
Dino Leong26-Nov-04 21:33
sussDino Leong26-Nov-04 21:33 
GeneralWindows Forms control Pin
VKatti25-Nov-04 5:13
VKatti25-Nov-04 5:13 
GeneralRe: Windows Forms control Pin
ursus zeta2-Dec-04 10:18
ursus zeta2-Dec-04 10:18 
GeneralRe: Windows Forms control Pin
TigerNinja_14-Dec-04 13:43
TigerNinja_14-Dec-04 13:43 
QuestionWhat are the different project types? Pin
Hadi Fakhreddine23-Nov-04 23:04
Hadi Fakhreddine23-Nov-04 23:04 
AnswerRe: What are the different project types? Pin
toxcct25-Nov-04 1:01
toxcct25-Nov-04 1:01 
GeneralProgramming a ping n trace route program Pin
hafiziziziz22-Nov-04 16:20
hafiziziziz22-Nov-04 16:20 
GeneralRe: Programming a ping n trace route program Pin
Roland Bär7-Dec-04 0:40
Roland Bär7-Dec-04 0:40 
GeneralLinking with an unknow java VM from Managed C++ Pin
Large Data File20-Nov-04 22:11
Large Data File20-Nov-04 22:11 
GeneralPlacing a form on another form Pin
1gfr118-Nov-04 11:13
1gfr118-Nov-04 11:13 
Generalwrapping unmanaged classes for controls Pin
BlackDice18-Nov-04 9:50
BlackDice18-Nov-04 9:50 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.