Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

Kwantyfikatory - zadanie z logiki


  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
1 odpowiedź w tym temacie

#1 turek16

turek16

    Nowicjusz

  • Użytkownik
  • 1 postów
0
Neutralny

Napisano 27.01.2008 - 10:57

witam,licze na wasza pomoc bo w zasadzie jest to zadanie ktore bedzie na zaliczenie przedmiotu,a wiec:
niech x i y nalezą do zbioru ludzi a predykat p(x,y) oznacza ,ze osoba x stoi w kolejce PRZED osobą y.zapisz za pomoca kwantyfikatorów następujące zadania opisujące pewną kolejkę:
-istnieje pierwsza osoba w kolejce
-istnieje ostatnia osoba w kolejce
-istnieje osoba,ktora nie jest ani pierwsza ani ostatnia w kolejce
za pewną osobą stoją co najmniej dwie inne osoby
licze na Was i z góry dziękuję:)
  • 0

Afroman

    Kombinator

  • Użytkownik
3
  • Płeć:Kobieta

Napisano 25.09.2011 - 17:55

#2 Gralcio

Gralcio

    Kombinator

  • VIP
  • 235 postów
37
Mały Pomocnik II
  • Płeć:Mężczyzna

Napisano 30.01.2008 - 22:58

(UWAGA: Rozumiem, że ten predykat nie oznacza bezpośredniego następstwa w kolejce, a jedynie uporządkowanie)

Oznaczmy zbiór ludzi przez L.

1. \exists x\in L \forall y\in L \(y \neq x \rightarrow p(x,y)\)
2. \exists x\in L \forall y\in L \(y \neq x \rightarrow p(y,x)\)
3. \exists x\in L \exists y,z\in L \(y\neq x \wedge z \neq x \wedge  p(x,y) \wedge p(z,x)\)
4. \exists x\in L \exists y,z\in L \(y\neq x \wedge z \neq y \wedge  p(x,y) \wedge p(y,z)\)
  • 0
Używam opcji "Zobacz posty od ostatniej wizyty", gdzie widzę dział oraz TEMAT. Temat postaci "help zadanie" zignoruję, ale koło tematu "Izomorfizm/dowód" nie przejdę obojętnie.
Wyłącznie od Ciebie zależy, czy zainteresuje mnie Twoje zadanie