Salve, chiedo delle spiegazioni sulle tautologie e regole di deduzione,
in particolar modo sugli enunciati (MP), (PC), (TE), (SI), (NC), (DM1),
(DM2).


Grazie

Più precisamente qual'è il problema?
Damiano

"ciro" <ciroarde@tin.it> ha scritto nel messaggio
newsr9xb.13167$AX1.525174@news1.tin.it...
> Salve, chiedo delle spiegazioni sulle tautologie e regole di deduzione,
> in particolar modo sugli enunciati (MP), (PC), (TE), (SI), (NC), (DM1),
> (DM2).
>
>
> Grazie
>

Andreuzza wrote:
> Più precisamente qual'è il problema?
> Damiano
>
> "ciro" <ciroarde@tin.it> ha scritto nel messaggio
> newsr9xb.13167$AX1.525174@news1.tin.it...
>
>>Salve, chiedo delle spiegazioni sulle tautologie e regole di deduzione,
>>in particolar modo sugli enunciati (MP), (PC), (TE), (SI), (NC), (DM1),
>>(DM2).
>>
>>
>>Grazie
>>
>
>
>
Sto studiando analisi e non frequentando le lezioni non ho chiaro il
concetto sulle tautologie

> >>Salve, chiedo delle spiegazioni sulle tautologie e regole di deduzione,
> >>in particolar modo sugli enunciati (MP)

modus ponens

>>>, (PC), (TE)

terzo escluso

>>>, (SI), (NC)

non contraddizione

>>>, (DM1),
> >>(DM2).

de morgan 1&2


ma PC e SI non ho idea di cosa possano essere

Andreuzza wrote:
> Più precisamente qual'è il problema?
> Damiano
>
> "ciro" <ciroarde@tin.it> ha scritto nel messaggio
> newsr9xb.13167$AX1.525174@news1.tin.it...
>
>>Salve, chiedo delle spiegazioni sulle tautologie e regole di deduzione,
>>in particolar modo sugli enunciati (MP), (PC), (TE), (SI), (NC), (DM1),
>>(DM2).
>>
>>
>>Grazie
>>
>
>
>
chiedo delle spiegazioni con degli esempi sulle seguenti tautologie:

principio di contrapposizione (PC)
Terzo escluso (TE)
Sillogismo Ipotetico (SI)
Leggi di De Morgan (DM)1 (DM)2


Ringrazio anticipatamente per l'aiuto