First Page | Document Content | |
---|---|---|
Date: 2017-03-18 22:05:41 | PRD axioms PRD problems PRD001+1.p All wine conjectures include(’Axioms/PRD001+0.ax’) ∃x: californiawine(x) and ∃x: americanwine(x) and ∃x: bordeaux(x) and ∃x: burgundy(x) and ∃x: anjou(x) and ∃x: beaujolAdd to Reading ListSource URL: math.chapman.eduDownload Document from Source WebsiteFile Size: 29,58 KBShare Document on Facebook |