Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie
        STUDIA        

Ciąg i tautologia

Rachunek zdań Rachunek kwantyfikatorów

  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
6 odpowiedzi w tym temacie

#1 Trex

Trex

    Przeliczalny

  • Użytkownik
  • 35 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 17.10.2018 - 18:06

Definiujemy . Rozważmy wyrażenie postaci : p^{0}=p, p^{1}= \neg p<br>\\(...(p ^{i_{0} } \Rightarrow p ^{i_{1} }) \Rightarrow ...) \Rightarrow p^{i_{n-1} }.

Dla jakich ciągów wyrażenie jest tautologią ? 


Użytkownik Trex edytował ten post 17.10.2018 - 18:06

  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55

#2 Jarekzulus

Jarekzulus

    Wielki Analityk

  • +Mods
  • Redaktor
  • 4210 postów
3410
Profesor
  • Płeć:Mężczyzna

Napisano 17.10.2018 - 18:33

Jak to rozumiesz - tj jak widzisz kilka początkowych wyrazów (ciągów)

Rozpisz powiedzmy 5 może - zauważysz może pewną prawidłowość


  • 1

:wave: :wave: :wave: Jeśli rzuciłem choć promyczek światła na problem który postawiłeś - podziękuj. pre_1433974176__syg.jpgNad kreską


#3 Trex

Trex

    Przeliczalny

  • Użytkownik
  • 35 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 17.10.2018 - 19:34

Dla przykładu :  (p \Rightarrow \neg p) \Rightarrow \neg p ) \Rightarrow p ) \Rightarrow p) \Rightarrow ) ....


  • 0

#4 Jarekzulus

Jarekzulus

    Wielki Analityk

  • +Mods
  • Redaktor
  • 4210 postów
3410
Profesor
  • Płeć:Mężczyzna

Napisano 17.10.2018 - 20:25

No i jakie wnioski?

Mamy implikacje więc ... nie będzie tautologi gdy wychodzi 1\Rightarrow 0

 

musisz rozważyć kiedy tak wychodzi


Użytkownik Jarekzulus edytował ten post 17.10.2018 - 20:26

  • 1

:wave: :wave: :wave: Jeśli rzuciłem choć promyczek światła na problem który postawiłeś - podziękuj. pre_1433974176__syg.jpgNad kreską


#5 Trex

Trex

    Przeliczalny

  • Użytkownik
  • 35 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 17.10.2018 - 20:32

Na pewno nie będzie tautologii gdy na końcu będzie 1 i 0 


  • 0

#6 Jarekzulus

Jarekzulus

    Wielki Analityk

  • +Mods
  • Redaktor
  • 4210 postów
3410
Profesor
  • Płeć:Mężczyzna

Napisano 17.10.2018 - 21:35

Toż właśnie to napisałem ;)

 

To jedyny układ nie będący tautologią

 

Teraz rozważ kiedy taki układ zachodzi


Użytkownik Jarekzulus edytował ten post 17.10.2018 - 21:36

  • 1

:wave: :wave: :wave: Jeśli rzuciłem choć promyczek światła na problem który postawiłeś - podziękuj. pre_1433974176__syg.jpgNad kreską


#7 Trex

Trex

    Przeliczalny

  • Użytkownik
  • 35 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 17.10.2018 - 22:36

Nie parzysta liczba zer w jednym ciągu w sensie po kolei zawsze się zeruje chyba ze zostanie przerwana przez parzyste zero lub jedynkę


  • 0