Completaţi spaţiile punctate astfel încât enunţurile să dobândească un sens şi să exprime o regulă.

Completaţi spaţiile goale cu răspunsul corect. La final apăsaţi butonul „Verifică” pentru a afla rezultatul. În urma apăsării butonului „Verifică”, orice răspuns greşit va rămâne aşa cum este pentru a vă da posibilitatea să-l corectaţi, iar toate răspunsurile corecte vor deveni nemodificabile. Dacă nu ştiţi să rezolvaţi un spaţiu, apăsaţi butonul „[?]” pentru a primi indicaţii de rezolvare. De asemenea, dacă apăsaţi butonul „Indiciu” se va adăuga răspunsului dumneavoastră următoarea literă corectă. Reţineţi ca veţi pierde puncte dacă folosiţi indicaţii sau indicii!
a) În cazul conversiunilor valide simple, premisa şi concluzia au întotdeauna .
b) La obversiune, bara mare de deasupra concluziei semnifică faptul că propoziţia cu rol de concluzie este o propoziţie , iar bara mică de deasupra lui P indică faptul că predicatul concluziei reprezintă .
c) In cazul inferenţelor bazate pe obversiune, premisa şi concluzia au întotdeauna , fiind astfel .