Mатематическая логика
51 USDПомочь написать контрольную работу.
Пример прошлого года. Eсли понадобится, я могу прислать материалы.
Task 1 (35%)
a) Describe two major mistakes that you should not make, while writing formulas in the task (b).
b) Predicate language R has the following predicates:
Pr(x) (“x is a product”), Fa(x) (“x is a facrory”), Ci(x) (“x is a city”),
produces(x, y) (“[factory] x produces [product] y”),
located(x, y) (“[factory] x is located [in city] y”),
buys(x, y, z) (“[factory] x buys [product] y from [factory] z”), and also x=y.
Write down in the language R the following statements:
“each city is not a product and not a factory”;
“only factories can produce, and produce only products”;
“product x is produced at one and only one factory”;
“product y is produced only in one city”;
“factories of city x do not buy products, that are produced in city y”.
Task 2 (35%)
Write the sequences of formulas that prove:
a) [L1-L10, MP]: A→(B→C);A∧B ⊢ C;
b) [L1-L10, MP]: (D∧E)∧F ⊢ D∧(E∧F).
It is allowed to use only given hypotheses, axioms and MP. Keep in mind that it can be enough to use just some of axioms, none of the proofs will require to use all L1-L10.
Task 3 (15%)
Write the sequence of formulas that proves:
[L1-L2, MP]: A→(B→C);B ⊢ A→C.
It is allowed to use only given hypotheses, axioms and MP.
Task 4 (15%)
Write down at least 7 lines about the following: what do mean and why are necessary axioms L1 and L10.
-
Нет бюджета - нет ответа.
-
сколько хотите?
-
2 000 ₽
-
Current freelance projects in the category Tuition
Assistance with Shopify and EtsyHello. I need help with Shopify and Etsy. Accounts are set up, and Nova Poshta and WesternBid are configured. Ten products have been added. Needed: to check the settings, to consult on the order processing, to choose a country to start sales (Europe), to help set everything up… Online Stores & E-commerce, Tuition ∙ 2 days 18 hours back ∙ 8 proposals |
I am looking for a mentor with Claude Code to launch a web project from scratch.Brief about the task: I am a beginner with no programming experience. I have a ready specification for website development (42 pages, Next.js, PostgreSQL). I want to implement it myself using Claude Code - I need a specialist who will set up the environment and teach me how to… Javascript and Typescript, Tuition ∙ 3 days 23 hours back ∙ 18 proposals |
French language tutor |
Setting up work with MetaQuest 3 / PC
89 USD
Need help setting up MetaQuest 3 and PC. We can agree on any point separately - setting up YouTube, TikTok stream - setting up chroma key (for MetaQuest) - assistance with software and game installation Tuition, Video Processing ∙ 15 days 13 hours back ∙ 4 proposals |
BOT for sending forwarded messages from Telegram to Viber. How to do it? Where to find?Hello, is there a bot for forwarding messages from Viber to Telegram or WhatsApp Instagram? I found one from work, need help setting it up CrossPost Bot — One post, three platforms Info from the site Program for cross-posting messages in Viber (automatic sending of content… Content Management, Tuition ∙ 2 months back ∙ 29 proposals |
Riga