d2jsp
Log InRegister
d2jsp Forums > Off-Topic > General Chat > Homework Help > Predicate Logic - Proof Validity
Add Reply New Topic New Poll
Views: 191Replies: 2Track Topic
Member
Posts: 21,861
Joined: Dec 13 2010
Gold: 0.91
#1
Mar 1 2015 03:09am
Hey guys,

I got the problem to proof Validity for Predicate logic formulas

anyone got a clue about a way to do this?

regards!
Member
Posts: 1,235
Joined: Mar 9 2014
Gold: 0.00
#2
Mar 1 2015 02:34pm
still need help?
Member
Posts: 21,861
Joined: Dec 13 2010
Gold: 0.91
#3
Mar 2 2015 01:28am
Quote (Amjohnston81 @ 1 Mar 2015 21:34)
still need help?



I found out how I can proove validity with the Hilbert-Calculus.

you got any suggestions or other methods to Proof validity ?

This post was edited by Breee on Mar 2 2015 01:28am
Go Back To Homework Help Topic List
Add Reply New Topic New Poll

© 2003-2026 d2jsp  Contact