Logica sim

ogi
Resumen de Reglas de Derivación

1. Reglas de Introducción

Introducción de Conjunción

Forma general:
|p1. |φ | |
|p2.|ψ | |
|c. |(φ & ψ) |&I: p1, p2 |

Ejemplo:
|1. |A|Premisa |
|2. |B |Premisa |
|3. |C |Premisa |
|4.|(A & B) |&I: 1, 2 |
|5. |((A & B) & C) |&I: 4, 3 |

Introducción de Disyunción

Forma general:
|p1.|φ | |
|c. |(φ v ψ) |VIR: p1 |
| | ||
|p1. |φ | |
|c. |(ψ v φ) |VIL: p1 |

Ejemplo:
|1.|P |Premisa |
|2. |Q |Premisa |
|3. |(P & Q) |&I:1, 2 |
|4. |((P & Q) v T) |VIR: 3 |

Introducción de Condicional
Asumiendo Antecedente

Forma general:
|a1. |φ|Se asume |
| |… | |
|p1. |Ψ ||
|c1. |(φ ( ψ) |(I: p1 |

Ejemplo:
|1. |J |Premisa |
|2. |P...