Scribd Logo
Upload

Welcome to Scribd!

  • Модуль 3

    Uploaded by

    Данил Волошин
    16 views7 pages
    The document discusses mathematical formulas involving variables such as P(x), Q(x), A(x), and B(x) and explores logical equivalences between different combinations of those variables using symbols like -> and =. It also examines relationships between variables in terms like R(A,B) and defines concepts like S(x,y). The summary involves mathematical and logical notation.

    Original Description:

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document discusses mathematical formulas involving variables such as P(x), Q(x), A(x), and B(x) and explores logical equivalences between different combinations of those variables using symbols like -> and =. It also examines relationships between variables in terms like R(A,B) and defines concepts like S(x,y). The summary involves mathematical and logical notation.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    16 views7 pages

    Модуль 3

    Uploaded by

    Данил Волошин
    The document discusses mathematical formulas involving variables such as P(x), Q(x), A(x), and B(x) and explores logical equivalences between different combinations of those variables using symbols like -> and =. It also examines relationships between variables in terms like R(A,B) and defines concepts like S(x,y). The summary involves mathematical and logical notation.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 7

    Conpolaria proma to

    zguansive "Maraweeta Noriko"

    cygento
    2.20 Rco,
    typey, zpyar
    ockitbo-ppogecicoi upospon kopopuso,"
    Borouin Domin Maker note
    22.11.2022p
    the vaucani uici poumporbnoi poor
    zoobireyweb gompurybousb upabun
    no
    uprvyunib akouevienoi gorenoc

    ⑫
    22.11.20228
    N3
    k(VxA(x) XxB(x) Vx(t() B(x)) +

    ofxB(x), Vx(A(x) B(x)) +


    ->

    +VxA(x),sVx(Ac B(x))
    A

    = VxB(x),
    + +

    to
    Ex(A(X +
    Bx)
    ↓
    +B(a), r A(a) + B(a)
    +A(a), rA(0), + B(a)
    1

    X
    X

    circb
    gepebo. 30pagoal -> i6. Sipace.
    -xA -> 7xBE 7 x(A -> B)
    7xA
    +
    -> 7xB, + 5x(A B)
    ->

    X I

    +7xA, + (x(t +B) + 7xB,


    17x(A +
    B)
    ↓
    rRB, +
    R (A B)
    =

    ·RA, RY(A B) = ↳

    fo HRYY, r
    RYA,, RYB

    RA,.R A, RYB X
    X
    N2

    vx(P(x) vQ(x))FVxvy(Q(x)13(x,y) 7z(Sk,y)1P(z) -+

    op
    ⑱O =

    xvy(Q(x) 7z(Sk,y)1P(z)
    V 18(x, e)->

    N kx(P(x)vQ(x)
    =

    MenysPatro: 14 +8
    78
    Vxvy(Q(x)18(x,y) 7z(Sk,y)1P(z)
    =
    =
    -> =

    -x7yz(Q(x)18(x,y) 7z(3k,y)1P(z) -> =

    5x5yv()a(x)1S(x,y) P())) vFz(S(x,y)+ =

    7xzy(-2(78(x)+S(x,y)+7z(S(z,y)+P()
    7xEy)(-Q() S(xY) 52(S(2, YUP()) -

    -xFyFzLQ(xnS(x,y) n(S(z,yUP(2))
    Met
    pea
    - s =
    ExFyFzLQ(xnS(x,y)n(SCz,yUP(2))
    Y
    vx(Pc vQ(x)
    =

    [xxa,Ytb,2k>c]

    [P(x) v.Q(), +a(x),S(x,y),"S(2,y)VP()Y


    [P(x),sex,y)cS(z,y) P(z) --

    exeprene Giquo -
    -

    no arpob one
    sipped
    N5
    -goopr
    aprgo-goopramna
    koram Ghera,
    micouis o encrobi salini,
    =it ,
    inor ybueske
    it
    eera-opephypolar me

    Bogoserum
    commupa Moget Mogens
    -

    so aN

    meetoapinna -

    hei 3000pores
    Neogen Ar
    texperue Mhogene:
    e) gowrabrua apugo-te upon ->
    mezamequeue
    At
    =>
    F(A+ meoinbigme a

    2) We
    cymepe cacreme we

    ye Moxmbobtalbeth are
    Myjoyal
    No.
    porexiuna
    Ceratxkc intyigonicibko;
    No MRLI

    S-rvoxura cbirib
    x-Bimapres sign. Mas
    1- inrepuperaii
    1: Ps xS->
    ST, FS

    You might also like