Scribd Logo
Upload

Welcome to Scribd!

  • Symbolic Derivation Example

    Uploaded by

    Victor Del Cid
    11 views1 page
    This is a symbolic derivation example in a fitch diagram. Parting from the given premises you can derivate a given conclusion using predicate logic derivation rules.

    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 is a symbolic derivation example in a fitch diagram. Parting from the given premises you can derivate a given conclusion using predicate logic derivation rules.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    11 views1 page

    Symbolic Derivation Example

    Uploaded by

    Victor Del Cid
    This is a symbolic derivation example in a fitch diagram. Parting from the given premises you can derivate a given conclusion using predicate logic derivation rules.

    Copyright:

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

    Vctor del Cid - 20150351

    Lgica Simblica - Seccin A

    Problema de Kurt Jones


    y los dolos del templo de las disyunciones
    Diagrama de Fitch:
    1
    2
    3
    4
    5
    6
    7
    8

    (A1 v R1)
    (~R1 v V1)
    (~V2 v A2)
    (~A2 &~V2) R2
    (A1 & R2) V3
    (~V1 & ~R1) A1
    A1 (~A2 & ~A3)
    V1 (~R1 & ~A1)

    Prem
    Prem
    Prem
    Prem
    Prem
    Prem
    Prem
    Prem

    9 V1
    10
    (~R1 & ~A1)
    11
    (~R1)
    12
    (~A1)

    A+
    E:8,9
    &ER:10
    &EL:10

    13
    14

    A1

    A+
    I:12,13

    15
    16

    R1

    A+
    I:11,15

    17 FALSUM
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29

    (~V1)
    (~R1)
    (~V1 & ~R1)
    A1
    (~A2 & ~A3)
    (~A2)
    (~V2)
    (~A2 & ~V2)
    R2
    (A1 & R2)
    V3
    (A1 & R2) & V3)

    vE:1,14,16
    ~I:17
    DSL:2,18
    &I:18,19
    E:6,20
    E:7,21
    &EL:22
    DSL:3,23
    &I:23,24
    E:4,25
    &I:21,26
    E:5,27
    &I:27,28

    You might also like