Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Examples to Accompany http://www.scribd.com/doc/16033954/Algoppr-Rev (19OR24P Rev)

Examples to Accompany http://www.scribd.com/doc/16033954/Algoppr-Rev (19OR24P Rev)

Ratings: (0)|Views: 18 |Likes:
Published by Justine Leon A. Uro
logic, predicate logic, validity, algorithm, examples, categorical syllogism, argument, symbolic logic, justine uro, justine leon uro
logic, predicate logic, validity, algorithm, examples, categorical syllogism, argument, symbolic logic, justine uro, justine leon uro

More info:

Published by: Justine Leon A. Uro on Jun 02, 2009
Copyright:Attribution Non-commercial Share Alike

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/11/2014

pdf

text

original

 
19 or 24 Categorical SyllogismsTableName123456789*101112*131415*161718*1920*(from 1)21*(from 2)22*(from 5)23*(from 6)24(from 17)
*requires existential import (EI) for validity
bArbArAcElArEntdArIIfErIOcEsArEcAmEstrEsbArOcOfEstInOdArAptIdAtIsIdIsAmIsfElAptOnbOcArdOfErIsOnbrAmAntIpdImArIscAmEnEsfEsApOfrEsIsOn
 
PQRQ => RP => QP => RPQRQ ^ ~RQ => PP ^ ~R11111TRUETRUETRUE131111FALSETRUEFALSE2110FALSETRUEFALSE2110TRUETRUETRUE3101TRUEFALSETRUE3101FALSETRUEFALSE4100TRUEFALSEFALSE4100FALSETRUETRUE5011TRUETRUETRUE5011FALSEFALSEFALSE6010FALSETRUETRUE6010TRUEFALSEFALSE7001TRUETRUETRUE7001FALSETRUEFALSE8000TRUETRUETRUE8000FALSETRUEFALSE
∃ ∃
PQRR => ~QP => RP => ~QPQRQ => ~RQ ^ PP ^ ~R21111FALSETRUEFALSE141111FALSETRUEFALSE2110TRUEFALSEFALSE2110TRUETRUETRUE3101TRUETRUETRUE3101TRUEFALSEFALSE4100TRUEFALSETRUE4100TRUEFALSETRUE5011FALSETRUETRUE5011FALSEFALSEFALSE6010TRUETRUETRUE6010TRUEFALSEFALSE7001TRUETRUETRUE7001TRUEFALSEFALSE8000TRUETRUETRUE8000TRUEFALSEFALSE
∃ ∃
PQRQ => RP ^ QP ^ RPQRR => QQ => PP ^ R31111TRUETRUETRUE151111TRUETRUETRUE2110FALSETRUEFALSE2110TRUETRUEFALSE3101TRUEFALSETRUE3101FALSETRUETRUE4100TRUEFALSEFALSE4100TRUETRUEFALSE5011TRUEFALSEFALSE5011TRUEFALSEFALSE6010FALSEFALSEFALSE6010TRUEFALSEFALSE7001TRUEFALSEFALSE7001FALSETRUEFALSE8000TRUEFALSEFALSE8000TRUETRUEFALSE
∃ ∃
PQRQ => ~RP ^ QP ^ ~RPQRR ^ QQ => PP ^ R41111FALSETRUEFALSE161111TRUETRUETRUE2110TRUETRUETRUE2110FALSETRUEFALSE3101TRUEFALSEFALSE3101FALSETRUETRUE4100TRUEFALSETRUE4100FALSETRUEFALSE5011FALSEFALSEFALSE5011TRUEFALSEFALSE6010TRUEFALSEFALSE6010FALSEFALSEFALSE7001TRUEFALSEFALSE7001FALSETRUEFALSE8000TRUEFALSEFALSE8000FALSETRUEFALSE
PQRR => ~QP => QP => ~RPQRR => QQ => ~PP => ~R51111FALSETRUEFALSE171111TRUEFALSEFALSE2110TRUETRUETRUE2110TRUEFALSETRUE3101TRUEFALSEFALSE3101FALSETRUEFALSE4100TRUEFALSETRUE4100TRUETRUETRUE5011FALSETRUETRUE5011TRUETRUETRUE6010TRUETRUETRUE6010TRUETRUETRUE7001TRUETRUETRUE7001FALSETRUETRUE8000TRUETRUETRUE8000TRUETRUETRUE
PQRR => QP => ~QP => ~RPQRR => ~QQ => PP ^ ~R61111TRUEFALSEFALSE181111FALSETRUEFALSE2110TRUEFALSETRUE2110TRUETRUETRUE3101FALSETRUEFALSE3101TRUETRUEFALSE4100TRUETRUETRUE4100TRUETRUETRUE5011TRUETRUETRUE5011FALSEFALSEFALSE6010TRUETRUETRUE6010TRUEFALSEFALSE7001FALSETRUETRUE7001TRUETRUEFALSE8000TRUETRUETRUE8000TRUETRUEFALSE
∃ ∃ ∃ ∃
PQRR => QP ^ ~QP ^ ~RPQRR => ~QQ ^ PP ^ ~R71111TRUEFALSEFALSE191111FALSETRUEFALSE2110TRUEFALSETRUE2110TRUETRUETRUE3101FALSETRUEFALSE3101TRUEFALSEFALSE4100TRUETRUETRUE4100TRUEFALSETRUE5011TRUEFALSEFALSE5011FALSEFALSEFALSE6010TRUEFALSEFALSE6010TRUEFALSEFALSE7001FALSEFALSEFALSE7001TRUEFALSEFALSE8000TRUEFALSEFALSE8000TRUEFALSEFALSE
 
