Strings made of left curly braces, Computer Engineering

In a logical system, a judgement is a statement that is either true or false. So far, you are most familiar with the type of judgement "A is true", which is often simply abbreviated as "A" when this is the only kind of judgement being considered. However, it is often benecial to define judgement forms in addition to "truth" to construct logics. For example consider the following truth concept "Set":

WFF's = {{,},',',0}, i.e., all strings made of left curly braces, right curly braces, commas, and 0's.
A WFF is true if it represents a valid set of strings of 0's, possibly with repeated elements, i.e. it is a comma separated list of strings of 0's surrounded by a pair of braces.

For example, the WFF {0; 000; 0; 00} is true, while each of the following WFFs are false: {0}, {0,} {0,,0} 0,00,000
It is possible to construct a sound and complete logic for this truth concept directly, however, it is perhaps more intuitive if we define the additional judgement forms "Number" and "List".

Axiom: 0 is a "Number".
Axiom: {} is a theorem.
Inference Rule: If x is a "Number", then x0 is a "Number".
Inference Rule: If x is a "Number", then x is a "List".
Inference Rule: If x is a "List" and y is a "List", then x, y is a "List".
Inference Rule: If x is a "List", then {x} is a theorem.
Prove that this logic is sound and complete for "Set"

Posted Date: 3/21/2013 1:54:25 AM | Location : United States







Related Discussions:- Strings made of left curly braces, Assignment Help, Ask Question on Strings made of left curly braces, Get Answer, Expert's Help, Strings made of left curly braces Discussions

Write discussion on Strings made of left curly braces
Your posts are moderated
Related Questions
What is EDO RAM A minor modification to the structure of the DRAM changes the device into an EDO (extended data output) DRAM device. In EDO memory, any memory access, including

A relation schema R is in BCNF with respect to a set F of functional dependencies if for all functional dependencies in F+ of the form a->b, where a and b is a subset of R, at leas

Case x, z difference, which is preferable, why? CASEZ : Special version of case statement that uses a Z logic value to signify don't-care bits. CASEX : Special

what is the basic diff between mbr and mdr

LINQ Providers are a set of classes that takes a LINQ query and dynamically produces a method that implements an equivalent query against an exact data source.

Name the fundamental kinds of memory used in microprocessor systems There are three fundamental kinds of memory used in microprocessor systems - generallyknown asRAM, ROM, and

What is the 2's complement of the number 1101101 ? Ans. 0010011 is the 2's complement of the number 1101101. As 1's complement of the number 1101101 is 0010010 and 2's comple

What is difference between collaboration on task and event management? Web-based task management application let the user handle the multiple pieces and parts of large projects

DEscribe a console application to show all the arguments passed tocommand line whereas running the application. The user can pass anynumber of arguments that should be shown. Use l

super string checker