Fil:Deduction symbols2.gif
Utseende
Deduction_symbols2.gif (68 × 30 pixlar, filstorlek: 948 byte, MIME-typ: image/gif)
Filhistorik
Klicka på ett datum/klockslag för att se filen som den såg ut då.
Datum/Tid | Miniatyrbild | Dimensioner | Användare | Kommentar | |
---|---|---|---|---|---|
nuvarande | 25 februari 2008 kl. 00.40 | 68 × 30 (948 byte) | Åke Persson | {{Information |Description= |Source=self-made |Date=2008 |Author= Åke Persson |Permission= |other_versions= }} |
Filanvändning
Följande 31 sidor använder den här filen:
- Eller-eliminering
- Eller-introducering
- Giltig (logik)
- HS-regeln
- Kontradiktion
- Logisk sanning
- Modallogik
- Modus ponens
- Modus tollendo ponens
- Modus tollens
- Nödvändiga och tillräckliga villkor
- Och-eliminering
- Och-introducering
- Reductio ad absurdum-regeln
- Sanning
- Satslogik
- Slutledningsregel
- Sund (logik)
- Tautologi (logik)
- Användare:Kyllo
- Användare:SpaceGrape
- Användare:Spisen
- Användare:Voyager85/användarrutor
- Användare:Åke Persson
- Användare:Åke Persson/tautologi och logisk sanning
- Wikipedia:Layoutlista över användarrutor efter intresse
- Wikipedia:Projekt logik
- Wikipedia:Projekt logik/funktionerochregler
- Mall:Användare logik
- Mall:Deduktion
- Mall:Slutledningsregler