0
   

Question about a logic problem on "language proof and logic"

Forums: Logic
Email this Topic • Print this Page
 
 
SteveMVPnash
 
Reply Sun 8 Apr, 2012 10:18 am
I am stumped on the problem
Cube(b)
not(Cube(c) ^ Cube(b))
Goal:
(not) Cube(c)

not is the negation sign and I have to "prove" it using the fitch program however I am stumped. Help please.
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,022 • Replies: 1
No top replies

 
fresco
 
  1  
Reply Sun 8 Apr, 2012 04:45 pm
@SteveMVPnash,
You deleted my reply on your duplicate thread.
0 Replies
 
 

Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
THE TEN COMMANDMENTS OF LOGIC - Discussion by Ragman
CONSTRUCT A FORMAL PROOF FOR THE ARGUMENT USING THE INDIRECT METHOD - Question by ArianaMaria
Derivations vs. symbolisation? - Question by collegestudent123
Logic word problem - Question by johnr
Cause of death..... - Discussion by gungasnake
Need help in defining - Question by ichishti
Predicate Logic Help - Question by splenax
can logic be seen as a property of the universe itself? - Question by sapmi
The abusive use of the arguments against Logic and Truth - Discussion by Fil Albuquerque
 
  1. Forums
  2. » Question about a logic problem on "language proof and logic"
Copyright © 2025 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 02/01/2025 at 12:35:12
▲ ▼