Exercise Truth Tables - Revision history

Manfred at 18:27, 30 May 2013

2013-05-30T18:27:03Z

← Older revision		Revision as of 18:27, 30 May 2013
Line 4:		Line 4:
	\|type="[]"}		\|type="[]"}
	\| '''p''' \| '''q''' \| <span style="color:white">zwisch</span>('''p ''' &and; '''q''')<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ¬('''p ''' &and; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>('''q''' ⊃ ¬ ('''p &and; q'''))<span style="color:white">zwisch</span>		\| '''p''' \| '''q''' \| <span style="color:white">zwisch</span>('''p ''' &and; '''q''')<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ¬('''p ''' &and; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>('''q''' ⊃ ¬ ('''p &and; q'''))<span style="color:white">zwisch</span>
	+++-+ (both '''p''' and '''q''' are true)		+++-- (both '''p''' and '''q''' are true)
	+--++ ('''p''' is true, but not '''q''')		+--++ ('''p''' is true, but not '''q''')
	-+-+- ('''p''' is false, but '''q''' is true)		-+-++ ('''p''' is false, but '''q''' is true)
	---++ (both '''p''' and '''q''' are false)		---++ (both '''p''' and '''q''' are false)
	</quiz>		</quiz>

Manfred at 18:24, 30 May 2013

2013-05-30T18:24:18Z

← Older revision		Revision as of 18:24, 30 May 2013
Line 3:		Line 3:
	{Click on the boxes for which the truth value would be ''true''.		{Click on the boxes for which the truth value would be ''true''.
	\|type="[]"}		\|type="[]"}
	\| '''p''' \| '''q''' \| <span style="color:white">zwisch</span>('''p ''' &and; '''q''')<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ¬('''p ''' &and; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>('''q''' ⊃ ('''p &and; q'''))<span style="color:white">zwisch</span>		\| '''p''' \| '''q''' \| <span style="color:white">zwisch</span>('''p ''' &and; '''q''')<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ¬('''p ''' &and; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>('''q''' ⊃ ¬ ('''p &and; q'''))<span style="color:white">zwisch</span>
	+++-+ (both '''p''' and '''q''' are true)		+++-+ (both '''p''' and '''q''' are true)
	+--++ ('''p''' is true, but not '''q''')		+--++ ('''p''' is true, but not '''q''')

Manfred at 20:04, 16 May 2013

2013-05-16T20:04:14Z

← Older revision		Revision as of 20:04, 16 May 2013
Line 25:		Line 25:
	---+-+ ('''p''', '''q''', and '''r''' are false)		---+-+ ('''p''', '''q''', and '''r''' are false)
	</quiz>		</quiz>


			<hr />
			Back to
			* the [[Exercise-ch2\|exercises for chapter 2]]
			* the material for [[Textbook-chapters#Chapter_2:_Predicate_logic\|chapter 2]]
			* the overview over [[Textbook-chapters\|all chapters]]

Manfred at 20:00, 16 May 2013

2013-05-16T20:00:46Z

← Older revision		Revision as of 20:00, 16 May 2013
Line 20:		Line 20:
	+-+-+- ('''p''' and '''r''' are true, '''q''' is false)		+-+-+- ('''p''' and '''r''' are true, '''q''' is false)
	+--+++ ('''p''' is true, '''q''' and '''r''' are false)		+--+++ ('''p''' is true, '''q''' and '''r''' are false)
	-++-+- ('''p''' is false, '''q''' and '''r''' are ~~false~~)		-++-+- ('''p''' is false, '''q''' and '''r''' are true)
	-+-+-+ ('''p''' and '''r''' are false, '''q''' is true)		-+-+-+ ('''p''' and '''r''' are false, '''q''' is true)
	--+--+ ('''p''' and '''q''' are false, '''r''' is true)		--+--+ ('''p''' and '''q''' are false, '''r''' is true)
	---+-+ ('''p''', '''q''', and '''r''' are false)		---+-+ ('''p''', '''q''', and '''r''' are false)
	</quiz>		</quiz>

Manfred at 20:00, 16 May 2013

2013-05-16T20:00:04Z

← Older revision		Revision as of 20:00, 16 May 2013
Line 16:		Line 16:
	\|type="[]"}		\|type="[]"}
	\| '''p''' \| '''q''' \| '''r''' \|<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>(('''p &or; q''') ⊃ ¬r)<span style="color:white">zwisch</span>		\| '''p''' \| '''q''' \| '''r''' \|<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>(('''p &or; q''') ⊃ ¬r)<span style="color:white">zwisch</span>
	+++-+- (~~both~~ '''p''' and '''q''' are true)		+++-+- ('''p''', '''q''', and '''r''' are true)
	++-+++ ('''p''', '''q''', ~~and~~ '''r''' ~~are true~~)		++-+++ ('''p''' and '''q''' are true, '''r''' is false)
	+-+-+- ('''p''' and '''q''' are true, '''r''' is false)		+-+-+- ('''p''' and '''r''' are true, '''q''' is false)
	+--+++ ('''p''' is true, '''q''' and '''r''' are false)		+--+++ ('''p''' is true, '''q''' and '''r''' are false)
	-++-+- ('''p''' is false, '''q''' and '''r''' are false)		-++-+- ('''p''' is false, '''q''' and '''r''' are false)

Manfred at 19:58, 16 May 2013

2013-05-16T19:58:57Z

← Older revision		Revision as of 19:58, 16 May 2013
Line 15:		Line 15:
	{Click on the boxes for which the truth value would be ''true''.		{Click on the boxes for which the truth value would be ''true''.
	\|type="[]"}		\|type="[]"}
	\| '''p''' \| '''q''' \| '''r''' \|<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>(('''p &~~and~~; q''') ⊃ ¬r)<span style="color:white">zwisch</span>		\| '''p''' \| '''q''' \| '''r''' \|<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>(('''p &or; q''') ⊃ ¬r)<span style="color:white">zwisch</span>
	+++-+- (both '''p''' and '''q''' are true)		+++-+- (both '''p''' and '''q''' are true)
	++-+++ ('''p''' ~~is true~~, ~~but not~~ '''q''')		++-+++ ('''p''', '''q''', and '''r''' are true)
	+-+-+- ('''p''' ~~is false~~, ~~but~~ '''q''' is ~~true~~)		+-+-+- ('''p''' and '''q''' are true, '''r''' is false)
	+--+++ (~~both~~ '''p''' and '''q''' are false)		+--+++ ('''p''' is true, '''q''' and '''r''' are false)
	-++-+-		-++-+- ('''p''' is false, '''q''' and '''r''' are false)
	-+-+-+		-+-+-+ ('''p''' and '''r''' are false, '''q''' is true)
	--+--+		--+--+ ('''p''' and '''q''' are false, '''r''' is true)
	---		---+-+ ('''p''', '''q''', and '''r''' are false)
	</quiz>		</quiz>

Manfred at 19:55, 16 May 2013

2013-05-16T19:55:05Z

← Older revision		Revision as of 19:55, 16 May 2013
Line 16:		Line 16:
	\|type="[]"}		\|type="[]"}
	\| '''p''' \| '''q''' \| '''r''' \|<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>(('''p &and; q''') ⊃ ¬r)<span style="color:white">zwisch</span>		\| '''p''' \| '''q''' \| '''r''' \|<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>(('''p &and; q''') ⊃ ¬r)<span style="color:white">zwisch</span>
	+++ -+ (both '''p''' and '''q''' are true)		+++-+- (both '''p''' and '''q''' are true)
	++- -++ ('''p''' is true, but not '''q''')		++-+++ ('''p''' is true, but not '''q''')
	+-+ -+- ('''p''' is false, but '''q''' is true)		+-+-+- ('''p''' is false, but '''q''' is true)
	+-- -++ (both '''p''' and '''q''' are false)		+--+++ (both '''p''' and '''q''' are false)
	-++		-++-+-
	-+-		-+-+-+
	--+		--+--+
	---		---
	</quiz>		</quiz>

Manfred at 19:53, 16 May 2013

2013-05-16T19:53:29Z

← Older revision		Revision as of 19:53, 16 May 2013
Line 12:		Line 12:


	~~<!-- Notes for Manfred~~
	<quiz display="simple">		<quiz display="simple">
	{ ~~Welche englischen Verbformen sind das?~~		{Click on the boxes for which the truth value would be ''true''.
	\| ~~typ~~="[]" }		\|type="[]"}
	\| ~~Infinitiv~~ \| ~~Präteritum~~ \| ~~Partizip Perfekt~~		\| '''p''' \| '''q''' \| '''r''' \|<span style="color:white">zwisch</span>¬ r<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ('''p ''' &or; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>(('''p &and; q''') ⊃ ¬r)<span style="color:white">zwisch</span>
	+-- ~~say~~		+++ -+ (both '''p''' and '''q''' are true)
	-++ ~~said~~		++- -++ ('''p''' is true, but not '''q''')
	+++ ~~hit~~		+-+ -+- ('''p''' is false, but '''q''' is true)
			+-- -++ (both '''p''' and '''q''' are false)
			-++
			-+-
			--+
			---
	</quiz>		</quiz>


	~~{\| class="wikitable"~~
	\|-
	~~\|'''p'''~~
	~~\|'''q'''~~
	~~\|'''p''' &and; '''q'''~~
	\|-
	~~\| 1~~
	~~\| 1~~
	~~\| 1~~
	\|}

	~~-->~~

Manfred at 19:47, 16 May 2013

2013-05-16T19:47:37Z

← Older revision		Revision as of 19:47, 16 May 2013
Line 3:		Line 3:
	{Click on the boxes for which the truth value would be ''true''.		{Click on the boxes for which the truth value would be ''true''.
	\|type="[]"}		\|type="[]"}
	\| '''p''' \| '''q''' \| ~~{{Zwischen}}~~('''p ''' &and; '''q''')<span style="color:white">~~zwischen~~</span> \| <span style="color:white">~~zwischen~~</span> ¬('''p ''' &and; '''q''')<span style="color:white">~~zwischen~~</span>\|<span style="color:white">~~zwischen~~</span>('''q''' ⊃ ('''p &and; q'''))<span style="color:white">~~zwischen~~</span>		\| '''p''' \| '''q''' \| <span style="color:white">zwisch</span>('''p ''' &and; '''q''')<span style="color:white">zwisch</span> \| <span style="color:white">zwisch</span> ¬('''p ''' &and; '''q''')<span style="color:white">zwisch</span>\|<span style="color:white">zwisch</span>('''q''' ⊃ ('''p &and; q'''))<span style="color:white">zwisch</span>
	+++-+ (both '''p''' and '''q''' are true)		+++-+ (both '''p''' and '''q''' are true)
	+--++ ('''p''' is true, but not '''q''')		+--++ ('''p''' is true, but not '''q''')
Line 21:		Line 21:
	+++ hit		+++ hit
	</quiz>		</quiz>
	~~{{Zwischen}}~~

	{\| class="wikitable"		{\| class="wikitable"

Manfred at 19:46, 16 May 2013

2013-05-16T19:46:42Z

← Older revision		Revision as of 19:46, 16 May 2013
Line 3:		Line 3:
	{Click on the boxes for which the truth value would be ''true''.		{Click on the boxes for which the truth value would be ''true''.
	\|type="[]"}		\|type="[]"}
	\| '''p''' \| '''q''' \| ~~<span style="color:white">zwischen</span>~~('''p ''' &and; '''q''')<span style="color:white">zwischen</span> \| <span style="color:white">zwischen</span> ¬('''p ''' &and; '''q''')<span style="color:white">zwischen</span>\|<span style="color:white">zwischen</span>('''q''' ⊃ ('''p &and; q'''))<span style="color:white">zwischen</span>		\| '''p''' \| '''q''' \| {{Zwischen}}('''p ''' &and; '''q''')<span style="color:white">zwischen</span> \| <span style="color:white">zwischen</span> ¬('''p ''' &and; '''q''')<span style="color:white">zwischen</span>\|<span style="color:white">zwischen</span>('''q''' ⊃ ('''p &and; q'''))<span style="color:white">zwischen</span>
	+++-+ (both '''p''' and '''q''' are true)		+++-+ (both '''p''' and '''q''' are true)
	+--++ ('''p''' is true, but not '''q''')		+--++ ('''p''' is true, but not '''q''')
Line 9:		Line 9:
	---++ (both '''p''' and '''q''' are false)		---++ (both '''p''' and '''q''' are false)
	</quiz>		</quiz>



	<!-- Notes for Manfred		<!-- Notes for Manfred