MAA11 Kähkönen

Esimerkit

a)
45\equiv3\left(mod\ 7\right)\ \Leftrightarrow\ \frac{45-3}{7}=\frac{42}{7}=6\ \text{on}\ \text{kokonaisluku}
joten on kongruentti modulo 7.

b)
19\equiv-37\left(mod\ 8\right)\ \Leftrightarrow\ \frac{19-\left(-37\right)}{8}=\frac{56}{8}=7\ \text{on}\ \text{kokonaisluku}
joten on kongruentti modulo 8.

c)
376\equiv0\left(mod\ 8\right)\ \Leftrightarrow\ \frac{376-0}{8}=\frac{376}{8}=\ 47\ \text{on}\ \text{kokonaisluku}
joten on kongruentti modulo 8.
ESIM 2
Onko 45\equiv5\left(mod\ 7\right)?
45 = 7*6 + 3
5 = 7*0 + 5
Jakojäännös on eri, joten eivät ole kongruentteja.

0. Logiikasta

Logiikka (kreikan sanasta λογική [logikē], johdettu sanasta λόγος [logos], ”sana”, ”järjestys”, ”järki”) on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä.”
Logiikka. (2.2.2015). Wikipedia. Haettu 19.09, 6.10.2015 osoitteesta http://fi.wikipedia.org/w/index.php?title=Logiikka&oldid=14635879.

ESIM 1.

Premissi 1: Kaikki ihmiset ovat kuolevaisia.

Premissi 2: Sokrates on ihminen.

Johtopäätös: Sokrates on kuolevainen.

ESIM 2.

Premissi 1: Esko on mies.
Premissi 2: Mies ei ole nainen.

Johtopäätös: Esko ei ole nainen.

 

ESIM 3.

	Ratkaise yhtälö 2x – 3 = 7.
		2x – 3	=	7	|| Lisätään puolittain 3, –a = + (–a)
	⇔	2x + (–3) + 3 =	7 + 3	|| Vastalukujen summa = 0, sievennys
	⇔	2x + 0	=	10	|| Nollan lisääminen a + 0 = a
	⇔	2x	=	10	|| Kerrotaan puolittain luvulla ½, osittelulaki
	⇔	(½ * 2) * x =	½ * 10	|| Käänteislukujen tulo = 1
	⇔	1 * x	=	5	|| Ykkösellä kertominen 1a = a
	⇔	x	=	5

 

ESIM 4. Kaksi-Maassa syylliset valehtelevat aina ja syyttömät puhuvat totta. Aramir ja Beramir ovat epäiltyjä. Aramir kertoo: ”Olen syyllinen tai Beramir on syyllinen.” Beramir puolestaan totetaa: ” Olen syyllinen ja Aramir on syyllinen.” Mikä on totuus?

Ratkaisu:

A = 1 tarkoittaa "Aramir syyllinen"
B = 1 tarkoittaa "Beramir syyllinen"
 

\begin{array}{l|l}
A&B&A\ tai\ B&B\ ja\ A\\
\hline
1&1&1&1\\
1&0&1&0\\
0&1&1&0\\
0&0&0&0
\end{array}

Aramir on syytön ja Beramir syyllinen (kolmannella rivillä syytön A puhuu totta (1) ja syyllinen B valehtelee (0)).