Skip to content

Commit

Permalink
Replaced right arrow symbol with supset symbol.
Browse files Browse the repository at this point in the history
  • Loading branch information
@malikpiara
malikpiara committed Jan 24, 2025
1 parent 7ecfdf6 commit 9618367
Showing 1 changed file with 99 additions and 99 deletions.
198 changes: 99 additions & 99 deletions content/sets/setC.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -68,10 +68,10 @@ const setC: Set = {
id: '6.5',
prompt: 'Not if not S then L',
options: [
{ id: 0, label: '$ \\sim(\\sim S \\rightarrow L) $' },
{ id: 1, label: '$ \\sim\\sim S \\rightarrow L $' },
{ id: 2, label: '$ S \\rightarrow L $' },
{ id: 3, label: '$ (S \\rightarrow L) $' },
{ id: 0, label: '$ \\sim(\\sim S \\supset L) $' },
{ id: 1, label: '$ \\sim\\sim S \\supset L $' },
{ id: 2, label: '$ S \\supset L $' },
{ id: 3, label: '$ (S \\supset L) $' },
],
correctId: [0],
answer: '',
Expand All @@ -92,10 +92,10 @@ const setC: Set = {
id: '6.7',
prompt: "If you're dull then you're logical, and you're persistent",
options: [
{ id: 0, label: '$ (D \\rightarrow L) \\cdot P $' },
{ id: 1, label: '$ (D \\rightarrow (L \\cdot P)) $' },
{ id: 2, label: '$ ((D \\rightarrow L) \\cdot P) $' },
{ id: 3, label: '$ D \\rightarrow L \\cdot P $' },
{ id: 0, label: '$ (D \\supset L) \\cdot P $' },
{ id: 1, label: '$ (D \\supset (L \\cdot P)) $' },
{ id: 2, label: '$ ((D \\supset L) \\cdot P) $' },
{ id: 3, label: '$ D \\supset L \\cdot P $' },
],
correctId: [2],
answer: '',
Expand Down Expand Up @@ -140,10 +140,10 @@ const setC: Set = {
id: '6.11',
prompt: "If you're bright then you're cheerful, or you're powerful",
options: [
{ id: 0, label: '$ (B \\rightarrow (C \\vee P)) $' },
{ id: 1, label: '$ ((B \\rightarrow C) \\vee P) $' },
{ id: 2, label: '$ B \\rightarrow C \\vee P $' },
{ id: 3, label: '$ (B \\rightarrow C) \\vee P $' },
{ id: 0, label: '$ (B \\supset (C \\vee P)) $' },
{ id: 1, label: '$ ((B \\supset C) \\vee P) $' },
{ id: 2, label: '$ B \\supset C \\vee P $' },
{ id: 3, label: '$ (B \\supset C) \\vee P $' },
],
correctId: [1],
answer: '',
Expand All @@ -164,10 +164,10 @@ const setC: Set = {
id: '6.13',
prompt: "If you're strong, then you're famous or courageous",
options: [
{ id: 0, label: '$ S \\rightarrow F \\vee C $' },
{ id: 1, label: '$ ((S \\rightarrow F) \\vee C) $' },
{ id: 2, label: '$ (S \\rightarrow (F \\vee C)) $' },
{ id: 3, label: '$ (S \\rightarrow F) \\vee C $' },
{ id: 0, label: '$ S \\supset F \\vee C $' },
{ id: 1, label: '$ ((S \\supset F) \\vee C) $' },
{ id: 2, label: '$ (S \\supset (F \\vee C)) $' },
{ id: 3, label: '$ (S \\supset F) \\vee C $' },
],
correctId: [2],
answer: '',
Expand All @@ -176,10 +176,10 @@ const setC: Set = {
id: '6.14',
prompt: 'Not if C then F',
options: [
{ id: 0, label: '$ (\\sim C \\rightarrow F) $' },
{ id: 1, label: '$ (\\sim C \\rightarrow \\sim F) $' },
{ id: 2, label: '$ \\sim(C \\rightarrow F) $' },
{ id: 3, label: '$ \\sim C \\rightarrow F $' },
{ id: 0, label: '$ (\\sim C \\supset F) $' },
{ id: 1, label: '$ (\\sim C \\supset \\sim F) $' },
{ id: 2, label: '$ \\sim(C \\supset F) $' },
{ id: 3, label: '$ \\sim C \\supset F $' },
],
correctId: [2],
answer: '',
Expand All @@ -188,10 +188,10 @@ const setC: Set = {
id: '6.15',
prompt: "If you're short then you're greedy, or you're hideous",
options: [
{ id: 0, label: '$ S \\rightarrow G \\vee H $' },
{ id: 1, label: '$ (S \\rightarrow G) \\vee H $' },
{ id: 2, label: '$ (S \\rightarrow (G \\vee H)) $' },
{ id: 3, label: '$ ((S \\rightarrow G) \\vee H) $' },
{ id: 0, label: '$ S \\supset G \\vee H $' },
{ id: 1, label: '$ (S \\supset G) \\vee H $' },
{ id: 2, label: '$ (S \\supset (G \\vee H)) $' },
{ id: 3, label: '$ ((S \\supset G) \\vee H) $' },
],
correctId: [3],
answer: '',
Expand All @@ -200,9 +200,9 @@ const setC: Set = {
id: '6.16',
prompt: "If you aren't poor then you aren't beautiful",
options: [
{ id: 0, label: '$ \\sim(P \\rightarrow \\sim B) $' },
{ id: 1, label: '$ \\sim P \\rightarrow \\sim B $' },
{ id: 2, label: '$ (\\sim P \\rightarrow \\sim B) $' },
{ id: 0, label: '$ \\sim(P \\supset \\sim B) $' },
{ id: 1, label: '$ \\sim P \\supset \\sim B $' },
{ id: 2, label: '$ (\\sim P \\supset \\sim B) $' },
{ id: 3, label: '$ (\\sim P \\vee B) $' },
],
correctId: [2],
Expand All @@ -224,10 +224,10 @@ const setC: Set = {
id: '6.18',
prompt: 'If S, then H and L',
options: [
{ id: 0, label: '$ (S \\rightarrow (H \\cdot L)) $' },
{ id: 1, label: '$ S \\rightarrow H \\cdot L $' },
{ id: 2, label: '$ ((S \\rightarrow H) \\cdot L) $' },
{ id: 3, label: '$ (S \\rightarrow H) \\cdot L $' },
{ id: 0, label: '$ (S \\supset (H \\cdot L)) $' },
{ id: 1, label: '$ S \\supset H \\cdot L $' },
{ id: 2, label: '$ ((S \\supset H) \\cdot L) $' },
{ id: 3, label: '$ (S \\supset H) \\cdot L $' },
],
correctId: [0],
answer: '',
Expand Down Expand Up @@ -284,10 +284,10 @@ const setC: Set = {
id: '6.23',
prompt: 'If R then P, and C',
options: [
{ id: 0, label: '$ ((R \\rightarrow P) \\cdot C) $' },
{ id: 1, label: '$ R \\rightarrow P \\cdot C $' },
{ id: 2, label: '$ (R \\rightarrow (P \\cdot C)) $' },
{ id: 3, label: '$ (R \\rightarrow P) \\cdot C $' },
{ id: 0, label: '$ ((R \\supset P) \\cdot C) $' },
{ id: 1, label: '$ R \\supset P \\cdot C $' },
{ id: 2, label: '$ (R \\supset (P \\cdot C)) $' },
{ id: 3, label: '$ (R \\supset P) \\cdot C $' },
],
correctId: [0],
answer: '',
Expand Down Expand Up @@ -320,10 +320,10 @@ const setC: Set = {
id: '6.26',
prompt: 'If not C then H',
options: [
{ id: 0, label: '$ \\sim C \\rightarrow H $' },
{ id: 1, label: '$ (\\sim C \\rightarrow H) $' },
{ id: 2, label: '$ (\\sim C \\rightarrow \\sim H) $' },
{ id: 3, label: '$ \\sim(C \\rightarrow H) $' },
{ id: 0, label: '$ \\sim C \\supset H $' },
{ id: 1, label: '$ (\\sim C \\supset H) $' },
{ id: 2, label: '$ (\\sim C \\supset \\sim H) $' },
{ id: 3, label: '$ \\sim(C \\supset H) $' },
],
correctId: [1],
answer: '',
Expand Down Expand Up @@ -380,10 +380,10 @@ const setC: Set = {
id: '6.31',
prompt: "If you're bright, then you're polite or demented",
options: [
{ id: 0, label: '$ (B \\rightarrow P) \\vee D $' },
{ id: 1, label: '$ B \\rightarrow P \\vee D $' },
{ id: 2, label: '$ ((B \\rightarrow P) \\vee D) $' },
{ id: 3, label: '$ (B \\rightarrow (P \\vee D)) $' },
{ id: 0, label: '$ (B \\supset P) \\vee D $' },
{ id: 1, label: '$ B \\supset P \\vee D $' },
{ id: 2, label: '$ ((B \\supset P) \\vee D) $' },
{ id: 3, label: '$ (B \\supset (P \\vee D)) $' },
],
correctId: [3],
answer: '',
Expand All @@ -392,10 +392,10 @@ const setC: Set = {
id: '6.32',
prompt: "If you're smart, then you're bashful and careful",
options: [
{ id: 0, label: '$ (S \\rightarrow (B \\cdot C)) $' },
{ id: 1, label: '$ ((S \\rightarrow B) \\cdot C) $' },
{ id: 2, label: '$ (S \\rightarrow B) \\cdot C $' },
{ id: 3, label: '$ S \\rightarrow B \\cdot C $' },
{ id: 0, label: '$ (S \\supset (B \\cdot C)) $' },
{ id: 1, label: '$ ((S \\supset B) \\cdot C) $' },
{ id: 2, label: '$ (S \\supset B) \\cdot C $' },
{ id: 3, label: '$ S \\supset B \\cdot C $' },
],
correctId: [0],
answer: '',
Expand Down Expand Up @@ -452,10 +452,10 @@ const setC: Set = {
id: '6.37',
prompt: 'Not if not B then C',
options: [
{ id: 0, label: '$ \\sim\\sim B \\rightarrow C $' },
{ id: 1, label: '$ B \\rightarrow C $' },
{ id: 2, label: '$ \\sim(\\sim B \\rightarrow C) $' },
{ id: 3, label: '$ (B \\rightarrow C) $' },
{ id: 0, label: '$ \\sim\\sim B \\supset C $' },
{ id: 1, label: '$ B \\supset C $' },
{ id: 2, label: '$ \\sim(\\sim B \\supset C) $' },
{ id: 3, label: '$ (B \\supset C) $' },
],
correctId: [2],
answer: '',
Expand Down Expand Up @@ -500,10 +500,10 @@ const setC: Set = {
id: '6.41',
prompt: 'If D then M, and L',
options: [
{ id: 0, label: '$ D \\rightarrow M \\cdot L $' },
{ id: 1, label: '$ (D \\rightarrow M) \\cdot L $' },
{ id: 2, label: '$ (D \\rightarrow (M \\cdot L)) $' },
{ id: 3, label: '$ ((D \\rightarrow M) \\cdot L) $' },
{ id: 0, label: '$ D \\supset M \\cdot L $' },
{ id: 1, label: '$ (D \\supset M) \\cdot L $' },
{ id: 2, label: '$ (D \\supset (M \\cdot L)) $' },
{ id: 3, label: '$ ((D \\supset M) \\cdot L) $' },
],
correctId: [3],
answer: '',
Expand Down Expand Up @@ -548,10 +548,10 @@ const setC: Set = {
id: '6.45',
prompt: 'If C then S, and B',
options: [
{ id: 0, label: '$ (C \\rightarrow S) \\cdot B $' },
{ id: 1, label: '$ (C \\rightarrow (S \\cdot B)) $' },
{ id: 2, label: '$ C \\rightarrow S \\cdot B $' },
{ id: 3, label: '$ ((C \\rightarrow S) \\cdot B) $' },
{ id: 0, label: '$ (C \\supset S) \\cdot B $' },
{ id: 1, label: '$ (C \\supset (S \\cdot B)) $' },
{ id: 2, label: '$ C \\supset S \\cdot B $' },
{ id: 3, label: '$ ((C \\supset S) \\cdot B) $' },
],
correctId: [3],
answer: '',
Expand All @@ -560,10 +560,10 @@ const setC: Set = {
id: '6.46',
prompt: "If you're strong then you're talented, or you're cautious",
options: [
{ id: 0, label: '$ (S \\rightarrow T) \\vee C $' },
{ id: 1, label: '$ (S \\rightarrow (T \\vee C)) $' },
{ id: 2, label: '$ S \\rightarrow T \\vee C $' },
{ id: 3, label: '$ ((S \\rightarrow T) \\vee C) $' },
{ id: 0, label: '$ (S \\supset T) \\vee C $' },
{ id: 1, label: '$ (S \\supset (T \\vee C)) $' },
{ id: 2, label: '$ S \\supset T \\vee C $' },
{ id: 3, label: '$ ((S \\supset T) \\vee C) $' },
],
correctId: [3],
answer: '',
Expand All @@ -572,10 +572,10 @@ const setC: Set = {
id: '6.47',
prompt: "If you aren't tall then you aren't frightened",
options: [
{ id: 0, label: '$ (\\sim T \\rightarrow \\sim F) $' },
{ id: 1, label: '$ \\sim(T \\rightarrow \\sim F) $' },
{ id: 2, label: '$ \\sim T \\rightarrow \\sim F $' },
{ id: 3, label: '$ (\\sim T \\rightarrow F) $' },
{ id: 0, label: '$ (\\sim T \\supset \\sim F) $' },
{ id: 1, label: '$ \\sim(T \\supset \\sim F) $' },
{ id: 2, label: '$ \\sim T \\supset \\sim F $' },
{ id: 3, label: '$ (\\sim T \\supset F) $' },
],
correctId: [0],
answer: '',
Expand All @@ -596,10 +596,10 @@ const setC: Set = {
id: '6.49',
prompt: 'If P, then C or D',
options: [
{ id: 0, label: '$ (P \\rightarrow (C \\vee D)) $' },
{ id: 1, label: '$ ((P \\rightarrow C) \\vee D) $' },
{ id: 2, label: '$ P \\rightarrow C \\vee D $' },
{ id: 3, label: '$ (P \\rightarrow C) \\vee D $' },
{ id: 0, label: '$ (P \\supset (C \\vee D)) $' },
{ id: 1, label: '$ ((P \\supset C) \\vee D) $' },
{ id: 2, label: '$ P \\supset C \\vee D $' },
{ id: 3, label: '$ (P \\supset C) \\vee D $' },
],
correctId: [0],
answer: '',
Expand All @@ -620,10 +620,10 @@ const setC: Set = {
id: '6.51',
prompt: "If you aren't tough then you're greedy",
options: [
{ id: 0, label: '$ (\\sim T \\rightarrow G) $' },
{ id: 1, label: '$ \\sim T \\rightarrow G $' },
{ id: 2, label: '$ (\\sim T \\rightarrow \\sim G) $' },
{ id: 3, label: '$ \\sim(T \\rightarrow G) $' },
{ id: 0, label: '$ (\\sim T \\supset G) $' },
{ id: 1, label: '$ \\sim T \\supset G $' },
{ id: 2, label: '$ (\\sim T \\supset \\sim G) $' },
{ id: 3, label: '$ \\sim(T \\supset G) $' },
],
correctId: [0],
answer: '',
Expand All @@ -632,10 +632,10 @@ const setC: Set = {
id: '6.52',
prompt: "If you're weak and hideous, then you're candid",
options: [
{ id: 0, label: '$ W \\cdot H \\rightarrow C $' },
{ id: 1, label: '$ (W \\cdot (H \\rightarrow C)) $' },
{ id: 2, label: '$ ((W \\cdot H) \\rightarrow C) $' },
{ id: 3, label: '$ (W \\cdot H) \\rightarrow C $' },
{ id: 0, label: '$ W \\cdot H \\supset C $' },
{ id: 1, label: '$ (W \\cdot (H \\supset C)) $' },
{ id: 2, label: '$ ((W \\cdot H) \\supset C) $' },
{ id: 3, label: '$ (W \\cdot H) \\supset C $' },
],
correctId: [2],
answer: '',
Expand Down Expand Up @@ -668,10 +668,10 @@ const setC: Set = {
id: '6.55',
prompt: 'If P, then D and N',
options: [
{ id: 0, label: '$ P \\rightarrow D \\cdot N $' },
{ id: 1, label: '$ ((P \\rightarrow D) \\cdot N) $' },
{ id: 2, label: '$ (P \\rightarrow D) \\cdot N $' },
{ id: 3, label: '$ (P \\rightarrow (D \\cdot N)) $' },
{ id: 0, label: '$ P \\supset D \\cdot N $' },
{ id: 1, label: '$ ((P \\supset D) \\cdot N) $' },
{ id: 2, label: '$ (P \\supset D) \\cdot N $' },
{ id: 3, label: '$ (P \\supset (D \\cdot N)) $' },
],
correctId: [3],
answer: '',
Expand All @@ -680,10 +680,10 @@ const setC: Set = {
id: '6.56',
prompt: 'Not if R then C',
options: [
{ id: 0, label: '$ (\\sim R \\rightarrow \\sim C) $' },
{ id: 1, label: '$ \\sim R \\rightarrow C $' },
{ id: 2, label: '$ \\sim(R \\rightarrow C) $' },
{ id: 3, label: '$ (\\sim R \\rightarrow C) $' },
{ id: 0, label: '$ (\\sim R \\supset \\sim C) $' },
{ id: 1, label: '$ \\sim R \\supset C $' },
{ id: 2, label: '$ \\sim(R \\supset C) $' },
{ id: 3, label: '$ (\\sim R \\supset C) $' },
],
correctId: [2],
answer: '',
Expand All @@ -692,10 +692,10 @@ const setC: Set = {
id: '6.57',
prompt: "It is false that if you aren't bright then you're careful",
options: [
{ id: 0, label: '$ B \\rightarrow C $' },
{ id: 1, label: '$ \\sim(\\sim B \\rightarrow C) $' },
{ id: 2, label: '$ (B \\rightarrow C) $' },
{ id: 3, label: '$ \\sim\\sim B \\rightarrow C $' },
{ id: 0, label: '$ B \\supset C $' },
{ id: 1, label: '$ \\sim(\\sim B \\supset C) $' },
{ id: 2, label: '$ (B \\supset C) $' },
{ id: 3, label: '$ \\sim\\sim B \\supset C $' },
],
correctId: [1],
answer: '',
Expand Down Expand Up @@ -728,10 +728,10 @@ const setC: Set = {
id: '6.60',
prompt: "If you're tall then you're realistic, and you're boastful",
options: [
{ id: 0, label: '$ T \\rightarrow R \\cdot B $' },
{ id: 1, label: '$ (T \\rightarrow (R \\cdot B)) $' },
{ id: 2, label: '$ (T \\rightarrow R) \\cdot B $' },
{ id: 3, label: '$ ((T \\rightarrow R) \\cdot B) $' },
{ id: 0, label: '$ T \\supset R \\cdot B $' },
{ id: 1, label: '$ (T \\supset (R \\cdot B)) $' },
{ id: 2, label: '$ (T \\supset R) \\cdot B $' },
{ id: 3, label: '$ ((T \\supset R) \\cdot B) $' },
],
correctId: [3],
answer: '',
Expand All @@ -740,10 +740,10 @@ const setC: Set = {
id: '6.61',
prompt: "If you're clean then you're powerful, or you're lively",
options: [
{ id: 0, label: '$ ((C \\rightarrow P) \\vee L) $' },
{ id: 1, label: '$ C \\rightarrow P \\vee L $' },
{ id: 2, label: '$ (C \\rightarrow P) \\vee L $' },
{ id: 3, label: '$ (C \\rightarrow (P \\vee L)) $' },
{ id: 0, label: '$ ((C \\supset P) \\vee L) $' },
{ id: 1, label: '$ C \\supset P \\vee L $' },
{ id: 2, label: '$ (C \\supset P) \\vee L $' },
{ id: 3, label: '$ (C \\supset (P \\vee L)) $' },
],
correctId: [0],
answer: '',
Expand Down

1 comment on commit 9618367

@vercel
Copy link

@vercel vercel bot commented on 9618367 Jan 24, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Successfully deployed to the following URLs:

logicola – ./

logicola-git-main-malik-piaras-projects.vercel.app
logicola-malik-piaras-projects.vercel.app
logicola.org
www.logicola.org

Please sign in to comment.