Log In
::
Register
::
Search
Forums
Groups
All Groups
•
My Groups
Philosophy Forum
Log In
New Topics
New Posts
Read Topic
Reply
Logic Proof Problem.
Philosophy Forum
»
Logic
»
Logic Proof Problem.
Get Email Updates
•
Email this Topic
•
Print this Page
kartal
Reply
Thu 13 Nov, 2008 06:01 am
I am trying to solve a natural deduction question. After I finished 4 of them the 5th one looks like a litle bit difficult.
This is my question
Stumble It!
•
Tweet This
•
Bookmark on Delicious
•
Share on Facebook
•
Share on MySpace
kartal
Reply
Thu 13 Nov, 2008 11:58 am
@kartal,
I Found something for my solution but Again I need some help
.
.
.
.
10.F(a, b) ^ S(b) ----> UF(a, b)
Now I need to find F(a,b) then I can use ^ intro 5.2 and F(a,b)
So I can find
achieve UF(a,b)
But my question is how I can carry F(a,b) can I assump it or is this a way to derive it from another way
bettydlgc
Reply
Wed 10 Dec, 2008 10:26 pm
@kartal,
can you help me solve the following?
-(-P v -Q) therefore (P & Q)
Philosophy Forum
»
Logic
»
Logic Proof Problem.
Read Topic
Reply
Copyright © 2020
MadLab, LLC
::
Terms of Service
::
Privacy Policy
:: Page generated in 0.02 seconds on 08/12/2020 at 07:19:12
▲
▼