mateforum.ro

Pentru a scurta demonstratia voi aplica metateorema despre substitutia simultana: Daca \vdash A , atunci \vdash S^{b_1,\ldots,b_n}_{B_1,\ldots,B_n}A , care este o regula derivata si voi scoate parantezele exterioare ale formulei. (1) [q\supset r]\supset[p\supset [q\supset r]]\\ - substitutia simulta...

Regulile lui P_1 : 00. Din [A\supset B] si A rezulta B . ( regula modus ponens ) 01. Daca b este variabila, atunci din A rezulta S_{_B}^{b}A\mid . ( regula substitutiei ) Axiomele lui P_1 : 02. [p\supset[q\supset p]] . 03. [[s\supset[p\supset q]]\supset[[s\supset p]\supset[s\supset q]]] . 04. [[[p\s...

Este posibil sa scriu pe forum cu begin si end? De exemplu:

\begin{align*}
...
\end{align*}

Beniamin Bogosel wrote: b) \( \forall B \in\mathcal{P}(Y) \) avem \( B=f(f^{-1}(B)) \);

Incerc sa demonstrez a)\( \to \)b), dar nu inteleg notatia. Pe unde am citit prin \( f(f^{-1}(a)) \) se intelege compunerea functiilor. Iar \( B \) din conditie este o multime obisnuita inclusa in \( Y. \)

http://i003.radikal.ru/0903/2e/411e42d12e2b.jpg Alte reguli se numesc reguli de introducere si eliminare a simbolurilor logice. Vreo 14 sunt in total. Una este Daca \Gamma\vdash A(x) , atunci \Gamma\vdash\forall x A(x) (lista de formule (posibil vida) \Gamma nu contine variabila libera x ) Regulile...

Inca un program folositor este pe http://www.gimp.org/. Daca vreau sa plasez o imagine intr-un document pdf, folosind pachetul graphicx, voi transforma imaginea in format EPS cu ajutorul programului GIMP. Cît despre GSview, el permite vizualizarea acestui tip de imagine.

Eu la fel folosesc "miktex, texniccenter, ghostscript, gsview" (se instaleaza în această ordine, după dezinstalarea versiunilor vechi). Descărcaţi protext.exe (673Mb) de pe locaţia http://www.tug.org/protext/ cu acele 4 programe (obligatorii sunt primele două). Programul setup va deschide ...

Luiza wrote:.. si cum pot sa scriu cu el de exemplu in Microsoft Word.

Aurora (trial)

...Sa zicem ca universul tau pentru acel enunt ar fi multimea numerelor reale. Avem acum enuntul 1=1\to\forall x\in\mathbb{R}(x^2-1=0) . E o implicatie in care ipoteza este adevarata ( 1=1 ) si concluzia este falsa. Deci enuntul dat de tine ca exemplu este fals... \forall x(Q\to P(x))\to(Q\to\foral...

Cristi Popa wrote: ...Daca enuntul \( Q \rightarrow P \) este adevarat ...

Ce înseamnă este adevărat? De exemplu pentru enunţul \( 1=1\to x^2-1=0. \)

La MP e mai clar: Dacă \( A \) şi \( A\to B \) sunt tautologii, atunci \( B \) este tautologie. Totodată \( B \) este o consecinţă a lui \( A \) şi \( A\to B \). Dar în cazul cuantificatorilor