Responder dúvida

Seja o primeiro a responder

Urgente! matemática

Matemática Lógica Lógica informal Lógica formal Lógica difusa Matemática Discreta Lógica e Matemática Discreta Matemática Discreta e Combinatória

Digite V na lacuna se o argumento ao lado é valido e F se o argumento não é válido.

a) LaTeX: r\to p \land q, \sim p \lor \sim q, r \lor s \vdash \sim s

b) LaTeX: p \lor q \to r, \sim s, \sim p \to s \vdash s

c) LaTeX: (p \to q) \to r, \sim r, (\sim p \lor q) \lor s \vdash \sim s

d) LaTeX: p \to \sim q, p \lor (v \land s) \vdash q \to s

e) LaTeX: p\to q \lor r,  \sim r \vdash  p \to q

f) LaTeX: p \lor (q \land r), p \lor r \to s \land t \vdash s

g) LaTeX: p \lor q \to r \land s, \sim r \vdash \sim p

Foto de Pedro G.
Pedro perguntou há 3 anos