1 files changed, 0 insertions, 253 deletions
diff --git a/logic/n.lyx b/logic/n.lyx
deleted file mode 100644
index 57fe1dd..0000000
--- a/logic/n.lyx
+++ /dev/null
@@ -1,253 +0,0 @@
-#LyX 2.3 created this file. For more info see http://www.lyx.org/
-\lyxformat 544
-\begin_document
-\begin_header
-\save_transient_properties true
-\origin unavailable
-\textclass book
-\use_default_options true
-\maintain_unincluded_children false
-\language spanish
-\language_package default
-\inputencoding auto
-\fontencoding global
-\font_roman "default" "default"
-\font_sans "default" "default"
-\font_typewriter "default" "default"
-\font_math "auto" "auto"
-\font_default_family default
-\use_non_tex_fonts false
-\font_sc false
-\font_osf false
-\font_sf_scale 100 100
-\font_tt_scale 100 100
-\use_microtype false
-\use_dash_ligatures true
-\graphics default
-\default_output_format default
-\output_sync 0
-\bibtex_command default
-\index_command default
-\paperfontsize default
-\spacing single
-\use_hyperref false
-\papersize a5paper
-\use_geometry true
-\use_package amsmath 1
-\use_package amssymb 1
-\use_package cancel 1
-\use_package esint 1
-\use_package mathdots 1
-\use_package mathtools 1
-\use_package mhchem 1
-\use_package stackrel 1
-\use_package stmaryrd 1
-\use_package undertilde 1
-\cite_engine basic
-\cite_engine_type default
-\biblio_style plain
-\use_bibtopic false
-\use_indices false
-\paperorientation portrait
-\suppress_date false
-\justification true
-\use_refstyle 1
-\use_minted 0
-\index Index
-\shortcut idx
-\color #008000
-\end_index
-\leftmargin 0.2cm
-\topmargin 0.7cm
-\rightmargin 0.2cm
-\bottommargin 0.7cm
-\secnumdepth 3
-\tocdepth 3
-\paragraph_separation indent
-\paragraph_indentation default
-\is_math_indent 0
-\math_numbering_side default
-\quotes_style swiss
-\dynamic_quotes 0
-\papercolumns 1
-\papersides 1
-\paperpagestyle empty
-\tracking_changes false
-\output_changes false
-\html_math_output 0
-\html_css_as_file 0
-\html_be_strict false
-\end_header
-
-\begin_body
-
-\begin_layout Title
-Fundamentos Lógicos de la Informática
-\end_layout
-
-\begin_layout Date
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset ERT
-status open
-
-\begin_layout Plain Layout
-
-
-\backslash
-def
-\backslash
-cryear{2017}
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "../license.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-Bibliografía:
-\end_layout
-
-\begin_layout Itemize
-Diapositivas de Fundamentos Lógicos de la Informática, Departamento de Ingenierí
-a de al Información y las Comunicaciones (nota: la errata es de ellos),
- Facultad de Informática, Universidad de Murcia.
-\end_layout
-
-\begin_layout Itemize
-Wikipedia, la enciclopedia libre (
-\begin_inset Flex URL
-status open
-
-\begin_layout Plain Layout
-
-https://es.wikipedia.org/
-\end_layout
-
-\end_inset
-
-).
-\end_layout
-
-\begin_layout Chapter
-Lógica
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "n1.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Chapter
-Lógica proposicional
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "n2.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Chapter
-Problema SAT
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "n3.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Chapter
-Deducción natural
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "n4.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Chapter
-Lógica categórica
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "n5.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Chapter
-Lógica de predicados de primer orden
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "n6.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Chapter
-Sistemas deductivos, razonamientos y deducciones
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset include
-LatexCommand input
-filename "n7.lyx"
-
-\end_inset
-
-
-\end_layout
-
-\end_body
-\end_document