{"media":{"disableImageZooming":false},"answers":[{"correct":false,"tipsAndFeedback":{"tip":"","chosenFeedback":"

You want to find the answer that uses the symbol for conjunction. Try again. <\/div>\n","notChosenFeedback":""},"text":"

B \u2192 C<\/div>\n"},{"correct":false,"tipsAndFeedback":{"chosenFeedback":"

Hmm, \u2228 is the symbol for disjunction. Try again to find the correct symbolization for conjunction. <\/div>\n","tip":"","notChosenFeedback":""},"text":"

C \u2228 B<\/div>\n"},{"correct":true,"tipsAndFeedback":{"tip":"","chosenFeedback":"

Correct! ' \u2227 ' is the symbol for conjunction, so this is the correct response. <\/div>\n\n

<\/div>\n\n

Note: If B \u2227 C had been an answer choice, that would have been correct, too. TFL lacks the nuance of natural languages like English, where sometimes a different order can convey different meaning--for example sometimes temporal order is implied in an 'and' claim: 'I turned off the light and went to sleep'. Compare: 'Jenna stomped on my foot and apologized' vs. \"Jenna apologized, and stomped on my foot.' Not so in TFL. Conjunction is true whenever both sides are true. B \u2227 C is logically equivalent to C \u2227 B.<\/div>\n","notChosenFeedback":"

The symbol for conjunction is this one: \u2227<\/div>\n"},"text":"

C \u2227 B<\/div>\n"}],"overallFeedback":[{"from":0,"to":100}],"behaviour":{"enableRetry":true,"enableSolutionsButton":true,"enableCheckButton":true,"type":"auto","singlePoint":false,"randomAnswers":false,"showSolutionsRequiresInput":true,"confirmCheckDialog":false,"confirmRetryDialog":false,"autoCheck":false,"passPercentage":100,"showScorePoints":true},"UI":{"checkAnswerButton":"Check","submitAnswerButton":"Submit","showSolutionButton":"Show solution","tryAgainButton":"Retry","tipsLabel":"Show tip","scoreBarLabel":"You got :num out of :total points","tipAvailable":"Tip available","feedbackAvailable":"Feedback available","readFeedback":"Read feedback","wrongAnswer":"Wrong answer","correctAnswer":"Correct answer","shouldCheck":"Should have been checked","shouldNotCheck":"Should not have been checked","noInput":"Please answer before viewing the solution","a11yCheck":"Check the answers. The responses will be marked as correct, incorrect, or unanswered.","a11yShowSolution":"Show the solution. The task will be marked with its correct solution.","a11yRetry":"Retry the task. Reset all responses and start the task over again."},"confirmCheck":{"header":"Finish ?","body":"Are you sure you wish to finish ?","cancelLabel":"Cancel","confirmLabel":"Finish"},"confirmRetry":{"header":"Retry ?","body":"Are you sure you wish to retry ?","cancelLabel":"Cancel","confirmLabel":"Confirm"},"question":"

Let A = Ari likes logic, B=Bo likes logic, C= Bo likes economics. <\/p>\n\n

<\/p>\n\n

Use TFL to symbolize 'Bo likes economics and logic'. <\/p>\n"}

Symbolization in TFL: Practice Qs for Beginners

Brief Introduction

Jill Rusin