Connettivi proposizionali

29 Fragen

Forme normali

17 Fragen

Dimostrazioni dirette

20 Fragen

Dimostrazioni indirette

25 Fragen

Validità e soddisfacibilità

31 Fragen

Predicati e quantificatori

23 Fragen

Forme normali

25 Fragen

Dimostrazioni in logica dei predicati

30 Fragen

Validità e soddisfacibilità

26 Fragen

Operatori modali

31 Fragen

Sistemi modali

30 Fragen

Dimostrazioni in logica modale

24 Fragen

Validità e soddisfacibilità

16 Fragen

Logiche intuizionistiche

31 Fragen

Logiche multivalenti

29 Fragen

Logiche paraconsistenti

22 Fragen