logica. esercizio modelli linguaggio predicativo

[processore]

salve.
dovrei fare questo esercizio ma non so proprio da dove iniziare per risolverlo.
potreste darmi una mano e magari spiegarmi i passaggi da fare per risolverlo perche devo fare un esame e ci saranno esercizi simili ?
grazie a tutti.


Sia L un linguaggio predicativo contenente i predicati
1-ari P e Q. Dimostrare che:

esiste x esiste y (P(x) -> Q(y)) non soddisfa esiste x P(x) -> esiste x Q(x)

[Suggerimento: costruire un modello M in cui insieme vuoto diverso da P di M diverso da N e Q di M diverso da insieme vuoto.]

[processore]

ragazzi non ce nessuno che mi puo aiutare ???
forse non si capisce bene il testo dell'esercizio??
per favore fatemi sapere .
grazie

[booleandomain]

Non sono sicuro di aver capito la richiesta dell'esercizio. Dati i due enunciati \( \displaystyle {\left(\exists{x}{\left(\exists{y}{\left({P}{\left({x}\right)}\rightarrow{Q}{\left({y}\right)}\right)}\right)}\right)} \) e \( \displaystyle {\left(\exists{x}{\left({P}{\left({x}\right)}\rightarrow{\left(\exists{x}{Q}{\left({x}\right)}\right)}\right)}\right)} \) vuoi dimostrare che non sono equivalenti mostrando un opportuno modello in cui l'estensione di \( \displaystyle {P} \) e l'estensione di \( \displaystyle {Q} \) siano entrambe non vuote?

[processore]

scusa come si fa per scrivere la formula perche io faccio copia e incolla dell'esercizio ma non mi riconosce i caratteri[/chesspos][/asvg][/spoiler]

[booleandomain]

Consulta http://www.matematicamente.it/forum/come-si-scrivono-le-formule-t26179.html.

[processore]

Sia L un linguaggio predicativo contenente i predicati
1-ari P e Q. Dimostrare che

∃x∃y(P(x)→Q(y)) e ∃xP(x)→∃xQ(x) al posto della e ceun simbolo una A capovolta ma con 2 linee tipo un quantificatore universale ma ci sono 2 linee ke la tagliano[/i]

[processore]

scusate non ce nessuno ke possa aiutarmi ?
magari vi posso mandare il testo in pdf.
fatemi sapere.
grazie

[booleandomain]

Nessuno può aiutarti se non riesci a scrivere le formule in modo corretto. Per favore leggi il link che ti ho fornito prima. Grazie.