Stosując metodę rezolucji udowodnić, że poniższa formuła KRP jest tautologią.
Ǝx(Q(x)R(x))ƎxQ(x)ƎxR(x)
Napisano 13.01.2018 - 17:14
Stosując metodę rezolucji udowodnić, że poniższa formuła KRP jest tautologią.
Ǝx(Q(x)R(x))ƎxQ(x)ƎxR(x)
Napisano 25.09.2011 - 17:55
Rachunek zdań, rachunek kwantyfikatorów
Metoda rezolucji a tautologia LPR.Napisany przez eloandzej , 10 Feb 2013 STUDIA |
|
|