Kide : Sartu |Izena eman |Ez, eskerrik ezagutza
Search for
Proposizio kalkulua [Eraldatu ]
Proposiziozko kalkulua (proposizio logikoa ere deitzen zaio, adierazpen logikoa, sententziaren kalkulua, logika sententziala edo batzuetan zeroth-ordena logika) proposizioen azterketari dagokionez (egia ala gezurra diren) beste proposizio batzuek osatzen dute. konexio logikoen erabilera. Lehen ordenako logika proposizioaren logika zabaltzen da proposizio bat "bakoitzerako", "existitzen", "berdintasuna" eta "kidetza" bezalako eraikuntza gisa adierazteko, eta proposizioaren logikan proposizioak atomo gisa pentsatzen dira.
[Logika][Lehen mailako ordena logikoa]
1.azalpena
2.Historia
3.terminologia
4.Oinarrizko kontzeptuak
4.1.Eragiketa pean itxita
4.2.argumentu
5.Proposiziozko kalkulu baten deskribapen generikoa
6.Adibidez 1. Axioma sistema sinplea
7.2. adibidea. Zahartze naturalaren sistema
8.Oinarrizko eta eratorritako argumentu formak
9.Prozesu kalkuluan proposizioan
9.1.Proba baten adibidea
10.Arauen osotasuna eta osotasuna
10.1.Soinu-froga baten zirriborroa
10.2.Osotasuna egiaztatzeko zirriborroa
10.3.Osotasunerako froga baten zirriborroa
11.Proposiziozko kalkulu egia eta funtzionalaren interpretazioa
11.1.Egintza funtzionalaren logika esaldi baten interpretazioa
12.Kalkulu alternatiboa
12.1.axiomak
12.2.Inferentzia araua
12.3.Meta-inferentzia araua
12.4.Proba baten adibidea 2
13.Ekuazioen logika berdintasuna
14.Kalkulu grafikoak
15.Beste kalkulu logiko batzuk
16.solvers
[Igo Gehiago Edukiak ]


Copyright @2018 Lxjkh