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
Q. Programming with loops and comparisons? This segment deals with more practical illustrations employing comparison, loops and shift instructions. Simple Program Loops

The Throughput graph represents the amount of data in bytes that the Vusers received from the server in a second. When we evaluate this with the transaction response time, we will

How is a Microsoft CRM Workflow tool enabled? A Microsoft CRM Workflow tool enables certainly one to as given below: • Explain business policies based upon established proce

Explain UDP (User Datagram Protocol). UDP utilizes a connectionless communication paradigm. It is an application of using UDP doesn't require preestablishing a connection befor


you will implement a second-order low-pass filter using the finite difference method. The finite difference method is a useful mathematical method that is used to numerically solve

What are the Counters? 1. The Counter is a sequential circuit which consists of a set of flip flops connected in a appropriate manner to count the sequence of input pulses.


QWERTY-based keyboards In addition the standard alphabet keys having QWERTY arrangement, a computer keyboard also comprises the control (alt, Del, Ctrl etc. keys) and function

Explain the Paging Unit Paging mechanism functions with 4K - byte memory pages or with a new extension available to Pentium with 4M byte-memory pages. In Pentium, with new 4M-b