Mатематическая логика
205 PLNПомочь написать контрольную работу.
Пример прошлого года. 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 ₽
-
Aktualne zlecenia dla freelancerów w kategorii Edukacja
Pomoc w pracy z Shopify i EtsyWitam. Potrzebna pomoc w pracy z Shopify i Etsy. Konta są + jest skonfigurowana Nowa poczta i WesternBid. Dodano po 10 produktów. Potrzebne: sprawdzić ustawienia, skonsultować w samym procesie pracy z zamówieniami, wybór kraju na początek sprzedaży (Europa), pomóc wszystko… Sklepy internetowe i e-commerce, Edukacja ∙ 13 godzin 9 minut temu ∙ 5 ofert |
Szukam mentora z Claude Code do uruchomienia projektu internetowego od zera**Krótko o zadaniu:** Jestem nowicjuszem bez doświadczenia w programowaniu. Mam gotowe TŻ na rozwój strony (42 strony, Next.js, PostgreSQL). Chcę zrealizować to samodzielnie za pomocą Claude Code - potrzebuję specjalisty, który skonfiguruje środowisko i nauczy mnie pracy z… Javascript & Typescript, Edukacja ∙ 1 dzień 17 godzin temu ∙ 18 ofert |
Nauczyciel języka francuskiegoPotrzebny nauczyciel języka francuskiego z pewnością władania. Szukamy nauczyciela do firmy, aby szkolić naszych pracowników w tym języku. Edukacja, Język francuski ∙ 6 dni 15 godzin temu ∙ 2 oferty |
Ustawienia pracy z MetaQuest 3 / PC
330 PLN
Potrzebna pomoc w konfiguracji MetaQuest 3 i PC. Możemy umówić się na każdy punkt osobno - konfiguracja streamu na YouTube, TikTok - konfiguracja chromakeyu (pod MetaQuest) - pomoc w instalacji oprogramowania i gier Edukacja, Obróbka wideo ∙ 13 dni 7 godzin temu ∙ 4 oferty |
BOT do wysyłania przesyłania wiadomości z telegramu do viber. Jak to zrobić? Gdzie znaleźć?Cześć, czy jest bot do przesyłania wiadomości z Viber do Telegramu lub WhatsApp Instagram? Z pracy znalazłem taki, potrzebuję pomocy w konfiguracji CrossPost Bot — Jeden post, trzy platformy Info ze strony Program do krosspostingu wiadomości w Viber (automatyczne wysyłanie… Menedżer treści, Edukacja ∙ 1 miesiąc 29 dni temu ∙ 29 ofert |
Ryga