non so se è la sezione giusta.. se è il caso spostate il mio topic.. ma vi prego: aiutatemi!!
N.B. scusate se non scrivo in forma corretta ma nn so usare il latex.. in ogni caso dove segno meno ( - ) sta ad indicare la negazione.
1 - Dare una Forma Normale Congiuntiva a una Forma Normale Disgiuntiva di
-(( -A \/ B) /\ ( -B \/ C )) \/ ( -A /\ -C )
(( B /\ C ) -> ( A \/ C)
2 - siano A, B due formule atomiche nella logica proposizionale.
Dire se esiste un insieme che contenga
A \/ B
A -> B
-A
e sia consistente massimale.
3 - nella logica proposizionale sia definito il connettivo binario che:
,
prosegui interpretazione :
a) dire se è commutativo e associativo
b) esprimere in funzione di
c) per ogni A € (appartenente) FBF (funzione ben definita) determinare B, B' € FBF tale che
AB = -A
AB' = T (tautologia)
d) determinare C, C' € FBF tale che
AC = -A
AC' = -A
per ogni A € FBF
e) dire se gli insiemi di connettivi sono funzionalmente completi
4 - dare una deduzione naturale
a) B /\ A |- A /\ B
b) -A |- -(A /\ -B)
c) |- (( A /\ B ) -> C) -> (A -> (B -> C))
n.b. il simbolo |- sarebbe una T rovesciata
mi rendo conto che scritto così è parecchio grezzo... sono gli unici dati che ho, presi da un esame già fatto.... spero riusciate comunque a capire i vari simboli..
elementi di logica
Programmazione, algoritmica, teoria dell'informazione, ...
Vai a
- Getting Started
- ↳ Comitato di accoglienza nuovi utenti
- ↳ Ciao a tutti, mi presento:
- ↳ Glossario e teoria di base
- Problem solving olimpico
- ↳ Algebra
- ↳ Combinatoria
- ↳ Geometria
- ↳ Teoria dei Numeri
- Altri esercizi
- ↳ Matematica ricreativa
- ↳ Matematica non elementare
- ↳ Fisica
- ↳ Informatica
- Supporto tecnico
- ↳ Il sito delle olimpiadi della matematica
- ↳ LaTeX, questo sconosciuto
- Gare e concorsi
- ↳ Olimpiadi della matematica
- ↳ Gara a squadre
- ↳ Giornalino del gruppo tutor
- ↳ Altre gare
- ↳ Scuole d'eccellenza e borse di studio
- Tra un problema e l'altro...
- ↳ Cultura matematica e scientifica
- ↳ Il colmo per un matematico
- ↳ Discorsi da birreria
- I messaggi del vecchio forum (memoria storica di sola lettura)
- ↳ [vecchio forum]Le olimpiadi della matematica
- ↳ [vecchio forum]Come vedo il sito delle Olimpiadi della Matematica
- ↳ [vecchio forum]Giornalino della Matematica
- ↳ [vecchio forum]Gruppo Tutor
- ↳ [vecchio forum]Proponi gli esercizi
- ↳ [vecchio forum]Compro, baratto, vendo, rido!
- ↳ [vecchio forum]Cesenatico
- ↳ [vecchio forum]Sondaggi, che passione!
- ↳ [vecchio forum]Proposte ai Responsabili Provinciali
- ↳ [vecchio forum]Tra responsabili
- ↳ [vecchio forum]Non solo Matematica!