Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie
        STUDIA        

Zbadaj, które z podanych niżej schematów są tautologiami

Rachunek zdań Rachunek kwantyfikatorów

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

#1 Tom_SL

Tom_SL

    Nowicjusz

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

Napisano 30.11.2018 - 20:18

Zbadaj, które z podanych niżej schematów są tautologiami k.r.z. 

  1. {p → (p ^ q)} → (¬ q  → ¬ p)
  2. ¬ (p ^ q) ↔ (¬ p ^ ¬ q)

Zapisz następujące wyrażenie przy pomocy symboliki wprowadzonej w rachunku zdań, a następnie określ, czy jest ono tautologią klasycznego rachunku zdań. 

„Jeśli umiesz tańczyć, to umiesz chodzić i jeśli umiesz chodzić, to umiesz leżeć, a zatem umiesz tańczyć lub umiesz chodzić.”

Sprawdź, czy ten schemat jest tautologią 


  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55

#2 Jarekzulus

Jarekzulus

    Wielki Analityk

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

Napisano 30.11.2018 - 22:38

Uwaga!

Regulamin punkt 8 mówi:

 

Pamiętaj o przejrzystym zapisie. O ile to możliwe, staraj się używać MimeTeX .
Szanuj czas i ułatw pracę osobie, która będzie chciała Ci pomóc. Szybciej to zrobi, gdy zadanie będzie czytelne.

Proszę poprawić zapis.


Uwaga!

Regulamin punkt 4 mówi:

 

Jedno zadanie = jeden temat.
Wiadomości zawierające kilka zadań zostaną przesunięte na Wysypisko.
Zasada ta nie dotyczy zestawów zadań, które są ze sobą ściśle powiązane, np. "zadanie 2: oblicz objętość bryły z zadania 1."

Proszę umieścić w poście tylko jedno zadanie, a dla reszty utworzyć nowe tematy.

 

Mniej to na uwadze!!!

 

Jako, że to pierwszy post

1. Zbadaj, które z podanych niżej schematów są tautologiami k.r.z.

 

a) (p\Rightarrow (p\wedge q))\Rightarrow (\neg q\Rightarrow \neg p)

 

Rozwiązujesz metodą 0-1

pre_1543614637__zero1.jpg

 

zobacz także tu

http://matma4u.pl/to...logią/?p=113429


Użytkownik Jarekzulus edytował ten post 30.11.2018 - 22:54

  • 0

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