43 lines
1.7 KiB
TeX
43 lines
1.7 KiB
TeX
\documentclass[10pt,a4paper]{article}
|
||
\usepackage[utf8]{inputenc}
|
||
\usepackage[spanish]{babel}
|
||
\usepackage{amsmath}
|
||
\usepackage{amsfonts}
|
||
\usepackage{amssymb}
|
||
\usepackage{multicol}
|
||
\usepackage{hyperref}
|
||
\renewcommand{\rmdefault}{ptm}
|
||
\usepackage{pgf}
|
||
\usepackage{tikz}
|
||
\usetikzlibrary{automata,positioning,arrows}
|
||
%\tikzset{->, % makes the edges directed
|
||
% >=stealth’, % makes the arrow heads bold
|
||
% node distance=3cm, % specifies the minimum distance between two nodes. Change if necessary.
|
||
% every state/.style={thick, fill=gray!10}, % sets the properties for each ’state’ node
|
||
% initial text=$ $ % sets the text that appears on the start arrow
|
||
% }
|
||
%\usetikzlibrary{arrows,automata}
|
||
%\usepackage[all,cmtip]{xy}
|
||
%\usepackage{graphicx}
|
||
\author{Lógica computacional}
|
||
\title{Lógica de enunciados (proposicional)}
|
||
\begin{document}
|
||
\maketitle
|
||
\section{Elementos}
|
||
|
||
\begin{itemize}
|
||
\item Átomos, en este caso las proposiciones
|
||
\item Los sómbolos: $\neg$, $vee$, $wedge$, $\rightarrow$ y $\iff$. Los conectivos de enunciados.
|
||
\item Los paréntesis ``(`` y ``)''.
|
||
\end{itemize}
|
||
|
||
|
||
\begin{thebibliography}{10}
|
||
\bibitem{Gallier2003} Gallier, Jean. ``Logic for computer science. Foundations of automatic theorem proving'' University of Pensylvania (2003) \url{https://www.researchgate.net/publication/31634432_Logic_for_computer_science_foundations_of_automatic_theorem_proving_JH_Gallier}
|
||
\bibitem{Lemus} Lemus, Vladimir. ``Notas para el curso de programación funcional para la física computacional'', \url{https://git.disroot.org/vladomiro/notas-tsfc}.
|
||
\bibitem{Pagina} \url{https://courses.engr.illinois.edu/cs173/fa2010/Lectures/trees.pdf} Consultada el 14 de febrero de 2024.
|
||
\end{thebibliography}
|
||
|
||
|
||
\end{document}
|