∃ ∃
PQRR => ~QP ^ QP ^ ~RPQRQ => RP => QP ^ R81111FALSETRUEFALSE201111TRUETRUETRUE2110TRUETRUETRUE2110FALSETRUEFALSE3101TRUEFALSEFALSE3101TRUEFALSETRUE4100TRUEFALSETRUE4100TRUEFALSEFALSE5011FALSEFALSEFALSE5011TRUETRUEFALSE6010TRUEFALSEFALSE6010FALSETRUEFALSE7001TRUEFALSEFALSE7001TRUETRUEFALSE8000TRUEFALSEFALSE8000TRUETRUEFALSE
PQRQ => RQ => PP ^ RPQRQ => ~RP => QP ^ ~R91111TRUETRUETRUE211111FALSETRUEFALSE2110FALSETRUEFALSE2110TRUETRUETRUE3101TRUETRUETRUE3101TRUEFALSEFALSE4100TRUETRUEFALSE4100TRUEFALSETRUE5011TRUEFALSEFALSE5011FALSETRUEFALSE6010FALSEFALSEFALSE6010TRUETRUEFALSE7001TRUETRUEFALSE7001TRUETRUEFALSE8000TRUETRUEFALSE8000TRUETRUEFALSE
∃ ∃
PQRQ => RQ ^ PP ^ RPQRR => QP => ~QP ^ ~R101111TRUETRUETRUE221111TRUEFALSEFALSE2110FALSETRUEFALSE2110TRUEFALSETRUE3101TRUEFALSETRUE3101FALSETRUEFALSE4100TRUEFALSEFALSE4100TRUETRUETRUE5011TRUEFALSEFALSE5011TRUETRUEFALSE6010FALSEFALSEFALSE6010TRUETRUEFALSE7001TRUEFALSEFALSE7001FALSETRUEFALSE8000TRUEFALSEFALSE8000TRUETRUEFALSE
PQRQ ^ RQ => PP ^ RPQRR => ~QP => QP ^ ~R111111TRUETRUETRUE231111FALSETRUEFALSE2110FALSETRUEFALSE2110TRUETRUETRUE3101FALSETRUETRUE3101TRUEFALSEFALSE4100FALSETRUEFALSE4100TRUEFALSETRUE5011TRUEFALSEFALSE5011FALSETRUEFALSE6010FALSEFALSEFALSE6010TRUETRUEFALSE7001FALSETRUEFALSE7001TRUETRUEFALSE8000FALSETRUEFALSE8000TRUETRUEFALSE
PQRQ => ~RQ => PP ^ ~RPQRR => QQ => ~PP => ~R121111FALSETRUEFALSE241111TRUEFALSEFALSE2110TRUETRUETRUE2110TRUEFALSETRUE3101TRUETRUEFALSE3101FALSETRUEFALSE4100TRUETRUETRUE4100TRUETRUETRUE5011FALSEFALSEFALSE5011TRUETRUETRUE6010TRUEFALSEFALSE6010TRUETRUETRUE7001TRUETRUEFALSE7001FALSETRUETRUE8000TRUETRUEFALSE8000TRUETRUETRUE

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->