Mal:Setningslogikk: Forskjell mellom sideversjoner
Hopp til navigering
Hopp til søk
Ingen redigeringsforklaring |
m (Én sideversjon ble importert) |
||
| (2 mellomliggende versjoner av 2 brukere er ikke vist) | |||
| Linje 30: | Linje 30: | ||
| width="6.25%" | [[Subjunksjon (logikk)|''hvis'' A,<br />''så'' B]] |
| width="6.25%" | [[Subjunksjon (logikk)|''hvis'' A,<br />''så'' B]] |
||
| width="7.75%" | [[Eksklusjon (logikk)|A ''NAND'' B]] |
| width="7.75%" | [[Eksklusjon (logikk)|A ''NAND'' B]] |
||
| width="5.50%" | [[Tautologi|sant]] |
| width="5.50%" | [[Tautologi (logikk)|sant]] |
||
|} |
|} |
||
|----- |
|----- |
||
| Linje 57: | Linje 57: | ||
| width="6.25%" | [[Subjunksjon (logikk)|1<br />1<br />0<br />1]] |
| width="6.25%" | [[Subjunksjon (logikk)|1<br />1<br />0<br />1]] |
||
| width="7.75%" | [[Eksklusjon (logikk)|1<br />1<br />1<br />0]] |
| width="7.75%" | [[Eksklusjon (logikk)|1<br />1<br />1<br />0]] |
||
| width="5.50%" | [[Tautologi|1<br />1<br />1<br />1]] |
| width="5.50%" | [[Tautologi (logikk)|1<br />1<br />1<br />1]] |
||
|} |
|} |
||
|} |
|} |
||
|----- |
|----- |
||
| <p>'''[[Sannhetsfunksjon]]er''': [[abjunksjon]] | [[inklusiv disjunksjon| |
| <p>'''[[Sannhetsfunksjon]]er''': [[abjunksjon]] | [[inklusiv disjunksjon|inklusiv disjunksjon (adjunksjon)]] | [[bisubjunksjon|bisubjunksjon (ekvijunksjon,ekvivalens)]] | [[eksklusjon (logikk)|eksklusjon]] | [[subjunksjon (logikk)|subjunksjon (implikasjon)]] | [[injunksjon]] | [[konjunksjon (logikk)|konjunksjon]] | [[eksklusiv disjunksjon|eksklusiv disjunksjon (alternativ, antivalens, kontrajunksjon, kontravalens)]] | [[negasjon]]</p> |
||
|} |
|} |
||
<noinclude> |
<noinclude> |
||