Member since January 25, 2016

Yaoub

My Profile
Yaoub
  • Answered Questions: 0
  • Posts: 1
  • Location:
  • Occupation:
No Profile
Following
User has not yet added friends.
Followers
User does not yet have followers.
My Recent Posts
 
Natural deduction and predicate logic.
Mon 25 Jan, 2016 02:45 am - Hi , Can somebody tell me if line 10 is correct ? Did I do a mistake? ∀x(A ∨ B) ⊢ ∀x A∨B , Note: x is not free in B . 1.∀x(A∨B) premise... (view)
 
  1. Forums
  2. » Yaoub
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 05/03/2024 at 09:27:26
▲ ▼