Logisk konnektiv: Forskelle mellem versioner

Content deleted Content added
Flytter igen "indledning" til indledningen
2 slåfejl og alvorlige fejl i tabeller
Linje 27:
 
== Konjunktion ٨ ==
'''Konjunkion''' er et logisk konnektiv, som knytter 2 udsagn sammen. Konjunktion har værdien sand, når og kun når begge udsagn er sande. I alle andre tilfælde har konjunktion værdien falsk. På dansk bruges normalnormalt ''og'' mellem to sætninger til at udtrykke konjunktion, men man bruger ''både ... og ...'' hvis man vil præcisere at man mener konjunktion mellem sætningerne og ikke er interesseret i den tidslige rækkefølge som ofte er implicit når man blot siger ''og''. Ordet ''men'' bruges i stedet for ''og'' når man vil angive en konkunktion af to udsagn der har et vist modsætningsforhold.
 
 
Linje 101:
 
== Implikation ⇒ ==
'''Implikation''' er et logisk konnektiv, som knytter 2 udsagn sammen. Implikation-funktionen har værdien falsk, når udsagn nummer et er sandt, og udsagn nummer to er falsk. I alle andre tilfælde har implikation-funktionen værdien sand. I mange sammenhænge vil man på dansk kunne bruge udtryk som ''medfører'' eller ''hvis... så...'' til at angive implikation, men da disse sproglige udtryk i almiindelighedalmindelighed implicit indikerer at der er et årsagsforhold eller forklaringsforhold mellem udsagnene, vil sådanne udtryk i nogen situationer kunne være meget dårlige oversættelser af implikation som logisk konnektiv.
 
 
Linje 162:
! width="75px" | X <math>\downarrow</math> Y
|-----
| align="center" | 1 || align="center" | 01
| align="center" | 10
|-----
| align="center" | 1 || align="center" | 0
Linje 186:
! width="75px" | Y
! width="75px" | X <math>\mid</math> Y
|-----
| align="center" | 1 || align="center" | 01
| align="center" | 0
|-----
| align="center" | 1 || align="center" | 0
| align="center" | 1
|-----
| align="center" | 1 || align="center" | 0
| align="center" | 0
|-----
| align="center" | 0 || align="center" | 1
| align="center" | 01
|-----
| align="center" | 0 || align="center" | 0