Modifica di una espressione logica

  • Creatore
    Topic
  • #119177
    Up
    0
    Down
    ::


    Quando devo modificare una espressione logica, per esempio se devo sostituire \land con \lor, nella compilazione del file pdf la modifica non viene apportata sul file pdf. La modifica viene apportata sul file pdf solo se inserisco due \lor (\lor \lor). Infine devo ovviamente cancellarne una. Qualcuno può dirmi dove sbaglio? Si tenga presente che quando scrivo per la prima volta l’espressione viene trattata correttamente. Grazie per la cortese attenzione.

    Attachments:
    You must be logged in to view attached files.
Visualizzazione 0 filoni di risposte
  • Autore
    Risposte
    • #119178
      Up
      0
      Down
      ::


      Non ho la minima idea del perché in un esercizio ci sia
      `
      r=”Un'ora è di 60 minuti”
      `
      e poco dopo si chieda qualcosa riguardo a
      `
      $\overline{r}$
      `
      Né perché ci sia [tt]( V oppure F )[/tt], che potrebbe far andare la parentesi a capo dopo la F. Una “r” in tondo e una in corsivo non rappresentano la stessa cosa, quindi una risposta “non ho idea di quale valore di verità dare a [tt]$\overline{r}[/tt]” dovrebbe essere accettata come valida.

      In ogni caso, tutti i [tt]\lor[/tt] e [tt]\land[/tt] producono il risultato atteso (ma ridefinendo [tt]\studente[/tt] e [tt]\checkinsertion[/tt] perché non c’è modo di farli funzionare senza il file connesso.

      `
      \item Assegnate le seguenti proposizioni: $p={}$“3 è un numero naturale dispari'';
      $q={}$“Napoli si trova in Campania''; $r={}$“Roma è la capitale della Francia'',
      scrivi per esteso le seguenti proposizioni composte e assegna loro il
      relativo valore di verità (V oppure F).

      a) $\overline{r}$\qquad b) $q\land r$\qquad c) $p\lor r$\qquad d) $q\rightarrow r$\qquad e) $r\rightarrow q$\qquad f) $p\leftrightarrow q$
      `

      Nell’immagine lascio l’esercizio 1 corretto come sopra e il 2 senza correzioni, come confronto.

      [attachment=2571]Screenshot2020-12-07at15.37.13.png[/attachment]

      Ciao
      Enrico

      Attachments:
      You must be logged in to view attached files.
Visualizzazione 0 filoni di risposte
  • Devi essere connesso per rispondere a questo topic.

Go to top