PROPOSIZIONI EQUIVERIDICHE

Per comprendere meglio questo argomento, leggi prima le seguenti lezioni:
 

Due PROPOSIZIONI si dicono EQUIVERIDICHE se hanno le STESSE TAVOLE DI VERITA'.

Due proposizioni EQUIVERIDICHE si dicono anche LOGICAMENTE EQUIVALENTI.

Supponiamo che due proposizioni, p e q, siano EQUIVERIDICHE esse si indicano col simbolo

proposizioni equiveridiche

che si legge

p equiveridica a q.



LA LEZIONE PROSEGUE SOTTO LA PUBBLICITA'

Potremmo, più semplicemente, scrivere anche

p = q

che leggiamo

p è uguale logicamente a q.



Sono proposizioni equiveridiche:

  1. DOPPIA NEGAZIONE

    proposizioni equiveridiche

    p ¬ p ¬(¬ p)
    V F V
    F V F




  2. IMPLICAZIONE MATERIALE - proprietà dell'implicazione materiale

    proposizioni equiveridiche

    p q p → q non p non p o q
    V V V F V
    V F F F F
    F V V V V
    F F V V V




    proposizioni equiveridiche

    p q ¬ p ¬ p → q p ∨ q
    V V F V V
    V F F V V
    F V V V V
    F F V F F




    proposizioni equiveridiche

    p q p implica q non q non p non q -> non p
    V V V F F V
    V F F V F F
    F V V F V V
    F F V V V V



PRIMA E SECONDA LEGGE DI DE MORGAN.

 
Per approfondire questo argomento, leggi:
 
 
 
Il nostro sito collabora ad una ricerca condotta dall'Università dell'Aquila e dall'Università di Pavia sulla didattica della matematica. Ti saremmo grati se volessi dedicarci alcuni minuti rispondendo ad un breve questionario.

Compila il questionario


SchedeDiGeografia.net
StoriaFacile.net
EconomiAziendale.net
DirittoEconomia.net
LeMieScienze.net
MarchegianiOnLine.net