Predicatenlogica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
betere eerste zin |
kGeen bewerkingssamenvatting |
||
Regel 13:
Een eenvoudig voorbeeld van prediceren over een predikaat, 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:Logica
[[Categorie:Theoretische informatica]]
[[cs:Predikátová logika]]
|