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. What is Master Clock Signal in Control Unit? The Master Clock Signal: This signal causes micro-operations to be executed in a square. In a single clock cycle either a single

Using your cache simulator and using smalltex.din as your memory trace determine the total miss rate, compulsory miss rate, capacity miss rate, and conflict miss rate for the follo

Which of following requires refreshing SRAM., DRAM., ROM. or EPROM. ? Ans. DRAM. requires refreshing.

Q. For function F(x,y,z) = ∑m (1,2,3,5,6) using TRUTH TABLE only 1. Find POS expression 2. Implement this simplified expression using two level OR-to-AND gate network 3. I

What is pattern? A pattern is a proven solution to a general problem. Lots of patterns are used. There are patterns for analysis, architecture, design and execution. Patterns c

What is called static and dynamic branch prediction? The branch prediction decision is always the similar every time a given instruction is implemented. Any approach that has t

Reprography In order to disseminate information widely some method of reprography is invariably used. Reprography is the science and practice of copying documents by photograph

Some of the fundamental considerations for instruction set design includes selection of:  A set of data-types (For example: integers, long integers, doubles, character strin

What is Optical character recognition (OCR)  Information on paper is automatically read by a scanner and is then processed/analysed by OCR software and stored in an electronic

What is a Priority Interrupt? A priority interrupt is an interrupt that establishes a priority over the various sources to determine which condition is to be serviced first whe