تابع ارزش

تابعی که ارزش یک گزارة مرکب را برحسب ارزش گزاره‌های سازای (constituent) آن، بدون در نظر گرفتن معنی آنها، مشخص می‌کند