Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

        STUDIA        

Metoda rezolucji

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 - 17:14

Stosując metodę rezolucji udowodnić, że poniższa formuła KRP jest tautologią.

Ǝx(Q(x)\wedgeR(x))\RightarrowƎxQ(x)\wedgeƎxR(x)

 


  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55





Tematy podobne do: Metoda rezolucji     x