Scribd Logo
Upload

Welcome to Scribd!

  • (X) (Ax BX) 2. (X) (BX CX) / (X) (Ax CX) (2) 1. (X) (BX CX) 2. (X) (Ax BX) / (X) (Ax CX)

    Uploaded by

    api-196193978
    211 views14 pages
    This document contains 25 logic problems, each consisting of 1 or more premises and a conclusion. The premises and conclusions use quantifiers and logical connectives to express relationships between variables. The goal is to determine whether each conclusion logically follows from its premises.

    Original Description:

    Original Title

    8 2

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document contains 25 logic problems, each consisting of 1 or more premises and a conclusion. The premises and conclusions use quantifiers and logical connectives to express relationships between variables. The goal is to determine whether each conclusion logically follows from its premises.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    211 views14 pages

    (X) (Ax BX) 2. (X) (BX CX) / (X) (Ax CX) (2) 1. (X) (BX CX) 2. (X) (Ax BX) / (X) (Ax CX)

    Uploaded by

    api-196193978
    This document contains 25 logic problems, each consisting of 1 or more premises and a conclusion. The premises and conclusions use quantifiers and logical connectives to express relationships between variables. The goal is to determine whether each conclusion logically follows from its premises.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 14

    (1)

    1. ( x)( Ax Bx)
    2. ( x)( Bx Cx)

    (2)
    1. ( x)( Bx Cx)
    / ( x)( Ax Cx)

    2. (x)( Ax Bx)

    / (x)( Ax Cx)

    (3)
    1. ( x)( Ax Bx)
    2. ~ Bm

    / (x)~ Ax

    (4)
    1. ( x)( Ax Bx)
    2. ( y)( Ay v ~ By)

    / ( x)( Ax = Bx)

    (5)
    1. ( x)[ Ax ( Bx v Cx)]
    2. Ag ~ Bg

    (6)
    1. ( x)[( Ax v Bx) Cx]
    / Cg

    2. (y)( Ay Dy)

    / (y) Cy

    (7)
    1. ( x)[ Jx ( Kx Lx)]
    2. (y)~ Ky

    / (z)~ Jz

    (8)
    1. ( x)[ Ax ( Bx v Cx)]
    2. (x)( Ax ~ Cx)

    / (x) Bx

    (9)
    1. ( x)( Ax Bx)
    2. Am An

    / Bm Bn .

    (10)
    1. ( x)( Ax Bx)
    2. Am v An

    / Bm v Bn

    (11)
    1. ( x)( Bx v Ax)
    2. ( x)( Bx Ax)

    / ( x) Ax

    (12)
    1. (x) Ax ( y)( By v ~ Ay)
    2. An

    / (y) By

    (13)
    1. ( x)[( Ax Bx) Cx]
    2. (x)( Bx ~ Cx)

    / (x)~ Ax

    (14)
    1. ( x)( Ax Bx)
    2. ( x)( Cx Dx)
    3. Ae v Ce

    / (x)( Bx v Dx)

    (15)
    1. (x) Ax ( x)( Bx Cx)
    2. Am Bm

    (16)
    1. (x) Ax ( x) Bx
    / Cm

    2. (x) Cx (x) Dx
    3. An Cn

    / (x)( Bx Dx)

    (17)
    1. ( x)( Ax Bx)
    2. Cr v ~( x) Bx

    / (x)( Cx Ax)

    (18)
    1. ( x)[ Ax ( Bx = Cx)]
    2. An Am
    3. Cn ~ Cm

    / Bn ~ Bm

    (19)
    1. (x) Ax ( x)( Cx Bx)
    2. (x)( Ax v Bx)
    3. ( x)( Bx Ax)

    (20)
    1. (x) Ax ( x)( Bx Cx)
    / ( x)( Cx Ax)

    2. (x) Dx (x)~ Cx
    3. (x)( Ax Dx)

    / (x)~ Bx

    (21)
    1. (x)( Ax Bx) ( x)( Cx Dx)
    2. (x) Ax ( x)( Bx Cx)
    3. Ae

    / (x)( Dx Bx) .

    (22)
    1. ( x)( Ax ~ Bx)
    2. An [~(x) Cx Bc]
    3. Am ( x)( Cx Dx)

    / (x) Dx

    (23)
    1. ( x)( Ax Bx)
    2. ( x) Ax ( Ce v ~ Be)

    3. ( x) Bx [(x) Cx ( Dn v ~ An)]

    / (x) Dx

    (24)
    1. (x) Ax ( x)[( Ax v Ex) Dx]

    2. (x) Dx ( x)[ Dx ( Cx v ~ Bx)]


    3. An Bn

    / (x) Cx .

    (25)
    1. ( x) Ax ( x)( Ax Bx)
    2. (x) Cx ( x)~( Dx Bx)
    3. (x)( Ax Cx)

    / (x)~ Dx

    You might also like