Definition talk:Truth Value

From ProofWiki
Jump to: navigation, search

Is this the same as the "logical value" that Jon Awbrey refers to? Just trying to fill in the links.
Along the same lines, are material equivalence and logical equality the same? --cynic 23:35, 21 October 2008 (UTC)

JA: Logical Value is the same thing as Truth Value. I just prefer the former term as (1) being more even-handed between True and False, (2) paving a smoother path to generalization, and (3) I just feel silly saying that a proposition has a truth value of false.

JA: There is a slight distinction in perspective between Logical Equivalence, which is defined directly on propositions, and Logical Equality, which is defined initially on logical values and then pulled back to an equivalence relation on propositions. But they are pretty much the same thing in practice. Jon Awbrey 03:20, 22 October 2008 (UTC)

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense