Skip to content

Commit

Permalink
Created test page with syllogistic logic content.
Browse files Browse the repository at this point in the history
  • Loading branch information
@malikpiara
malikpiara committed Jan 24, 2025
1 parent d32abcc commit 2419499
Show file tree
Hide file tree
Showing 2 changed files with 311 additions and 0 deletions.
194 changes: 194 additions & 0 deletions app/syllogistic/page.tsx
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,194 @@
import { Card, CardContent } from '@/components/ui/card';
import Head from 'next/head';

export default function SyllogisticLogicPage() {
return (
<>
<Head>
<title>Syllogistic Translations – A Quick Guide</title>
<meta
name='description'
content='A concise overview of Syllogistic Translations, including basic and harder examples.'
/>
</Head>
<div className='container mx-auto py-8 space-y-8 max-w-4xl animate-in'>
<h1 className='text-3xl font-bold mb-6 text-black'>
Syllogistic Translations
</h1>

{/* --------------------- Easier Translations ---------------------- */}
<section className='space-y-6'>
<h2 className='text-2xl font-semibold text-black'>
Easier Translations
</h2>

<Card>
<CardContent className='pt-6'>
<p className='text-lg leading-relaxed mb-6'>
Syllogistic logic studies arguments whose validity depends on
&quot;all,&quot; &quot;no,&quot; &quot;some,&quot; and similar
notions. In symbolizing such arguments, we use capital letters
for general categories (like &quot;logician&quot;) and small
letters for specific individuals (like &quot;Gensler&quot;).
</p>

<div className='my-6'>
{/* Basic forms of well-formed formulas (unchanged design) */}
<div className='border border-gray-200 rounded-md overflow-hidden'>
<ul className='divide-y divide-gray-200'>
<li className='px-4 py-2'>all A is B</li>
<li className='px-4 py-2'>no A is B</li>
<li className='px-4 py-2'>some A is B</li>
<li className='px-4 py-2'>some A is not B</li>
<li className='px-4 py-2'>x is A</li>
<li className='px-4 py-2'>x is not A</li>
<li className='px-4 py-2'>x is y</li>
<li className='px-4 py-2'>x is not y</li>
</ul>
</div>
</div>

<div className='space-y-4'>
<h3 className='text-xl font-semibold'>Important Rules:</h3>
<ul className='list-disc pl-6 space-y-2'>
<li>
Use capital letters for general terms (terms that describe
or put in a category)
<ul className='list-disc pl-6 mt-2 text-muted-foreground'>
<li>
Examples: &quot;a cute baby&quot;, &quot;charming&quot;,
&quot;drives a Buick&quot;
</li>
</ul>
</li>
<li>
Use small letters for singular terms (terms that pick out a
specific person or thing)
<ul className='list-disc pl-6 mt-2 text-muted-foreground'>
<li>
Examples: &quot;the world&apos;s cutest baby&quot;,
&quot;this child&quot;, &quot;David&quot;
</li>
</ul>
</li>
</ul>
</div>

<div className='mt-6 p-4 bg-muted rounded-lg'>
<h4 className='font-semibold mb-2'>
Examples of correct translations:
</h4>
<ul className='space-y-2'>
<li>All babies are cute = all B is C</li>
<li>Will Gensler is a baby = w is B</li>
<li>Will Gensler is the world&apos;s cutest baby = w is b</li>
</ul>
</div>
</CardContent>
</Card>
</section>

{/* --------------------- Harder Translations ---------------------- */}
<section className='space-y-6'>
<h2 className='text-2xl font-semibold text-black'>
Harder Translations
</h2>

<Card>
<CardContent className='pt-6'>
<p className='text-lg leading-relaxed mb-6'>
English has various idiomatic ways to express our wffs. Instead
of &quot;all&quot; we can say &quot;any,&quot; &quot;each,&quot;
&quot;every,&quot; or &quot;whoever.&quot;
</p>

{/* Redesigned to mimic the side-by-side style without bright colors */}
<div className='my-6 border border-gray-200 rounded-md overflow-hidden'>
{/* 2x2 layout on larger screens; stacked on smaller screens */}
<div className='grid grid-cols-1 md:grid-cols-2 divide-y md:divide-y-0 md:divide-x divide-gray-200'>
{/* all A is B */}
<div className='p-4'>
<h4 className='font-semibold mb-2'>all A is B =</h4>
<ul className='list-disc pl-6 space-y-1'>
<li>A&apos;s are B&apos;s</li>
<li>Those who are A are B</li>
<li>If a person is A, then she is B</li>
<li>If you&apos;re A, then you&apos;re B</li>
<li>Only B&apos;s are A&apos;s</li>
<li>None but B&apos;s are A&apos;s</li>
<li>No one is A unless she is B</li>
<li>Nothing is A unless it&apos;s B</li>
<li>A thing isn&apos;t A unless it&apos;s B</li>
<li>It&apos;s false that some A is not B</li>
</ul>
</div>

{/* no A is B */}
<div className='p-4 border-t md:border-t-0'>
<h4 className='font-semibold mb-2'>
no A is B = no B is A =
</h4>
<ul className='list-disc pl-6 space-y-1'>
<li>A&apos;s aren&apos;t B&apos;s</li>
<li>Every (each, any) A is non-B</li>
<li>Whoever (whatever) is A isn&apos;t B</li>
<li>Those who are A aren&apos;t B</li>
<li>If a person is A, then she isn&apos;t B</li>
<li>If you&apos;re A, then you aren&apos;t B</li>
<li>There isn&apos;t a single A that&apos;s B</li>
<li>Not any A is B</li>
<li>
It&apos;s false that there&apos;s an A that&apos;s B
</li>
<li>It&apos;s false that some A is B</li>
</ul>
</div>

{/* some A is B */}
<div className='p-4 border-t'>
<h4 className='font-semibold mb-2'>
some A is B = some B is A =
</h4>
<ul className='list-disc pl-6 space-y-1'>
<li>One or more A&apos;s are B&apos;s</li>
<li>A&apos;s are sometimes B&apos;s</li>
<li>It&apos;s false that no A is B</li>
</ul>
</div>

{/* some A is not B */}
<div className='p-4 border-t md:border-l'>
<h4 className='font-semibold mb-2'>some A is not B =</h4>
<ul className='list-disc pl-6 space-y-1'>
<li>One or more A&apos;s aren&apos;t B&apos;s</li>
<li>Not all A&apos;s are B&apos;s</li>
<li>It&apos;s false that all A is B</li>
</ul>
</div>
</div>
</div>

<div className='mt-6 p-4 bg-muted rounded-lg'>
<h4 className='font-semibold mb-2'>
Examples of correct translations:
</h4>
<ul className='space-y-2'>
<li>Snakes aren&apos;t furry = no S is F</li>
<li>Only men are football players = all F is M</li>
<li>Not all steaks are well done = some S is not W</li>
</ul>
</div>

<div className='mt-6'>
<p className='text-muted-foreground italic'>
When you translate from English to logic, be careful to use
correct WFFs.
</p>
</div>
</CardContent>
</Card>
</section>
</div>
</>
);
}
117 changes: 117 additions & 0 deletions components/ui/table.tsx
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,117 @@
import * as React from "react"

