| Calendar |
Quick Links
|
Help | Register |
Logic Homework
| Show unanswered topics / topics with 10+ replies / all topics |
| Topic Title | Author | Replies | Views | Rating | Created | Last Post | |
|
|
Pinned: LaTeX guide
|
AKG | 8 | 1227 | Dec 09, 2005 02:43 PM |
Apr 29, 2007 05:27 PM By Paul ![]() |
|
|
|
Pinned: Very Basic Terms of Logic
|
dreamweaver | 7 | 9262 | ![]() ![]() ![]() ![]() 4.67/5 with 3 votes | Mar 06, 2004 07:08 AM |
Sep 15, 2006 08:43 AM By Timothy ![]() |
|
|
Pinned: 'Logic Homework' Forum Guidelines
|
AKG | 0 | 822 | Jan 05, 2006 11:37 PM |
Jan 05, 2006 11:37 PM By AKG ![]() |
|
|
|
Pinned: Derivation Systems for Propositional and Predicate Logics
|
AKG | 0 | 798 | Jan 05, 2006 11:26 PM |
Jan 05, 2006 11:26 PM By AKG ![]() |
|
|
|
Modal Logic and Provability
|
taiho | 2 | 36 | May 08, 2008 03:25 PM |
May 08, 2008 11:28 PM By 7 ![]() |
|
|
|
Euclidean relations
|
taiho | 1 | 41 | May 03, 2008 10:49 AM |
May 03, 2008 11:58 AM By 7 ![]() |
|
|
|
Modal Logic Proof
I'm feeling a bit slow |
K. | 18 | 357 | Jan 14, 2006 12:00 AM |
May 03, 2008 06:10 AM By 7 ![]() |
|
|
|
Hard Logic Questions
These are hard logic questions |
ace_nz | 3 | 96 | Apr 21, 2008 01:21 AM |
Apr 25, 2008 09:47 PM By 7 ![]() |
|
|
|
Can I Get Some Help on a Deduction Proof?
|
nova1224 | 1 | 48 | Apr 20, 2008 01:40 AM |
Apr 20, 2008 10:15 AM By Goaswerfraiejen ![]() |
|
|
|
Induction of a quantifier free sentence
a prove by induction |
feefoo | 3 | 137 | Dec 08, 2005 06:52 PM |
Apr 17, 2008 10:57 PM By rayzer ![]() |
|
|
|
Translating English into Predicate Logic
A few problems translating English into Predicate Logic notation |
Markh5000 | 1 | 86 | Apr 14, 2008 12:44 PM |
Apr 14, 2008 04:56 PM By 7 ![]() |
|
|
|
Conditional Proof and Reduction Ad Absurdum
Some problems I need help with |
Markh5000 | 5 | 37 | Apr 07, 2008 04:19 PM |
Apr 14, 2008 01:43 PM By Brian Bosse ![]() |
|
|
|
Question on combinatorics notation
|
moonlight | 2 | 27 | Apr 08, 2008 10:01 AM |
Apr 14, 2008 05:33 AM By rabeldin ![]() |
|
|
|
Intro Logic Proof Help Wanted
conditional proof |
logicprincess | 4 | 36 | Apr 08, 2008 07:23 PM |
Apr 11, 2008 12:36 PM By 7 ![]() |
|
|
|
Converse of Implication
|
Clock | 6 | 61 | Mar 31, 2008 06:26 PM |
Apr 01, 2008 09:03 AM By 7 ![]() |
|
|
|
please help with translating into categorical form
|
alpar6 | 1 | 43 | Mar 26, 2008 05:56 AM |
Mar 30, 2008 08:24 PM By Brian Bosse ![]() |
|
|
|
Quantifier elimination: can anyone spot what is wrong here?
Quantifier elimination: can anyone spot what is wrong here? |
moonlight | 8 | 40 | Mar 17, 2008 10:19 PM |
Mar 27, 2008 08:42 AM By moonlight ![]() |
|
|
|
instantiation of EA formulas on finite domains
(1,
2)
Can someone tell me if this is correct? |
moonlight | 25 | 62 | Nov 06, 2007 09:27 AM |
Mar 23, 2008 02:09 AM By Furrowed Brow 2 ![]() |
|
|
|
Sentential Logic Problem - Proving Truth
|
slyboots | 3 | 18 | Mar 16, 2008 10:48 PM |
Mar 18, 2008 09:42 AM By MoeBlee ![]() |
|
|
|
Quantifier negation in n-ary relations
Can a quantifier be negated, when its var. is used as arg. in n-ary relations? |
moonlight | 4 | 46 | Feb 26, 2008 09:30 PM |
Mar 13, 2008 11:20 AM By moonlight ![]() |
|
|
|
Improving a Search Heuristic for symmetric number-board game
Logic Heuristic Search |
Shaitan00 | 0 | 47 | Mar 10, 2008 11:28 PM |
Mar 10, 2008 11:28 PM By Shaitan00 ![]() |
|
|
|
Some simple sentential logic problems I need help with
Sentential logic proofs |
Markh5000 | 6 | 84 | Mar 05, 2008 10:56 PM |
Mar 10, 2008 04:37 PM By Eazy ![]() |
|
|
|
A real ninja of a problem
conditional / indirect proof |
MichaelGlawson | 2 | 50 | Feb 20, 2008 12:19 AM |
Feb 20, 2008 03:53 PM By MichaelGlawson ![]() |
|
|
|
Simple logic question
categorical syllogism |
floaty | 3 | 83 | Feb 11, 2008 09:44 PM |
Feb 17, 2008 02:32 PM By Incision ![]() |
|
|
|
Can you prove that P, Q, or L [Propositional Logics]
Propositional Logic Proof |
Shaitan00 | 3 | 94 | Feb 09, 2008 06:39 PM |
Feb 12, 2008 12:52 AM By moonlight ![]() |
|
|



