Method | Description | |
---|---|---|
Implies ( bool p, bool q ) : bool |
Helper function that returns "a -> b". See: https://en.wikipedia.org/wiki/Modus_ponens#Justification_via_truth_table
|
public static Implies ( bool p, bool q ) : bool | ||
p | bool | |
q | bool | |
return | bool |