| |
(En mellanliggande version av samma användare visas inte)
|
| Rad 16: |
Rad 16: |
| | | | |
| | \node [inner sep=4,align=left] (m) at (0,0) {<translate><!--T:4--> | | \node [inner sep=4,align=left] (m) at (0,0) {<translate><!--T:4--> |
| − | $A$: Om triangeln är rätvinklig\\[0.5em]$B$: så gäller Pythagoras sats. \\[1.5em] $A$: Om Pythagoras sats gäller \\[0.5em]$B$: så är triangeln rätvinklig.</translate>}; | + | $A$: Om triangeln är rätvinklig\\[0.5em]$B$: så gäller Pythagoras sats. \\[1.5em] $B$: Om Pythagoras sats gäller \\[0.5em]$A$: så är triangeln rätvinklig.</translate>}; |
| | \draw [Infoboxbordercolor,line join=bevel] (-1.95,0.022)--++(5,0); | | \draw [Infoboxbordercolor,line join=bevel] (-1.95,0.022)--++(5,0); |
| | | | |
| Rad 27: |
Rad 27: |
| | | | |
| | <translate><!--T:5--> | | <translate><!--T:5--> |
| − | Detta är en "dubbelimplikation" och kombinerar man pilen åt höger med pilen åt vänster får man tecknet för '''ekvivalens''', vilket är en dubbelpil.</translate>
| + | Man kan därför kombinera pilarna för att få tecknet för ekvivalens, vilket är en dubbelpil. |
| | + | </translate> |
| | <eqbox> | | <eqbox> |
| | $A \Leftrightarrow B$ | | $A \Leftrightarrow B$ |
Ordet ekvivalens kan tolkas som
likvärdig. Om två uttryck har samma värde, som
2+5 och
3+4, eller om två påståenden har samma innebörd säger man att de är ekvivalenta. Påstående A: "Triangeln är rätvinklig" är helt likvärdigt (ekvivalent) med påstående B: "Pythagoras sats gäller", eftersom detta är en som gäller åt båda håll.
Man kan därför kombinera pilarna för att få tecknet för ekvivalens, vilket är en dubbelpil.
