Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie
        STUDIA        

Metoda rezolucji

Rachunek zdań Rachunek kwantyfikatorów

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

#1 Karis126

Karis126

    Pierwsza pochodna

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

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