1 |
predikatlogisk formelEt velformet uttrykk i predikatlogikk som kan inneholde kvantorer (s.d.), individvariable (s.d.), individkonstanter , generelle konstanter (s.d.) og utsagnslogiske konstanter . En slik formel viser e [..]
|
<< pre due diligence | preferanse >> |