Did I find the right examples for you? yes no

All Samples(4)  |  Call(0)  |  Derive(0)  |  Import(4)
First-order logic from Kaye ch 9, rules from defn. 9.1, p. 122
This logic is to be used with the propositional logic defined in
prop_common and (optionally) other prop modules.

src/f/l/FLiP-1.2/flip/logic/fol_session.py   FLiP(Download)
import prop_common
import prop_classic
import fol
 
# Combine logics etc. in checker nd

src/f/l/FLiP-1.2/flip/logic/fol_derived_session.py   FLiP(Download)
import prop_common
import prop_derived
import fol
 
# Combine logics etc. in checker nd

src/f/l/FLiP-HEAD/flip/logic/fol_session.py   FLiP(Download)
import prop_common
import prop_classic
import fol
 
# Combine logics etc. in checker nd

src/f/l/FLiP-HEAD/flip/logic/fol_derived_session.py   FLiP(Download)
import prop_common
import prop_derived
import fol
 
# Combine logics etc. in checker nd