• Non ci sono risultati.

Tautologia, dal greco

N/A
N/A
Protected

Academic year: 2021

Condividi "Tautologia, dal greco"

Copied!
1
0
0

Testo completo

(1)

home page TAUTOLOGIE

Tautologia, dal greco tautologia ("che dice lo stesso"), composto da tauto ("stesso") e da logos ("discorso"). Dimostrazione che nelle sue conclusioni ripete inutilmente ciò che era già affermato nella premessa.

In epoca moderna, il termine viene utilizzato in Logica matematica per indicare ogni proposizione composta che è sempre vera, indipendentemente dai valori di verità assegnate alle singole proposizioni che la compongono.

1) PP (legge della doppia negazione)

2) P P (principio di non contraddizione)

3) P P (principio del terzo escluso)

4) PP (principio di identità)

5)PPP (legge di idempotenza per

) 6)PPP (legge di idempotenza per

) 7)

PP

P (legge di Cardano-Clavio) 8)

PP

P (legge di Cardano-Clavio)

9)PQ  QP(commutativa per la congiunzione) 10)PQ  QP(commutativa per la disgiunzione) 11)PQRPQR(associativa per la congiunzione) 12)PQRPQR(associativa per la disgiunzione)

13) PQR  PQ  PR(distributiva di

rispetto a

) 14) PQR  PQ  PR(distributiva di

rispetto a

) 15)

PQ

PQ (legge di De Morgan)

Prof. Mauro La Barbera “tautologie” 1

(2)

16)

PQ

PQ (legge di De Morgan) 17) PQ

PQ

(legge di Crisippo)

18) PQ

PQ

(legge di Filone Megarico) 19)

PQ

 

PQ

 

QP

 

(legge della complicazione) 20) PQ

PQ

(legge di aut)

21) PPQ (ex falso quod libet sequitur) 22)

 

PQ

 

QR

  

PR

(legge del sillogismo ipotetico)

23)

PQQ

P (legge del sillogismo disgiuntivo) 24) PQ

QP

(legge di contrapposizione) 25)

 

PQ

Q

PQ(riduzione all’assurdo) 26)

 

PQ

 

RS

  

PR

 

QS

 

(legge di Leibniz)

Torna su

Prof. Mauro La Barbera “tautologie” 2

Riferimenti

Documenti correlati

Equazione esplicita di una retta inclinata rispetto agli assi cartesiani e passante per

Inoltre, per la relazione degli archi associati, l’equazione ammette la famiglia di soluzioni.. Graficamente nel piano cartesiano

[r]

La disequazione è verificata per tutti i punti del grafico della parabola situati al di sopra dell’asse delle ascisse (per tutti i valori delle ascisse che hanno

La disequazione è sempre verificata perché tutti i punti del grafico della parabola sono situati al di sopra dell’asse delle ascisse, cioè nel semipiano delle

E’ importante osservare che se un grafico presenta una simmetria assiale rispetto all’asse delle ascisse allora il disegno della curva non può essere associato

Dominio: funzione definita su tutto l’asse reale, ossia (simbologia insiemistica), oppure (simbologia topologica). Simmetrie: si pone e si calcola ,

In Analisi si chiamano monotòne le funzioni che mantengono l’ordinamento, esse si possono classificare in monotòne in senso stretto cioè crescenti e decrescenti, o monotòne (in