Computational Logic Chapter 5. Intuitionistic Logic
Computational Logic Chapter 5. Intuitionistic Logic
Computational Logic Chapter 5. Intuitionistic Logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Lógica intuicionista<br />
Lógica Intuicionista<br />
El cálculo proposicional intuicionista se define como<br />
IPC=HPC + los axiomas de negación<br />
(p → ¬p) → ¬p<br />
¬p → (p → q)<br />
El cálculo proposicional clásico se puede definir como<br />
PC=IPC + tercio excluido p ∨ ¬p<br />
PC=HPC + (¬p → ¬q) → (q → p).<br />
HPC se usa en otras lógicas de negación más débil que la<br />
intuicionista. Ejemplo: Lógica Minimal de Johansson<br />
JPC=HPC+(p → q) → (¬q → ¬p)+¬(p ∧ ¬p)<br />
P. Cabalar ( Dept. Ch<strong>5.</strong> Computer <strong>Intuitionistic</strong> Science<strong>Logic</strong> University of Corunna, SPAIN January ) 18, 2011 6 / 13