Functions - first-order logic, Computer Engineering

Functions - first-order logic:

Functions can be thought of as exceptional predicates, wherever we think of all but one of the arguments as input and the output as final argument. Thus such each set of things such kind of classed are as the input to a function, there is exactly one output to just that they are related by the function. To compose it obvious that we are dealing with specify a function, we can need an equality sign. So, for example, if we wanted to say that the cost of an omelette at the Red Lion pub is five pounds, the normal way to express it in first-order logic would probably be:

cost_of(omelette, red_lion, five_pounds)

However, because we know this is a function, we can make this clearer:


Because we know that there is only one output for every set of inputs to a function, we tolerate ourselves to use an abbreviation when it would make things clearer. That is, we can talk about the output from a function without explicitly writing it down, so to rather replacing it with the left hand side of the equation. So, it can be easily understand by example, if we wanted to tell that the price of omelettes at the Red Lion is less than the price of pancakes at the House Of Pancakes, then we would normally write something like this:


Posted Date: 1/10/2013 5:23:06 AM | Location : United States

Related Discussions:- Functions - first-order logic, Assignment Help, Ask Question on Functions - first-order logic, Get Answer, Expert's Help, Functions - first-order logic Discussions

Write discussion on Functions - first-order logic
Your posts are moderated
Related Questions
Explain the operation of 8:1 multiplexer. Ans: In this multiplexer 8 Input and 1 Output and three select lines i.e. S 2 , S 1 , S 0 are given. Any one of the inputs will be

Explain about CSMA/CD It is an access method used mainly with LANs configured in a bus topology. With CSMA/CD, any station (node) can transmit a message to any other  statio

State briefly about the  Register Transfer A micro operation is a basic operation performed on information stored in one or more registers. The result of operation may replace

Differentiate between http and ftp. HTTP and FTP were developed to make Internet transmission better. FTP is utilized to exchange files among computer accounts, to transfer

How putchar function is used within a C Program ? The following program reads each character in the first line of input entered at the terminal's keyboard. It uses putchar to d

Assignment of Analog to digital Ssignal Processing

1)    Describe challenges involved for both the sender and the receiver in the communication process. 2)    Describe the purpose of a subject line in an email message and give gui

Is the basic list deleted when the new list is created? No.  It is not removed and you can return back to it using one of the standard navigation functions like clicking on th

Define the Half Duplex Transmission A half-duplex channel can receive andsend, but not at the same time. It's like a one-lane bridge where two-way traffic should give way in

Write "heterogeneous" functions If a program uses simulated, dynamically allocated multidimensional arrays, it becomes possible to write "heterogeneous" functions which don't h