szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 7 kwi 2008, o 18:34 
Użytkownik

Posty: 260
Cytuj:
Przyjmujemy schemat, że jest regułą wnioskowania, jeśli wyrażenie Z_{1}  \wedge Z_{2} \wedge ... \wedge Z_{n})  \Rightarrow T jest prawem rachunku zdań. Jeśli w regule wnioskowania wszystkie zdania nad kreską (założenia) są prawdziwe, to prawdziwe jest zdanie pod kreską (wniosek).


Treść zadania brzmi - który z podanych schematów jest regułą wnioskowania?
Mam problem, bo nie wiem jak podejść do tego zadania. Czy mam wykazać ze zdanie Z_{1}  \wedge Z_{2} \wedge ... \wedge Z_{n})  \Rightarrow T jest tautologią? Czy mam przeanalizować wszystko nad kreską czy jest prawdą (i w takim wypadku twierdzenie jest słuszne)?

Pozdrawiam Maks
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Reguła wnioskowania - zadanie 6  bob1000  0
 Reguła wnioskowania - zadanie 7  Wlad330  2
 reguła wnioskowania - zadanie 4  goha512  2
 reguła wnioskowania - zadanie 3  17inferno  1
 Reguła wnioskowania - zadanie 5  namruf15  6
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl