Iti0210ex7 - Redigeerimiste ajalugu

PriitJ: /* Loogika ja järeldamine */

2021-03-12T08:20:41Z

Loogika ja järeldamine

←Vanem redaktsioon		Redaktsioon: 12. märts 2021, kell 10:20
1. rida:		1. rida:
	= Loogika ja järeldamine =		= Loogika ja järeldamine =

	Kasuta solverit http://logictools.org		Kasuta solverit http://logictools.org/prop.html

	== Soojendus ==		== Soojendus ==

2021-03-11T15:34:47Z

Loogika ja järeldamine

←Vanem redaktsioon		Redaktsioon: 11. märts 2021, kell 17:34
2. rida:		2. rida:

	Kasuta solverit http://logictools.org		Kasuta solverit http://logictools.org

	~~Hoiatus: vali lahendusmeetodiks ''resolution'' või ''truth table'', ''dpll'' võib olla bugine~~

	== Soojendus ==		== Soojendus ==

2021-03-11T15:32:10Z

Tõestus

←Vanem redaktsioon		Redaktsioon: 11. märts 2021, kell 17:32
28. rida:		28. rida:
	== Tõestus ==		== Tõestus ==

	Tõesta DeMorgani seadus		Tõesta DeMorgani seadus. Selleks on vaja näidata, et allpool toodud ekvivalents alati kehtib. Kui nii on, siis võib alati ühe poole teisega asendada ja tegu ongi "seadusega".

	<code>~(A & B) <=> ~A v ~B</code>		<code>~(A & B) <=> ~A v ~B</code>
35. rida:		35. rida:
	'''Lahendus'''		'''Lahendus'''
	<div class="mw-collapsible-content">		<div class="mw-collapsible-content">
	~~Tegu on "seadusega" siis kui ta kehtib igal juhul.~~ Sisesta valemikasti <code>~(A & B) <=> (~A v ~B)</code>, vajuta "Build" truth table ja kui näed et valemi väärtus alati 1, siis tegu ongi tõestusega (''case by case'').		Sisesta valemikasti <code>~(A & B) <=> (~A v ~B)</code>, vajuta "Build" truth table ja kui näed et valemi väärtus alati 1, siis tegu ongi tõestusega (''case by case'').
	</div></div>		</div></div>

2020-03-15T17:09:21Z

Tõestus

←Vanem redaktsioon		Redaktsioon: 15. märts 2020, kell 19:09
28. rida:		28. rida:
	== Tõestus ==		== Tõestus ==

	Tõesta DeMorgani seadus ~~ühes suunas~~		Tõesta DeMorgani seadus

	<code>~(A & B) -> ~A v ~B</code>		<code>~(A & B) <=> ~A v ~B</code>

	<div class="toccolours mw-collapsible mw-collapsed" style="width:400px; overflow:auto;">		<div class="toccolours mw-collapsible mw-collapsed" style="width:400px; overflow:auto;">
	'''Lahendus'''		'''Lahendus'''
	<div class="mw-collapsible-content">		<div class="mw-collapsible-content">
	Tegu on "seadusega" siis kui ta kehtib igal juhul. Sisesta valemikasti <code>~(A & B) -> (~A v ~B)</code>, vajuta "Build" truth table ja kui näed et valemi väärtus alati 1, siis tegu ongi tõestusega (''case by case'').		Tegu on "seadusega" siis kui ta kehtib igal juhul. Sisesta valemikasti <code>~(A & B) <=> (~A v ~B)</code>, vajuta "Build" truth table ja kui näed et valemi väärtus alati 1, siis tegu ongi tõestusega (''case by case'').
	</div></div>		</div></div>

2020-03-15T17:00:48Z

@@ 37. rida: / 37. rida: @@
 Tegu on "seadusega" siis kui ta kehtib igal juhul. Sisesta valemikasti <code>~(A & B) -> (~A v ~B)</code>, vajuta "Build" truth table ja kui näed et valemi väärtus alati 1, siis tegu ongi tõestusega (''case by case'').
 </div></div>
 == Teadmusbaas ==
@@ 55. rida: / 92. rida: @@
 <code>unicorn is horned</code>
 [[Category:Iti0210]]

2020-03-15T16:40:56Z

Soojendus

←Vanem redaktsioon		Redaktsioon: 15. märts 2020, kell 18:40
25. rida:		25. rida:

	Avaldise väärtus on sümboli "&" all, sest see on kõige viimane tehe, mis tehakse. Nagu näha, siis vastus on A=0, B=1. Võid seda käsitsi kontrollida.		Avaldise väärtus on sümboli "&" all, sest see on kõige viimane tehe, mis tehakse. Nagu näha, siis vastus on A=0, B=1. Võid seda käsitsi kontrollida.

	~~Vaata nüüd, mis juhtub kui vajutad "Solve" nupule (vali lahendusmeetodiks "resolution").~~

	~~<pre>~~
	~~Clause set is true for some assignment of values to variables.~~
	~~</pre>~~

	== Tõestus ==		== Tõestus ==

2020-03-15T16:37:57Z

Tõestus

←Vanem redaktsioon		Redaktsioon: 15. märts 2020, kell 18:37
41. rida:		41. rida:
	'''Lahendus'''		'''Lahendus'''
	<div class="mw-collapsible-content">		<div class="mw-collapsible-content">
	~~Lahendus siin~~		Tegu on "seadusega" siis kui ta kehtib igal juhul. Sisesta valemikasti <code>~(A & B) -> (~A v ~B)</code>, vajuta "Build" truth table ja kui näed et valemi väärtus alati 1, siis tegu ongi tõestusega (''case by case'').
	</div></div>		</div></div>

	~~Tõesta Modus Ponens~~

	~~<code>(P & (P -> Q)) -> Q</code>~~

	== Teadmusbaas ==		== Teadmusbaas ==

2020-03-15T16:29:51Z

Soojendus

←Vanem redaktsioon		Redaktsioon: 15. märts 2020, kell 18:29
8. rida:		8. rida:

	Leia kõik väärtustused mil <code>(A v B) & ~A</code> on tõene		Leia kõik väärtustused mil <code>(A v B) & ~A</code> on tõene

			'''Lahendus'''

			Sisesta see valem solveri valemikasti ja vajuta "Build" (a truth table).

			"Result" kasti tekib:

			<pre>
			A B \| (A V B) & -A
			––––––––––––––––––
			0 0 \| 0 0 1
			0 1 \| 1 1 1
			1 0 \| 1 0 0
			1 1 \| 1 0 0
			</pre>

			Avaldise väärtus on sümboli "&" all, sest see on kõige viimane tehe, mis tehakse. Nagu näha, siis vastus on A=0, B=1. Võid seda käsitsi kontrollida.

			Vaata nüüd, mis juhtub kui vajutad "Solve" nupule (vali lahendusmeetodiks "resolution").

			<pre>
			Clause set is true for some assignment of values to variables.
			</pre>

	== Tõestus ==		== Tõestus ==

2020-03-15T16:21:18Z

Tõestus

←Vanem redaktsioon		Redaktsioon: 15. märts 2020, kell 18:21
14. rida:		14. rida:

	<code>~(A & B) -> ~A v ~B</code>		<code>~(A & B) -> ~A v ~B</code>

			<div class="toccolours mw-collapsible mw-collapsed" style="width:400px; overflow:auto;">
			'''Lahendus'''
			<div class="mw-collapsible-content">
			Lahendus siin
			</div></div>

	Tõesta Modus Ponens		Tõesta Modus Ponens

2020-03-09T18:43:20Z