import { cn } from "@/lib/utils"

const Table = React.forwardRef<
HTMLTableElement,
React.HTMLAttributes<HTMLTableElement>
>(({ className, ...props }, ref) => (
<div className="relative w-full overflow-auto">
<table
ref={ref}
className={cn("w-full caption-bottom text-sm", className)}
{...props}
/>
</div>
))
Table.displayName = "Table"

const TableHeader = React.forwardRef<
HTMLTableSectionElement,
React.HTMLAttributes<HTMLTableSectionElement>
>(({ className, ...props }, ref) => (
<thead ref={ref} className={cn("[&_tr]:border-b", className)} {...props} />
))
TableHeader.displayName = "TableHeader"

const TableBody = React.forwardRef<
HTMLTableSectionElement,
React.HTMLAttributes<HTMLTableSectionElement>
>(({ className, ...props }, ref) => (
<tbody
ref={ref}
className={cn("[&_tr:last-child]:border-0", className)}
{...props}
/>
))
TableBody.displayName = "TableBody"

const TableFooter = React.forwardRef<
HTMLTableSectionElement,
React.HTMLAttributes<HTMLTableSectionElement>
>(({ className, ...props }, ref) => (
<tfoot
ref={ref}
className={cn(
"border-t bg-muted/50 font-medium [&>tr]:last:border-b-0",
className
)}
{...props}
/>
))
TableFooter.displayName = "TableFooter"

const TableRow = React.forwardRef<
HTMLTableRowElement,
React.HTMLAttributes<HTMLTableRowElement>
>(({ className, ...props }, ref) => (
<tr
ref={ref}
className={cn(
"border-b transition-colors hover:bg-muted/50 data-[state=selected]:bg-muted",
className
)}
{...props}
/>
))
TableRow.displayName = "TableRow"

const TableHead = React.forwardRef<
HTMLTableCellElement,
React.ThHTMLAttributes<HTMLTableCellElement>
>(({ className, ...props }, ref) => (
<th
ref={ref}
className={cn(
"h-12 px-4 text-left align-middle font-medium text-muted-foreground [&:has([role=checkbox])]:pr-0",
className
)}
{...props}
/>
))
TableHead.displayName = "TableHead"

const TableCell = React.forwardRef<
HTMLTableCellElement,
React.TdHTMLAttributes<HTMLTableCellElement>
>(({ className, ...props }, ref) => (
<td
ref={ref}
className={cn("p-4 align-middle [&:has([role=checkbox])]:pr-0", className)}
{...props}
/>
))
TableCell.displayName = "TableCell"

const TableCaption = React.forwardRef<
HTMLTableCaptionElement,
React.HTMLAttributes<HTMLTableCaptionElement>
>(({ className, ...props }, ref) => (
<caption
ref={ref}
className={cn("mt-4 text-sm text-muted-foreground", className)}
{...props}
/>
))
TableCaption.displayName = "TableCaption"

export {
Table,
TableHeader,
TableBody,
TableFooter,
TableHead,
TableRow,
TableCell,
TableCaption,
}

1 comment on commit 2419499

@vercel
Copy link

@vercel vercel bot commented on 2419499 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.