Declarații cu parametri în logica propozițională
|
Vom dezvolta câteva formule în matematica logicii propoziționale. Mai întâi trebuie să introducem o notație de bază. Definiție: O variabilă este o literă folosită pentru a se referi la o cantitate sau un obiect matematic fără a fi nevoie să … Citeşte mai mult