%% -*- mode: latex; coding: utf-8; -*-
%% Comando para compilar: lualatex ej02.tex

\documentclass[11pt,letterpaper]{article}


\usepackage{polyglossia}
\usepackage[margin=1in]{geometry}
\usepackage{algpseudocode}
\usepackage{mathtools,amsthm}
\usepackage{enumitem,amssymb}
\usepackage{tabularx,booktabs}
\usepackage{titling}
\predate{}\postdate{}
\preauthor{}\postauthor{}


\setdefaultlanguage{spanish}
\setlength{\droptitle}{-11.5ex}
\setlength{\parindent}{0pt}


\title{%
  Matemáticas discretas 2024--1 \\
  Ejercicio 2: Verificando proposiciones
}
\date{}
\author{}


\begin{document}

\maketitle

\begin{tabular}{rl}
  Expediente: &  \\
  Nombre: & 
\end{tabular}

\begin{enumerate}
  \item Considera los siguientes encunciados y determina si son
    proposiciones señalando su valor de verdad o marcando la respuesta
    ``No es proposición''.
    \begin{enumerate}[label=(\alph*)]
    \item ¿Dónde estás?
      \smallskip\\
      \begin{tabularx}{0.8\textwidth}{XXX}
        Verdadero & Falso & No es proposición
      \end{tabularx}
    \item $2 + 2 = 5$
      \smallskip\\
      \begin{tabularx}{0.8\textwidth}{XXX}
        Verdadero & Falso & No es proposición
      \end{tabularx}
    \item Bríncate el cerco
      \smallskip\\
      \begin{tabularx}{0.8\textwidth}{XXX}
        Verdadero & Falso & No es proposición
      \end{tabularx}
    \item $19$ es número primo
      \smallskip\\
      \begin{tabularx}{0.8\textwidth}{XXX}
        Verdadero & Falso & No es proposición
      \end{tabularx}
    \item Son las 11:35 p.m.
      \smallskip\\
      \begin{tabularx}{0.8\textwidth}{XXX}
        Verdadero & Falso & No es proposición
      \end{tabularx}
    \end{enumerate}
  \item Un número primo es un entero mayor a $1$ cuyo divisor más
    pequeño es él mismo.  Escribe un algoritmo para determinar si un
    entero no-negativo $n$ es un número primo que verifique si algún
    número en el intervalo $(1,n)$ es divisor de $n$.  Luego responde
    por qué es suficiente verificar con números en $(1,\lceil n/2
    \rceil]$ y en $(1,\lceil\sqrt{n}\rceil]$, identificando qué
        intervalo es mejor y por qué.
\end{enumerate}


\end{document}
