answersLogoWhite
College Applications and Entrance Requirements
Roman Numerals
Harry Potter Movies
Essays

Can anyone prove A v C from the premises notB v C and A v B using the Fitch Logic program?


Top Answer
User Avatar
Wiki User
2009-10-13 20:19:50
2009-10-13 20:19:50

Prove by cases, First case is A then from A prove A v C using v Intro(A) . Case 2 is B. You will need another set of cases in Case 2, namely those of your other premise ~B (not B) v C. So case 2 (B) Will have two sub proofs. The first of the sub proofs is ~B which you prove by using _|_ Intro citing B and ~B. After this you can use _|_ Elim to prove whatever you like. Since we like or want A v C you should then add one more step and prove from _|_ A v C (using _|_ Elim). The second sub proof within case 2 should be C (this can be figured out again by looking at what you haven't used from your premises, C is the only thing you haven't used). So under C make a new line and prove A v C using v Intro. Prove _|_ for Case 2 by using vElim and then Prove A v C for your final proof by v ELim from your two cases (A B).

Related Questions

User Avatar

State the premises and conclusion of the following argument: All students like logic Robin likes logic --------------------- Robin is a student

User Avatar

Program logic controllers are used to control the operation of most systems.

User Avatar

It is very much advisable to plan the logic of a program because it tells the program how to deliver information to a computer system.

User Avatar

G. W. Fitch has written: 'Naming and believing' -- subject(s): Belief and doubt, Onomasiology, Proposition (Logic), Reference (Philosophy), Semantics (Philosophy)

User Avatar

hello, The algorithm is the step by step process of explaining the program. The program is used for executing the logic. While the algorithm is used for the understanding of the logic


Copyright © 2020 Multiply Media, LLC. All Rights Reserved. The material on this site can not be reproduced, distributed, transmitted, cached or otherwise used, except with prior written permission of Multiply.