Matematiikka:implikaatio (looginen konnektiivi)

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.

Määritelmä looginen konnektiivi, joka yhdistää kaksi propositiota $p_1$ ja $p_2$ propositioksi "$p_1$ implikoi proposition $p_2$" (merkitään $p_1\to p_2$, joka on muuten tosi, mutta epätosi silloin, kun $p_1$ on tosi ja $p_2$ epätosi

Selite Propositio Jäsentäminen epäonnistui (tuntematon funktio ”\rigtarrow”): {\displaystyle p_1 \rigtarrow p_2} voidaan kirjoittaa disjunktion ja negaation avulla ekvivalentissa muodossa $\mathrm{\neg }{p}_1\vee p_2$.

Implikaation Jäsentäminen epäonnistui (tuntematon funktio ”\rigtarrow”): {\displaystyle p_1 \rigtarrow p_2} ideana on, että se ilmaisee proposition $p_2$ olevan proposition $p_1$ looginen seuraus. Propositio Jäsentäminen epäonnistui (tuntematon funktio ”\rigtarrow”): {\displaystyle p_1 \rigtarrow p_2} voidaan siis lukea myös "jos $p_1$, niin $p_2$,

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 7.12.2025: Matematiikka:implikaatio (looginen konnektiivi). (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:implikaatio (looginen konnektiivi).)

Siirry tarkastelemaan sivun muokkaushistoriaa →