Logical Constant Article Index for
Logical 		Shopping
Logical 		Website Links For
Logical 		 

Information About

Logical Constant
  CATEGORIES ABOUT LOGICAL CONSTANT
   
logic
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



In Symbolic Logic , a logical constant is a Symbol that has the same Semantic Value in all Model s. Two important types of logical constants are Logical Connective s and Quantifier s. The Equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.

Some symbols that are commonly treated as logical constants are:











































Symbol Corresponding English
\lnot "not"
\land "and"
\lor "or"
ightarrow "implies", "if...then"
orall "for all"
\exists "there exists", "for some"
= "equals"
\Box "necessary"
\Diamond "possible"


One of the fundamental questions in the Philosophy Of Logic is "What is a logical constant?"; that is, what special feature of certain Constant s that makes them ''logical'' in nature?


EXTERNAL LINKS