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: beaujol - Somerville - Document - PDFSEARCH.IO

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: beaujol Add to Reading List Source URL: math.chapman.edu Download Document from Source Website File Size: 29,58 KB Share Document on Facebook