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
How do we merge an image from a file to the current image in GIMP? Ans) Use "File then Open as Layers" menu command or just take the file to a window and drop it there. The file w

LoadRunner script code acquired from recording in the ANSI C language syntax, shown by icons in icon view until you click Script View.

What are the dynapro keywords? FIELD, MODULE, SELECT, VALUES and CHAIN are the dynapro keywords

Hashing collision resolution techniques are a) Chaining, b) Bucket addressing

Odd-Even Merging Circuit Let's firstly understand the idea of merging two sorted sequences using an odd-even merging circuit. The functioning of a merging circuit is as given b

Q. What is Serial Mouse? Mice that use standard serial port are known as 'serial'. Because Serial ports 1 and 4 (COM1, COM4 under DOS, /dev/ttyS0 and /dev/ttyS3 under Unix/GNU-

Soundness - artificial intelligence: You may see in some application domains-for example automated theorem proving - that your search is "sound and complete". The soundness in

Single Instruction and Multiple Data stream (SIMD) In this organisation, multiple processing elements are working under the control of a one control unit. It has multiple data

Prolog: Still we can take our card game from the previous lecture like a case study for the implementation of a logic-based expert system. So there the rules were: four cards

Processors can broadly be seperated into the categories of: CISC, RISC, hybrid, and special purpose.