Add Papers Marked0
Paper checked off!

Marked works

Viewed0

Viewed works

Shopping Cart0
Paper added to shopping cart!

Shopping Cart

Register Now

internet library
Atlants.lv library
FAQ
0,99 € Add to cart
Add to Wish List
Want cheaper?
ID number:540410
 
Author:
Evaluation:
Published: 06.12.2012.
Language: Latvian
Level: College/University
Literature: n/a
References: Not used
Extract

Formulas konkretizācija
• Mainīgos, kuri formulā ir brīvi, sauc par mainīgajiem.
• Visus mainīgos predikātus aizvieto ar reāliem predikātiem un visus argumentus ar konkrētās kopas M reāliem objektiem; tiek iegūts izteikums (patiess vai aplams).
• Izteikums – konkretizācijas formula
Identiski patiesa formula
Formulu F sauc par identiski patiesu kopā M, ja jebkura šīs formulas konkretizācija kopā M ir patiesa
Izpildāma formula
Formulu F sauc par izpildāmu kopā M, ja eksistē patiesa šīs formulas konkretizācija kopā M

Author's comment
Work pack:
GREAT DEAL buying in a pack your savings −3,98 €
Work pack Nr. 1327285
Load more similar papers

Atlants

Choose Authorization Method

Email & Password

Email & Password

Wrong e-mail adress or password!
Log In

Forgot your password?

Draugiem.pase
Facebook

Not registered yet?

Register and redeem free papers!

To receive free papers from Atlants.com it is necessary to register. It's quick and will only take a few seconds.

If you have already registered, simply to access the free content.

Cancel Register