DODAJ SOBIE SKRZYDEŁ NA SESJI - ZGARNIJ DWUPAK REDBULLA!
Razem z każdym zakupem Kursów studenckich otrzymujesz kod na odbiór darmowych Red Bulli.

Lekcja 8 – Formuły rachunku predykatów

Zapisz się proszę na Kurs przed rozpoczęciem tej Lekcji.

Kolejna lekcja do logiki, kontynuujemy rachunek predykatów.

Przed rozpoczęciem powinieneś powtórzyć wszystkie poprzednie Lekcje z logiki.

Lekcja trwa prawie 2 godziny.

Spis treści

  • 5 przykładów na określanie prawdziwości złożonej formuły rachunku predykatów
  • 7 przykładów na przełożenie zdań języka naturalnego na formuły rachunku predykatów
  • 4 przykłady na dowolne dobieranie dziedzin i predykatów tak, aby formuła była prawdziwa, lub fałszywa
  • tautologie w rachunku predykatów
  • 4 przykłady na wykazywanie, że formuła jest tautologią
  • 5 przykładów na sprawdzanie, czy formuła jest tautologią
  • prawa rachunku kwantyfikatorów
  • 4 przykłady na zapisywanie praw kwantyfikatorów w języku naturalnym
  • 2 przykłady na zaprzeczanie formule bez użycia znaku negacji

Tagi Lekcji: dyskretnal33, logikal8
Wróć do: Kurs Logika