Predicatenlogica: verschil tussen versies

Een eenvoudig voorbeeld van prediceren over een predicaat, is als ''belangrijk zijn'' wordt uitgedrukt met '''B''', en we ''het nuttig zijn is belangrijk'' uitdrukken met: '''B'''(N). De zin ''Wikipedia is nuttig en nuttig zijn is belangrijk'' zouden we vervolgens kunnen weergeven als: N(w) ∧ '''B'''(N). Het voegteken ∧ is de [[logische conjunctie|conjunctie]]. Het symbool & wordt hier ook wel voor gebruikt.

 

[[Categorie:Theoretische informatica]]