Next: 5 Sets Up: Module 0053: Symbols for Previous: 3 Quantifers

4 Deduction

$p, q \vdash r$ : Given facts , , then we deduce .

Copyright © 2006-09-27 by Tak Auyeung