How do I completely suppress paragraph indentation in quoting environment without \noindent?

Question

\documentclass[oneside,12pt]{article}
\usepackage{geometry}
\usepackage{microtype}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}

\usepackage{enumitem}
\setlist[enumerate,1]{label=\arabic*.,align=left,leftmargin=*,
 labelsep=1.5em}

\usepackage{quoting}
\quotingsetup{vskip=1em}

\begin{document}
\subsection*{Exercises 27}
Take the following q-valuation:
\begin{quoting}
  The domain is \{Romeo,Juliet,Benedick,Beatrice\}

  \noindent Constants are assigned references as follows:
  \begin{quoting}
    \texttt{`m'}$\Rightarrow$Romeo

    \noindent\texttt{`n'}$\Rightarrow$Juliet
  \end{quoting}

  \noindent Predicates are assigned extensions as follows:
  \begin{quoting}
    `F'$\Rightarrow$\{Romeo,Benedick\}\\
    `G'$\Rightarrow$\{Juliet,Beatrice\}\\
    `L'$\Rightarrow$\{<Romeo,Juliet>,<Juliet,Romeo>,<Benedick,
    Beatrice><Beatrice,Benedick>,<Benedick,Benedick>\}
  \end{quoting}
\end{quoting}
Then what are the truth values of the following wffs?
\begin{enumerate}[nosep]
\item $\exists xLmx$
\item $\forall xLxm$
\item $(\exists xLmx\supset Lmn)$
\item $\forall x(Fx\equiv\neg Gx)$
\item $\forall x(Gx\supset(Lxm\vee\neg Lmx))$
\item $\forall x(Gx\supset\exists yLxy)$
\item $\exists x(Fx\wedge\forall y(Gy\supset Lxy))$
\end{enumerate}
\end{document}

I want to suppress paragraph indentation in quoting environment concisely without \noindent.

Beside the issue, I have a line that doesn't break before the right side of the page. How do I fix it? I want to typeset as below. Ignore the yellow highlighting in the picture below.

Answer 1

I don't recommend abusing quotation environments here. Not that abusing them is generally bad - they are just lists, basically - but I think something like an array or tabular is more suitable.

Here's an assign environment:

\documentclass[oneside,12pt]{article}
\usepackage[showframe]{geometry}
\usepackage{microtype}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{enumitem}
\setlist[enumerate,1]{label=\arabic*.,leftmargin=3\parindent,labelwidth=\parindent, align=left}
\usepackage{quoting}
\quotingsetup{vskip=1em}
\usepackage{array,tabularx}
\newenvironment{assign}[1]{%
  \noindent #1
  \medskip\par\noindent
  \tabularx{\linewidth}{>{\ttfamily\arraybackslash}l!{$\Rightarrow$}>{\raggedright\arraybackslash}X}
  }{\endtabularx\medskip\par\noindent}

\begin{document}
\subsection*{Exercises 27}
Take the following q-valuation:
\begin{quoting}
  The domain is \{Romeo,Juliet,Benedick,Beatrice\}

  \begin{assign}{Constants are assigned references as follows:}
    `m'&Romeo\\
    `n'&Juliet\\
  \end{assign}
  \begin{assign}{Predicates are assigned extensions as follows:}
    `F'&\{Romeo,Benedick\}\\
    `G'&\{Juliet,Beatrice\}\\
    `L'&\{<Romeo,Juliet>, <Juliet,Romeo>, <Benedick,Beatrice>, <Beatrice,Benedick>, <Benedick,Benedick>\}\\
  \end{assign}
\end{quoting}
Then what are the truth values of the following wffs?
\begin{enumerate}[noitemsep]
  \item $\exists x\, Lmx$
  \item $\forall x\, Lxm$
  \item $(\exists x\, Lmx\supset Lmn)$
  \item $\forall x\, (Fx\equiv\lnot Gx)$
  \item $\forall x\, (Gx\supset(Lxm\vee\lnot Lmx))$
  \item $\forall x\, (Gx\supset\exists y\, Lxy)$
  \item $\exists x\, (Fx\land\forall y\, (Gy\supset Lxy))$
\end{enumerate}
\end{document}

The only reason your one spilling-over environment spills over is that it contains no spaces so TeX can't break the line.

Answer 2

Add these lines to your preamble:

\usepackage{etoolbox} 
\AtBeginEnvironment{quoting}{\parindent=0pt}