Logic Homework
Questions about specific logic issues. Please attempt to solve the problem and show where you're lost.
| Show unanswered topics / topics with 10+ replies / all topics |
| Topic Title | Author | Replies | Views | Rating | Created | Last Post | |
|
|
proving sentential derivations?
?? |
cosmopolitanx | 0 | 16 | Nov 19, 2009 12:10 PM |
Nov 19, 2009 12:10 PM By cosmopolitanx ![]() |
|
|
|
semantics of pred logic
|
kingoftsr | 0 | 25 | Nov 07, 2009 02:11 PM |
Nov 07, 2009 02:11 PM By kingoftsr ![]() |
|
|
|
PROOF Modal Logic
Please Help |
samroberts | 0 | 19 | Nov 04, 2009 03:14 PM |
Nov 04, 2009 03:14 PM By samroberts ![]() |
|
|
|
Modal Logic Help!!!!
Any help would be greatly appreciated! Thanks |
samroberts | 0 | 32 | Oct 21, 2009 07:25 PM |
Oct 21, 2009 07:25 PM By samroberts ![]() |
|
|
|
Function and inverses
|
Christim | 0 | 41 | Oct 16, 2009 04:32 PM |
Oct 16, 2009 04:32 PM By Christim ![]() |
|
|
|
Free Proof Checking Software
Does anyone know of any? |
ClaudeHooper | 0 | 50 | Oct 16, 2009 09:26 AM |
Oct 16, 2009 09:26 AM By ClaudeHooper ![]() |
|
|
|
Modal Logic Chellas Problem One
ASAP!!! From Chellas Introduction to Modal Logic problems 9.16 and 9.17 and 9.19 |
samroberts | 0 | 33 | Oct 13, 2009 07:33 PM |
Oct 13, 2009 07:33 PM By samroberts ![]() |
|
|
|
Löwenheim-Skolem and Induction on complexity
I'm not sure what the induction on complexity would amount to in my proof. |
dense | 0 | 49 | Oct 12, 2009 12:38 AM |
Oct 12, 2009 12:38 AM By dense ![]() |
|
|
|
Logic:Structural induction and Tree-method Problems! Help Needed!
|
Dasher | 0 | 47 | Sep 28, 2009 06:52 AM |
Sep 28, 2009 06:52 AM By Dasher ![]() |
|
|
|
Express statement
I need help. |
Christim | 0 | 41 | Sep 20, 2009 12:11 PM |
Sep 20, 2009 12:11 PM By Christim ![]() |
|
|
|
Short hand.
And its incompatibility with communication. |
Phaedruswax | 0 | 45 | Aug 17, 2009 06:30 AM |
Aug 17, 2009 06:30 AM By Phaedruswax ![]() |
|
|
|
Translation...
|
Horace | 0 | 27 | Aug 09, 2009 03:18 PM |
Aug 09, 2009 03:18 PM By Horace ![]() |
|
|
|
logic puzzle
|
roses | 0 | 69 | Jun 12, 2009 07:44 AM |
Jun 12, 2009 07:44 AM By roses ![]() |
|
|
|
Arguments/Explanations...
|
Horace | 0 | 54 | Jun 08, 2009 06:28 AM |
Jun 08, 2009 06:28 AM By Horace ![]() |
|
|
|
help with deductive proof problems please
|
cougarvb1 | 0 | 23 | May 03, 2009 01:04 PM |
May 03, 2009 01:04 PM By cougarvb1 ![]() |
|
|
|
Deductive Logic
|
Jethaya | 0 | 14 | Apr 20, 2009 07:29 PM |
Apr 20, 2009 07:29 PM By Jethaya ![]() |
|
|
|
Logic Proofs
|
Christim | 0 | 23 | Apr 17, 2009 11:17 AM |
Apr 17, 2009 11:17 AM By Christim ![]() |
|
|
|
VERY HELPFUL Syllogism Validator
|
pfpublic | 0 | 18 | Nov 19, 2008 07:42 PM |
Nov 19, 2008 07:42 PM By pfpublic ![]() |
|
|
|
Need a Philosophy- Logic tutor- ASAP!
|
jonaela | 0 | 22 | Nov 09, 2008 09:03 PM |
Nov 09, 2008 09:03 PM By jonaela ![]() |
|
|
|
Fitch Formal Proofs Help
|
iron_ike | 0 | 4 | Nov 06, 2008 02:09 PM |
Nov 06, 2008 02:09 PM By iron_ike ![]() |
|
|

