Quando A implica B?

Domanda di: Dott. Lucia Conti  |  Ultimo aggiornamento: 3 agosto 2022
Valutazione: 4.9/5 (57 voti)

A B " , che leggiamo «A implica B», oppure «Se A, allora B», è l'enunciato che è falso se A è vero e B è falso, altrimenti è vero. Nella logica formale l'implicazione «se A, allora B», non sottolinea un nesso di causa- effetto tra A e B, ma un collegamento dato dalla tavola di verità.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su online.scuola.zanichelli.it

Cosa vuol dire Contronominale?

agg. [comp. di contro- e nominale]. – In logica, proposizione c., la contraria dell'inversa, cioè quella che ha come ipotesi la negazione della tesi della proposizione primitiva, e come tesi la negazione dell'ipotesi di quella; è sempre vera accanto alla proposizione diretta.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su treccani.it

Come si nega un implicazione?

L'implicazione può essere riscritta utilizzando la negazione e la disgiunzione: ''O mi sbaglio, o Granada è in Spagna!'' Come si vede la terza e la quinta colonna sono uguali e quindi le espressioni sono equivalenti.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su redooc.com

Quando l implicazione è vera?

In parole povere, la definizione formale riconosce sempre vera una implicazione, salvo il caso in cui la prima proposizione sia vera e la seconda falsa. Così una proposizione falsa "implica" qualunque altra proposizione, vera o falsa che sia.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su it.wikipedia.org

Come fare la Contronominale?

contronominale proposizione (o enunciato) associata a una implicazione logica del tipo A ⇒ B in cui la proposizione antecedente viene scambiata con quella conseguente e di entrambe si considerano le rispettive negazioni; formalmente: ¬B ⇒ ¬A. Quindi, la contronominale di «A implica B» è: «non B implica non A».

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su treccani.it

Algebra (L'implicazione materiale -se A allora B-) L55



Trovate 34 domande correlate

Cosa significa se è solo se?

In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su it.wikipedia.org

Come si fa la negazione di una frase?

La negazione trasforma una frase vera in una frase falsa e, viceversa, una frase falsa in una frase vera.
  1. Data la proposizione p, la sua negazione si indica in questo modo p (si legge "non p") oppure con il simbolo ¬ p ¬p ¬p.
  2. p: “Ogni quadrato ha 3 lati”. ¬ p ¬p ¬p: “Non è vero che ogni quadrato ha 3 lati”.
  3. p p.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su redooc.com

Qual è in generale la negazione di una proposizione così costruita?

La negazione

Si esprime tramite la particella 'non'. Data la proposizione A, la sua negazione viene indicata con A (si legge "non A" oppure " A barrato"). Se A è vera, allora A è falsa… e viceversa: A: “La lampadina non è accesa” { A è falsa }

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su redooc.com

Che implica sinonimo?

[di cosa, recare in sé come conseguenza: la firma del contratto implica l'accettazione di una clausola] ≈ comportare, contemplare, prevedere. ‖ sottintendere. implicarsi v.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su treccani.it

A cosa corrisponde la disgiunzione logica?

In logica, la disgiunzione inclusiva o disgiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione. corrisponde all'unione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su it.wikipedia.org

Che significa modus Ponens?

modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione corrispondente compare nei più diffusi calcoli logici moderni.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su treccani.it

Quali sono le proposizioni composte?

La proposizione logica composta è una frase formata da più proposizioni semplici legate tra loro da connettivi logici e può essere vera o falsa. I connettivi logici che imparerai a usare in questa lezione sono: la congiunzione "e" la disgiunzione "o"

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su redooc.com

Quando una proposizione e falsa?

Ogni proposizione p è sempre o vera o falsa. Questo significa che ogni proposizione p assume esattamente uno, cioè uno ed uno solo, dei due valori di verità V o F. Per indicare che una proposizione p è vera scriviamo val(p) = V; invece per indicare che una proposizione p è falsa scriviamo val(p) = F.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su liceodavincimaglie.edu.it

Come si esprime p ∨ q In termini di congiunzione e negazione?

13. ¬(P ∨ Q) è logicamente equivalente a ¬P ∧ ¬Q. Come abbiamo già visto, dire che una disgiunzione è falsa significa dire che entrambe le proposizioni disgiunte sono false e non che è falsa almeno una delle due.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su unife.it

Cosa vuol dire negazione logica?

In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su it.wikipedia.org

Quali frasi non sono proposizioni?

Una frase NON è una proposizione logica se NON si può stabilire se è vera o falsa. Ad esempio “Che si mangia oggi?” oppure “Eureka!”, ed in generale le domande e le esclamazioni, non sono proposizioni logiche perché non posso dire se sono false o se sono vere. “Forse tu hai un asso”.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su redooc.com

Quando due negazioni affermano?

Traslando la regola in grammatica italiana, possiamo considerare che due negazioni equivalgano a un'affermazione: se quindi le espressioni negative di una proposizione sono in numero pari, la conclusione sarà positiva; se invece sono in numero dispari, la conclusione sarà negativa.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su illibraio.it

Come si scrive se e solo se?

se e solo se locuzione, talvolta abbreviata con sse (e nella letteratura internazionale con iff, che sta per if and only if), utilizzata nel linguaggio naturale per indicare l'→ equivalenza logica fra due enunciati, espressa dal connettivo logico detto → doppia implicazione o bicondizionale, rappresentato con il ...

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su treccani.it

Qual è il simbolo di appartenenza?

appartenenza relazione, indicata con il simbolo ∈, utilizzata per segnalare che un elemento x fa parte degli elementi di un insieme. Se x appartiene all'insieme X, si scrive allora x ∈ X, altrimenti si scrive x ∉ X.

Richiesta di rimozione della fonte   |   Visualizza la risposta completa su treccani.it
Articolo precedente
Quante kcal sono fornite da 100 g di latte vaccino intero?
Articolo successivo
Come calmare il bambino che piange?