New PDF release: A. M. Samoilenkos method for the determination of the

By Trofimchuk E. P.

Show description

Read or Download A. M. Samoilenkos method for the determination of the periodic solutions of quasilinear differential equations PDF

Best mathematics books

Extra info for A. M. Samoilenkos method for the determination of the periodic solutions of quasilinear differential equations

Sample text

1 Undefined terms: ‘blub’, ‘glug’ and ‘to lie on’. Axioms: A1. Every blub lies on at least one glug. A2. For every glug, there are exactly two blubs which lie on it. A3. There are exactly five blubs. 1 gives an interpretation of the axiom system with blubs represented as points and glugs as lines, with the obvious interpretation of ‘to lie on’. Note that, in this interpretation, each of the axioms is a true proposition. A specific interpretation of the undefined terms such that the axioms are true propositions is called a model of the axiom system.

For instance, using this predicate, we may form the proposition ‘A brick is heavier than a hamster’. The predicate ‘is heavier than’ is an example of a two-place predicate. If H denotes this predicate, then H (x, y) denotes the propositional function ‘x is heavier than y’. Two-place predicates can be quantified using the universal and existential quantifiers. However, two quantifiers are necessary to produce a proposition from a two-variable propositional function. The quantified expressions ∀x F(x, y) and ∃x F(x, y) are not propositions but propositional functions of the single variable y.

Bill has green eyes. ’ Expressing this in our propositional notation would given us an argument with premises p and q and a conclusion r . Our notation gives us no means of showing that different propositions are making statements about the same thing. Two propositions as similar as ‘Bill has green eyes’ and ‘Jeff has green eyes’ would have to be symbolized by p and q. We have as yet no means of expressing the fact that both propositions are about ‘green eyes’. Predicate Logic 29 A predicate describes a property of one or several objects or individuals.

Download PDF sample

A. M. Samoilenkos method for the determination of the periodic solutions of quasilinear differential equations by Trofimchuk E. P.


by Michael
4.3

Rated 4.95 of 5 – based on 24 votes