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 micro programmed control? Micro programmed control is a scheme in which control signals are formed by a program same to machine language program.

Give the details of excess 3 codes and gray code using four binary digits. Ans: Table of excess 3 codes and gray code using four binary digits Binary

How do you turn off cookies for one page in your site?  Use the Cookie. Abandon Property which Gets or sets the discard flag set by the server. When true, this property instruc

i want to make final year project in wireless.please help me to decide the topic???????

One can change an infix expression to a postfix expression using a By using Stack you can convert infix expression to a postfix expression

CSEG SEGMENT  ASSUME CS:CSEG, DS:CSEG, SS:CSEG  ORG 100h START:MOV AX, CSEG; Initialise data segment  MOV DS, AX; register using AX  MOV AL, NUM1; Take the first num

Solution of multi-layer ann with sigmoid units: Assume here that we input the values 10, 30, 20 with the three input units and from top to bottom. So after then the weighted s

In order to concatenate strings only for output purposes which command can be used in conjunction with the 'Write' statement. NO-GAP command.

Define a B tree of order m. B Tree of order m  A balanced multiway search tree of order m in which every non root node having at least m/2 keys is known as a B-Tree of order

Write a recursive algorithm to delete the leaves of a binary tree. Programming Requirements You must use the binary search tree code provided.  Each algorithm must be impleme