C# Class HolzShots.BoolEx

Show file Open project: nikeee/HolzShots

Public Methods

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

Method Details

Implies() public static method

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