Processing math: 71%
Google
 
Web unafbapune.blogspot.com

Saturday, November 02, 2013

 

Universal Elimination

Is this a correct single step inference in the Fitch system for Relational Logic ?
  x.y.(p(x)q(y))y.(p(y)q(y))
More information at Introduction to Logic.


Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?