The
. The number of arguments is variable and the number of predicates, but in general to be less ambiguous, it takes at least two arguments and a predicate that compares them.
Called
open proposition or statement
open if arguments are not real but unknown, ie
variables. In According to a statement we can open to create a report or a set of mathematical function. Examples of open
propositions: p (x) "x is a mammal ', t (x, y)" x precedes y ", u (x, y, z)" x is less than y and
y is less than z '
You can see that u in the statement, there are two predicates joined by the connective, which represents the logical operation of conjunction. It means that u is true only if both predicates are true. A proposition can be atomic or molecular level. Atomic if it consists of a single statement, whether molecular, comprising two or more sentences, always connected by logical connectives (Connectives logic are used for logical operations). The logical connectives are the logical operations that we will see in later articles. Examples of molecular
proposition:
p (x, y): 'X has the same color y', g (x, y): "if x is a mammal, then it's not a bird '
0 comments:
Post a Comment