Post on 06-Jan-2016
description
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 1/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 2/17
Φ ∃y∀x[(x ∈ y) ⇔ Φ(x)] Φ(x)
Φ
Φ
Φ(x) ¬(x ∈ x)
∃y∀x[(x ∈ y) ⇔ ¬(x ∈ x)]
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 3/17
∃y[(y ∈ y) ⇔ ¬(y ∈ y)]
∃y∀x[(x ∈ y) ⇔ ¬(x ∈ x)] ⇒ ∃y[(y ∈ y) ⇔ ¬(y ∈ y)]
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 4/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 5/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 6/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 7/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 8/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 9/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 10/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 11/17
α → α
¬(α ∧
¬α)
α ∨ ¬α
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 12/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 13/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 14/17
∃x(Px∨Qxy)
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 15/17
L1 L2 L3
Li
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 16/17