Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Type Theory Question

  1. Apr 7, 2009 #1
    In type theory, what is the difference between the set of functions [tex]A \rightarrow B[/tex] and the implication set [tex]A \supset B[/tex]? Is there any difference? My text says that both of them are examples of sets (propositions) that are defined as special cases of the cartesian product [tex]\prod(A,B)[/tex] (this cartesian product is the set of functions [tex]f(x)[/tex] from the index set [tex]A[/tex] to [tex]B(x)[/tex] where the image of [tex]x[/tex] lies in a set [tex]B(x)[/tex] that is itself dependent on [tex]x[/tex]).
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted