Logica

Logica Pagina 2

Differenza tra enunciati atomici e formule enunciative.

Costruzione delle TAVOLE di VERITA' per formule

enunciative complesse con i connettivi logici

AND (congiunzione) e OR (disgiunzione).

lunedì 25 marzo 2024 02:03 Logica Pagina 3

Logica Pagina 4

Calcolo del numero di righe di una Tavola di Verità. Tavola

di Verità con 4 enunciati atomici.Il connettivo logico NOT

(negazione) e la doppia negazione. Le TAVOLE di

VERITA'.Formule enunciative sono EQUIVERIDICHE o

LOGICAMENTE EQUIVALENTI.

lunedì 25 marzo 2024 02:03 Logica Pagina 5

Logica Pagina 6

Connettivo logico IMPLICAZIONE e relativa Tavola di

Verità.Passaggio dal linguaggio corrente al linguaggio

simbolico. Interpretazione di una Indagine su dati del

2003.

lunedì 25 marzo 2024 02:03 Logica Pagina 7

Logica Pagina 8

Logica Pagina 9

Connettivo logico di COIMPLICAZIONE (o Equivalenza) e

relativa Tavola di Verità.Esprimere la Coimplicazione

mediante il concetto di Implicazione.

Condizione necessaria e sufficiente. Antecedente e conseg

uente.

lunedì 25 marzo 2024 02:03 Logica Pagina 10

Logica Pagina 11

Logica Pagina 12

Logica Pagina 13

E' spiegata cosa è la Tautologia e la contraddizione e che

sono verificate mediante le Tavole di Verità.Le 7 leggi (o

proprietà) dei connettivi logici: 1) Idempotenza; 2)

Proprietà commutativa.

lunedì 25 marzo 2024 02:06 Logica Pagina 14