Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

        STUDIA        

Tautologia rachunku zdań

Rachunek zdań Rachunek kwantyfikatorów

  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
Brak odpowiedzi do tego tematu

#1 Gość_Karis126_*

Gość_Karis126_*
  • Gość

Napisano 13.01.2018 - 16:30

Podaną formułę (p \Rightarrow q \vee r) \Rightarrow (q \wedge r \Rightarrow\neg p) sprowadzić metodą przekształceń równoważnościowych do postaci normalnej i sprawdzić, czy jest ona tautologią rachunku zdań. Odpowiedź uzasadnić.


Użytkownik Karis126 edytował ten post 13.01.2018 - 16:34

  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55