4 added 11 characters in body
source | link

6.14 is not valid.

The conclusion can be fFALSE and the third premise can still be tTRUE : it is enough that SameRow(d,f) is fFALSE.


BUT if FrontOf(b,f) allows you to derive ¬SameRow(b,f), in this case the argument is valid.

With it and the second premise you are forced to have SameRow(d,f) true and thus, assuming Cube(f) you have the desired contradiction, concluding with ¬Cube(f).

6.14 is not valid.

The conclusion can be f and the third premise can still be t : it is enough that SameRow(d,f) is f.


BUT if FrontOf(b,f) allows you to derive ¬SameRow(b,f), in this case the argument is valid.

With it and the second premise you are forced to have SameRow(d,f) true and thus, assuming Cube(f) you have the desired contradiction, concluding with ¬Cube(f).

6.14 is not valid.

The conclusion can be FALSE and the third premise can still be TRUE : it is enough that SameRow(d,f) is FALSE.


BUT if FrontOf(b,f) allows you to derive ¬SameRow(b,f), in this case the argument is valid.

With it and the second premise you are forced to have SameRow(d,f) true and thus, assuming Cube(f) you have the desired contradiction, concluding with ¬Cube(f).

3 added 296 characters in body
source | link

6.14 is not valid.

The conclusion can be f and the third premise can still be t : it is enough that SameRow(d,f) is f.


BUT if FrontOf(b,f) allows you to derive ¬SameRow(b,f), in this case the argument is valid.

With it and the second premise you are forced to have SameRow(d,f) true and thus, assuming Cube(f) you have the desired contradiction, concluding with ¬Cube(f).

6.14 is not valid.

The conclusion can be f and the third premise can still be t : it is enough that SameRow(d,f) is f.

6.14 is not valid.

The conclusion can be f and the third premise can still be t : it is enough that SameRow(d,f) is f.


BUT if FrontOf(b,f) allows you to derive ¬SameRow(b,f), in this case the argument is valid.

With it and the second premise you are forced to have SameRow(d,f) true and thus, assuming Cube(f) you have the desired contradiction, concluding with ¬Cube(f).

2 deleted 1 character in body
source | link

6.14414 is not valid.

The conclusion can be f and the third premise can still be t : it is enough that SameRow(d,f) is f.

6.144 is not valid.

The conclusion can be f and the third premise can still be t : it is enough that SameRow(d,f) is f.

6.14 is not valid.

The conclusion can be f and the third premise can still be t : it is enough that SameRow(d,f) is f.

1
source | link