Predikata logiko: Malsamoj inter versioj

Ja, [[logiko|la unuan varianton de tiu teorio]] kreis jam [[Aristotelo]], sed la nova regularo permesas ne nur meti objektojn intern predikatojn, sed fari pli malsimple. La predikata logiko estas etendiĝo de la propozicia logiko, ĉar ĝi aldonas pliajn logikajn simbolojn, sed ankoraŭ povas esprimi ĉiujn formulojn de la [[propozicia logiko]]. Eblas krei eĉ pli ampleksajn logikajn [[sistemo]]jn, kiel la [[epistema logiko]] aŭ la [[modala logiko]], sed ili estas pli [[disputo|disputeblaj]]