Matematyczne podstawy informatyki



Pobieranie 3.9 Mb.
Strona32/45
Data28.10.2017
Rozmiar3.9 Mb.
1   ...   28   29   30   31   32   33   34   35   ...   45

  • - negacja kwantyfikatora szczegółowego to kwantyfikator ogólny zastosowany do zanegowanego wyrażenia pod kwantyfikatorem (analogia do negacji alternatywy);

  • - kwantyfikator ogólny można wpisywać na zewnątrz i wewnątrz koniunkcji;

  • - kwantyfikator szczegółowy można wpisywać na zewnątrz i wewnątrz alternatywy.

    Dla przykładu zilustrujmy drugą z wypisanych powyżej formuł następującymi zdaniami równoważnymi: „nieprawda, że każda liczba naturalne jest parzysta”, „istnieje nieparzysta liczba naturalna”.
    Zadanie 1.6. Przekształcić poniższe wyrażenia eliminując znak negacji.

    1. .

      Pobieranie 3.9 Mb.

      Share with your friends:
  • 1   ...   28   29   30   31   32   33   34   35   ...   45




    ©operacji.org 2020
    wyślij wiadomość

        Strona główna