Talk:PlanetPhysics/Boolean Valued Function
Add topicOriginal TeX Content from PlanetPhysics Archive
[edit source]%%% This file is part of PlanetPhysics snapshot of 2011-09-01 %%% Primary Title: boolean-valued function %%% Primary Category Code: 02. %%% Filename: BooleanValuedFunction.tex %%% Version: 2 %%% Owner: Jon Awbrey %%% Author(s): Jon Awbrey %%% PlanetPhysics is released under the GNU Free Documentation License. %%% You should have received a file called fdl.txt along with this file. %%% If not, please write to gnu@gnu.org. \documentclass[12pt]{article} \pagestyle{empty} \setlength{\paperwidth}{8.5in} \setlength{\paperheight}{11in}
\setlength{\topmargin}{0.00in} \setlength{\headsep}{0.00in} \setlength{\headheight}{0.00in} \setlength{\evensidemargin}{0.00in} \setlength{\oddsidemargin}{0.00in} \setlength{\textwidth}{6.5in} \setlength{\textheight}{9.00in} \setlength{\voffset}{0.00in} \setlength{\hoffset}{0.00in} \setlength{\marginparwidth}{0.00in} \setlength{\marginparsep}{0.00in} \setlength{\parindent}{0.00in} \setlength{\parskip}{0.15in}
\usepackage{html}
% This is the default PlanetPhysics preamble. % as your knowledge of TeX increases, you % will probably want to edit this, but it % should be fine as is for beginners.
% Almost certainly you want these:
\usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts}
% Used for TeXing text within EPS files:
\usepackage{psfrag}
% Need this for including graphics (\includegraphics):
\usepackage{graphicx}
% For neatly defining theorems and propositions:
%\usepackage{amsthm}
% Making logically defined graphics:
%\usepackage{xypic}
% There are many more packages, add them here as you need them.
% define commands here
\begin{document}
A \textbf{boolean-valued function} is a \htmladdnormallink{function}{http://planetphysics.us/encyclopedia/Bijective.html} of \htmladdnormallink{type}{http://planetphysics.us/encyclopedia/Bijective.html} $f : X \to \mathbb{B}$, where $X$ is an arbitrary set and where $\mathbb{B}$ is a \htmladdnormallink{boolean domain}{http://planetphysics.us/encyclopedia/BooleanDomain.html}.
A \textbf{boolean function} (of finite \htmladdnormallink{arity}{http://planetphysics.us/encyclopedia/Bijective.html} $k$) is a boolean-valued function of type $f : \mathbb{B}^k \to \mathbb{B}$.
In some contexts a boolean-valued function may be referred to as a \textit{predicate} or a \textit{proposition}. In other contexts these terms may be used to describe the syntactic entities that denote or express boolean-valued functions, or that have boolean-valued functions among their canonical or intended models. When necessary to avoid confusion, terms like \textit{propositional expression} or \textit{predicate formula} may be used to distinguish signs from their objects.
\end{document}