Testovye_zadania_po_matematicheskoy_logike

а) непротиворечивое ее расширение

б) непротиворечивое полное ее расширение

в) полное ее расширение

г) противоречивое полное расширение

№18. Правило, позволяющее переходить от к называется

а) правилом индивидуализации

б) правилом существования

в) правилом С

г) правилом всеобщности

№19. Найдите предваренную нормальную форму формулы :

а)

б)

в)

г)

№20. Найдите предваренную нормальную форму формулы :

а)

б)

в)

г)