Stránka 1 z 1
Otázky z minitestíku
Napsal: 29. 6. 2006 17:37
od Dolda
Nepamatujete si někdo, jaké byly otázky v tom minitestíku na začátku?
Já přihodim co si pamatuju:
- které z následujících flí jsou dokazatelné z formule (nepamatuju si) jenom pomocí VD a MP?
Napsal: 30. 6. 2006 11:19
od Dawe
no pak tam bylo třeba jestli A v B je CNF (což je)
něco ve smyslu: A->((A->A)->A) jestli je axiom VL, PL nebo schema axiomu PL
Pak něco jestli je něco fle (většinou není když je tam |= nebo |- a nebo když je to blbě uzávorkovaný)
Když mám něco ve smyslu |-A->((A->B)->C)
tak pomocí VD a MP jde dokázat jen něco , kde jsou všechny tyhle věci, takže ne třeba A->B,A|-B
pak něco s V a E a třeba jestli (Ex)(Vx)A(x) je ekviv s (Ex)A(x)(není) nebo s (Vx)A(x) (je),
pak taky něco co je term či formule...
Napsal: 30. 6. 2006 17:26
od rastik
Dnes bol minitestik drsnejsi, aspon v mojej verzii (B) boli napr. otazky ohladne Robinsonovej aritmetiky (uplnost, rozhodnutelnost, ...). Plus cely jeden priklad (6b tusim) na vetu o uplnosti, ale ten sa nastastie dal.