Logic Proof Problem.

  1. Philosophy Forum
  2. » Logic
  3. » 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



 
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)
 
 

 
  1. Philosophy Forum
  2. » Logic
  3. » Logic Proof Problem.
Copyright © 2020 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.02 seconds on 10/20/2020 at 12:13:08