Added 10 more questions to set C: hard propositional translations, to…

…talling 52.
malikpiara · Jan 13, 2025 · 34cdd16 · 34cdd16 · vercel · Jan 13, 2025
1 parent 9304c75
commit 34cdd16
Showing 1 changed file with 144 additions and 0 deletions.
diff --git a/content/sets/setC.ts b/content/sets/setC.ts
@@ -1251,6 +1251,150 @@ const setC: Set = {
           correctId: [2],
           answer: '',
         },
+        {
+          id: '6.41',
+          prompt: "If you're strong, then you're naive or persistent",
+          options: [
+            { id: 0, label: '$ (S \\supset (N \\vee P)) $' },
+            { id: 1, label: '$ S \\supset N \\vee P $' },
+            { id: 2, label: '$ (S \\supset N) \\vee P $' },
+            { id: 3, label: '$ ((S \\supset N) \\vee P) $' },
+          ],
+          correctId: [0],
+          answer: '',
+        },
+        {
+          id: '6.42',
+          prompt: "If you're clean then you're demented, or you're terrified",
+          options: [
+            { id: 0, label: '$ ((C \\supset D) \\vee T) $' },
+            { id: 1, label: '$ (C \\supset (D \\vee T)) $' },
+            { id: 2, label: '$ C \\supset D \\vee T $' },
+            { id: 3, label: '$ (C \\supset D) \\vee T $' },
+          ],
+          correctId: [0],
+          answer: '',
+        },
+        {
+          id: '6.43',
+          prompt: 'Provided that T, S',
+          options: [
+            { id: 0, label: '$ T \\supset S $' },
+            { id: 1, label: '$ (T \\equiv S) $' },
+            { id: 2, label: '$ (T \\supset S) $' },
+            { id: 3, label: '$ (S \\supset T) $' },
+          ],
+          correctId: [2],
+          answer: '',
+        },
+        {
+          id: '6.44',
+          prompt: "You're mean and cautious, or else frivolous",
+          options: [
+            { id: 0, label: '$ (M \\cdot C) \\vee F $' },
+            { id: 1, label: '$ ((M \\cdot C) \\vee F) $' },
+            { id: 2, label: '$ (M \\cdot (C \\vee F)) $' },
+            { id: 3, label: '$ M \\cdot C \\vee F $' },
+          ],
+          correctId: [1],
+          answer: '',
+        },
+        {
+          id: '6.45',
+          prompt: "Unless you're frightened, you're rough",
+          options: [
+            { id: 0, label: '$ (F \\supset \\, \\sim R) $' },
+            { id: 1, label: '$ (F \\equiv R) $' },
+            { id: 2, label: '$ (F \\vee R) $' },
+            { id: 3, label: '$ F \\equiv R $' },
+          ],
+          correctId: [2],
+          answer: '',
+        },
+        {
+          id: '6.46',
+          prompt: "You aren't either smart or realistic",
+          options: [
+            { id: 0, label: '$ (\\sim S \\vee \\, \\sim R) $' },
+            { id: 1, label: '$ (\\sim S \\vee R) $' },
+            { id: 2, label: '$ \\sim (S \\vee R) $' },
+            { id: 3, label: '$ \\sim S \\vee R $' },
+          ],
+          correctId: [2],
+          answer: '',
+        },
+        {
+          id: '6.47',
+          prompt: 'Both not R and D',
+          options: [
+            { id: 0, label: '$ \\sim(R \\cdot D) $' },
+            { id: 1, label: '$ (\\sim R \\cdot \\, \\sim D) $' },
+            { id: 2, label: '$ \\sim R \\cdot D $' },
+            { id: 3, label: '$ (\\sim R \\cdot D) $' },
+          ],
+          correctId: [3],
+          answer: '',
+        },
+        {
+          id: '6.48',
+          prompt: 'T is sufficient for F',
+          options: [
+            { id: 0, label: '$ (\\sim T \\supset \\, \\sim F) $' },
+            { id: 1, label: '$ (T \\supset F) $' },
+            { id: 2, label: '$ (T \\equiv F) $' },
+            { id: 3, label: '$ T \\supset F $' },
+          ],
+          correctId: [1],
+          answer: '',
+        },
+        {
+          id: '6.49',
+          prompt: "You're either both dull and famous or else courageous",
+          options: [
+            { id: 0, label: '$ ((D \\cdot F) \\vee C) $' },
+            { id: 1, label: '$ (D \\cdot F) \\vee C $' },
+            { id: 2, label: '$ D \\cdot F \\vee C $' },
+            { id: 3, label: '$ (D \\cdot (F \\vee C)) $' },
+          ],
+          correctId: [0],
+          answer: '',
+        },
+        {
+          id: '6.50',
+          prompt: "You're bitter unless you're short",
+          options: [
+            { id: 0, label: '$ (B \\equiv S) $' },
+            { id: 1, label: '$ B \\equiv S $' },
+            { id: 2, label: '$ (B \\supset \\, \\sim S) $' },
+            { id: 3, label: '$ (B \\vee S) $' },
+          ],
+          correctId: [3],
+          answer: '',
+        },
+        {
+          id: '6.51',
+          prompt: "You're rich just if you're hideous",
+          options: [
+            { id: 0, label: '$ R \\equiv H $' },
+            { id: 1, label: '$ (R \\equiv H) $' },
+            { id: 2, label: '$ (R \\supset H) $' },
+            { id: 3, label: '$ (H \\supset R) $' },
+          ],
+          correctId: [1],
+          answer: '',
+        },
+        {
+          id: '6.52',
+          prompt: "If you're bold, then you're candid and selfish",
+          options: [
+            { id: 0, label: '$ (B \\supset C) \\cdot S $' },
+            { id: 1, label: '$ (B \\supset (C \\cdot S)) $' },
+            { id: 2, label: '$ B \\supset C \\cdot S $' },
+            { id: 3, label: '$ ((B \\supset C) \\cdot S) $' },
+          ],
+          correctId: [1],
+          answer: '',
+        },
       ],
     },
   ],