szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 19 sty 2018, o 09:42 
Użytkownik

Posty: 5
Lokalizacja: Biadki
Stosując metodę rezolucji udowodnić, że poniższa formuła KRP jest tautologią.
Ǝx(Q(x)\wedgeR(x))\RightarrowƎxQ(x)\wedgeƎxR(x)
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Metoda Tableaux dla KRP - dlaczego negujemy formułę?  edaro  0
 Logika-metoda jedynkowa  Asuel  3
 Metoda sprawdzania tautologii  iksinski  1
 rachunek form zdaniowych tautologia. co z tym T  tubo  7
 Rachunek Zadań. Tautologia  Notrem  5
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl