ex 1 -C
ex 2 : cerinta 1
Prop A:
limbaj formal: SeP -> PeS
limbaj natural: Niciun numar par nu este prim.
Prop B:
limbaj formal:SaP ->PiS
limbaj natural:Unii oameni sanatosi sunt sportivi.
Prop C:
limbaj formal:SoP nu se poate face conversiunea valida
limbaj natural:
ex 2 : cerinta 2
Prop "c" de forma "SoP" nu se poate converti valid ,deoarece pt aceasta forma nu se face conversiune.
ex 2 : cerinta 3
Prop A:
limbaj formal:Sep -> Sa-P (Sa non P)
limbaj natural: Toate numerele prime sunt impare.
Prop B:
limbaj formal: SaP -> Se-P (Se non P)
limbaj natural:Niciun sportiv nu este nesanatos.
Prop D:
limbaj formal:SiP -> So-P (So non P)
limbaj natural:Unele fiinte imperfecte nu sunt oameni.
