Kasutaja:Rannilo/Implikatsioon: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
tagasiside |
||
7. rida:
# 𝑝 ⊃ 𝑞 (Seda sümbolit kasutatakse ka alamhulga-ülemhulga seose tähistamiseks [[Hulgateooria|hulgateoorias]]);
# 𝑝 ⇒ 𝑞
# C𝑝𝑞 (kasutades [[
Ülal tähistatud implikatsioonitehete juures kutsutakse lausemuutujaid järgmiselt:
13. rida:
* ''q'' on implikatsiooni '''[[Järeldus (traditsiooniline loogika)|järeldus]]''' (ehk konsekvent ehk tagajärg). <ref name=":0" />
Klassikalises loogikas on
Loomulikus keeles vastab implikatsiooni tehtele kõige lähedamalt lausekonstruktsioon "kui ..., siis ...". Nt "Kui täna on esmaspäev, siis homme on teisipäev." <ref>{{Netiviide|Autor=|URL=http://entsyklopeedia.ee/artikkel/implikatsioon%E2%86%92|Pealkiri=Eesti entsüklopeedia|Väljaanne=|Aeg=|Kasutatud=}}</ref>
53. rida:
* [[transitiivsus]]: jah. <math>(a \rightarrow b) \rightarrow ((b \rightarrow c) \rightarrow (a \rightarrow c))</math>
* [[refleksiivsus]]: jah. <math>a \rightarrow a</math>
* tõesust säilitav: jah
* eelduste kommutatiivsus: jah.<math>(a \rightarrow (b \rightarrow c)) \equiv (b \rightarrow (a \rightarrow c))</math>
| |||