|
Formule bine formate
Logica predicatelor
|
səhifə | 8/14 | tarix | 05.01.2022 | ölçüsü | 464 b. | | #69574 |
| Formule bine formate
Logica predicatelor Sunt numeroase cazurile în care un enunţ depinde de mai multe argumente De exemplu, în propoziţia „Socrate este om”, avem de-a face cu o clasă, cea a oamenilor, şi cu un obiect care are proprietăţile corespunzătoare clasei În această situaţie, avem de-a face cu un predicat Instanţa „Socrate” face predicatul „om” adevărat: - Afirmaţie: Socrate este om.
- Reprezentare: om(Socrate)
Cuantificatori
Cuantificatori
Logica predicativă şi limbajul natural În limbajul natural, multe propoziţii sunt ambigue şi pentru ele există mai multe moduri de reprezentare Reprezentările simple sunt preferabile, însă pot face imposibile unele tipuri de raţionament
Dostları ilə paylaş:
|
|
|