| |
| Rad 1: |
Rad 1: |
| − | <hbox type="h1" iconcolor="wordlist" iconimg="289"><translate>Implikation</translate></hbox> | + | <hbox type="h1" iconcolor="wordlist" iconimg="289"><translate><!--T:1--> |
| − | <translate>En implikation är ett samband av typen "Om ..., så ...". T.ex. råder en implikation mellan påståendena A: "Figuren är en kvadrat" och B: "Figuren är en fyrhörning". Man brukar använda en pil för att visa att ett påstående implicerar, eller '''leder till''', ett annat: | + | Implikation</translate></hbox> |
| | + | <translate><!--T:2--> |
| | + | En implikation är ett samband av typen "Om ..., så ...". T.ex. råder en implikation mellan påståendena A: "Figuren är en kvadrat" och B: "Figuren är en fyrhörning". Man brukar använda en pil för att visa att ett påstående implicerar, eller '''leder till''', ett annat: |
| | </translate> | | </translate> |
| | | | |
| | <PGFTikz> | | <PGFTikz> |
| − | <translate>[[File:Implikation_wordlist.svg|center|link=]]</translate> | + | <translate><!--T:3--> |
| | + | [[File:Implikation_wordlist.svg|center|link=]]</translate> |
| | | | |
| | TAGS: | | TAGS: |
| Rad 11: |
Rad 14: |
| | </PGFTikZPreamble> | | </PGFTikZPreamble> |
| | \begin{tikzpicture}[scale=1] | | \begin{tikzpicture}[scale=1] |
| − | \node [font=\footnotesize,inner sep=6,align=center,Infobox] (m) at (0,0) {<translate>Om...\\[0.5em]$A$: figuren är en kvadrat\\[0.5em]så...\\[0.5em] $B$: är den en fyrhörning\\[1em] $A \Rightarrow B$</translate>}; | + | \node [font=\footnotesize,inner sep=6,align=center,Infobox] (m) at (0,0) {<translate><!--T:4--> |
| | + | Om...\\[0.5em]$A$: figuren är en kvadrat\\[0.5em]så...\\[0.5em] $B$: är den en fyrhörning\\[1em] $A \Rightarrow B$</translate>}; |
| | \draw [Infoboxbordercolor] (m.-159)--(m.-21); | | \draw [Infoboxbordercolor] (m.-159)--(m.-21); |
| | \end{tikzpicture} | | \end{tikzpicture} |
| | </PGFTikz> | | </PGFTikz> |
| | | | |
| − | <translate>Notera att implikationen, i det här fallet, '''inte''' gäller åt andra hållet: Att figuren är en fyrhörning betyder inte nödvändigtvis att den är en kvadrat. Det finns ju många typer av fyrhörningar.</translate> | + | <translate><!--T:5--> |
| | + | Notera att implikationen, i det här fallet, '''inte''' gäller åt andra hållet: Att figuren är en fyrhörning betyder inte nödvändigtvis att den är en kvadrat. Det finns ju många typer av fyrhörningar.</translate> |
| | | | |
| | <PGFTikz> | | <PGFTikz> |
| Rad 40: |
Rad 45: |
| | \end{tikzpicture} | | \end{tikzpicture} |
| | </PGFTikz> | | </PGFTikz> |
| − | <t1><translate>Det finns dock många fall då implikationen faktiskt gäller åt båda håll, vilket kallas för en [[Ekvivalens *Wordlist*|ekvivalens]].</translate></t1> | + | <t1><translate><!--T:6--> |
| | + | Det finns dock många fall då implikationen faktiskt gäller åt båda håll, vilket kallas för en [[Ekvivalens *Wordlist*|ekvivalens]].</translate></t1> |
| | | | |
| | [[Kategori:Wordlist]] | | [[Kategori:Wordlist]] |
En implikation är ett samband av typen "Om ..., så ...". T.ex. råder en implikation mellan påståendena A: "Figuren är en kvadrat" och B: "Figuren är en fyrhörning". Man brukar använda en pil för att visa att ett påstående implicerar, eller
leder till, ett annat:
Notera att implikationen, i det här fallet, inte gäller åt andra hållet: Att figuren är en fyrhörning betyder inte nödvändigtvis att den är en kvadrat. Det finns ju många typer av fyrhörningar.
Det finns dock många fall då implikationen faktiskt gäller åt båda håll, vilket kallas för en .
