MathProblemsBank Math Problems Bank
  • Home
  • Forum
  • About Us
  • Contact Us
  • Login
  • Register
  • language
 MathProblemsBank banner

MathProblemsBank banner

Math Problems and solutions

Mathematics sections
  • Algebra
    • Vector Algebra
    • Determinant calculation
    • Permutation group
    • Matrix transformations
    • Linear transformations
    • Quadratic forms
    • Fields, Groups, Rings
    • Systems of algebraic equations
    • Linear spaces
    • Polynomials
    • Tensor calculus
    • Vector analysis
  • Analytic geometry
    • Curves of the 2-nd order
    • Surfaces of the 2-nd order
    • Lines on a plane
    • Line and plane in space
    • Tangents and normals
  • Complex analysis
    • Operations with complex numbers
    • Singular points and residues
    • Integral of a complex variable
    • Laplace transform
    • Conformal mappings
    • Analytic functions
    • Series with complex terms
    • Calculating integrals of a real variable using residues
  • Differential equations
    • Ordinary differential equations
      • First order differential equations
      • Second order differential equations
      • Higher order differential equations
      • Geometric and physical applications
    • Systems of ordinary differential equations
    • Stability
      • Stability of the equations
      • Stability of the systems of equations
    • Operating method
      • Differential equations
      • Systems of differential equations
  • Differential geometry
  • Discret mathematics
    • Boolean algebra
    • Set theory
    • Combinatorics
    • Graph theory
    • Binary relations
    • Propositional algebra
      • Propositional calculus
      • Sequent calculus
    • Predicate calculus
    • Theory of algorithms and formal languages
    • Automata theory
    • Recursive functions
  • Functional analysis
    • Metric spaces
      • Properties of metric spaces
      • Orthogonal systems
      • Convergence in metric spaces
    • Normed spaces
      • Properties of normed spaces
      • Convergence in normed spaces
    • Measure theory
      • Lebesgue measure and integration
      • Measurable functions and sets
      • Convergence (in measure, almost everywhere)
    • Compactness
    • Linear operators
    • Integral equations
    • Properties of sets
    • Generalized derivatives
    • Riemann-Stieltjes integral
  • Geometry
    • Planimetry
      • Transformations on the plane
      • Construction problems
      • Complex numbers in geometry
      • Various problems on the plane
      • Locus of points
    • Stereometry
      • Construction of sections
      • Various problems in the space
    • Affine transformations
  • Mathematical analysis
    • Gradient and directional derivative
    • Graphing functions using derivatives
    • Plotting functions
    • Fourier series
      • Trigonometric Fourier series
      • Fourier integral
    • Number series
    • Function extrema
    • Power series
    • Function properties
    • Derivatives and differentials
    • Functional sequences and series
    • Calculation of limits
    • Asymptotic analysis
  • Mathematical methods and models in economics
  • Mathematical physics
    • First order partial differential equations
    • Second order partial differential equations
      • d'Alembert method
      • Fourier method
      • With constant coefficients
      • With variable coefficients
      • Mixed problems
    • Convolution of functions
    • Nonlinear equations
    • Sturm-Liouville problem
    • Systems of equations in partial derivatives of the first order
  • Mathematical statistics
  • Numerical methods
    • Golden section search method
    • Least square method
    • Sweep method
    • Simple-Iteration method
    • Approximate calculation of integrals
    • Approximate solution of differential equations
    • Approximate numbers
    • Function Interpolation
    • Approximate solution of algebraic equations
  • Olympiad problems
    • Olympic geometry
    • Number theory
    • Olympic algebra
    • Various Olympiad problems
    • Inequalities
      • Algebraic
      • Geometric
    • Higher mathematics
  • Probability theory
    • One dimensional random variables and their characteristics
    • Theory of random processes
    • Markov chains
    • Queuing systems
    • Two-dimensional random variables and their characteristics
    • Definition and properties of probability
    • Limit theorems
  • Real integrals
    • Integrals of functions of a single variable
      • Indefinite integrals
      • Definite Integrals
      • Improper integrals
    • Double integrals
    • Triple integrals
    • The area of a region
    • Volume of a solid
    • Volume of a solid of revolution
    • Flux of the vector field
    • Surface integrals
    • Curvilinear integrals
    • Potential and solenoidal fields
    • Vector field circulation
    • Integrals depending on a parameter
  • Topology
  • USE problems
  • Variational calculus
Problem list Free problems

Attention! If a subsection is selected, then the search will be performed in it!

Problem: Reduce the predicate logic formula to prenex normal form. Is the formula on the set \( M=\{1,2\} \) : 1) satisfiable, 2) refutable, 3) generally valid, 4) unsatisfiable? Calculate the truth value of the formula on the set \( M \) with the following predicates: \begin{tabular}{|c|c|c|} \hline\( x \) & 1 & 2 \\ \hline\( P(x) \) & 1 & 0 \\ \hline\( R(x) \) & 0 & 1 \\ \hline \end{tabular} \begin{tabular}{|c|c|c|} \hline\( Q(x, y) \) & 1 & 2 \\ \hline 1 & 1 & 0 \\ \hline 2 & 0 & 0 \\ \hline \end{tabular} \[ \forall x P(x) \rightarrow(R(x) \rightarrow \exists y Q(x, y)) \text {. } \]

6.5.1 Predicate calculus

3.06 $

Problem: Establish the truth of the logical expression using two methods: 1) by defining quantifiers and 2) by the method of concretization. a) \( \forall x \exists y(A(y) \vee B(x))=\exists x A(x) \vee \forall x B(x) \), b) \( \forall x \exists y P(x, y) \Rightarrow \exists x \exists y P(x, y) \).

6.5.2 Predicate calculus

4.59 $

Problem: Determine the truth values of formulas in a given interpretation: a) \( \exists x \forall y(P(x) \Rightarrow Q(y)) \), b) \( \exists x(P(x) \& Q(x)) \) \[ D=\{a, b\} \] \begin{tabular}{|c|c|c|} \hline\( x \) & \( P(x) \) & \( Q(x) \) \\ \hline\( a \) & 1 & 0 \\ \hline\( b \) & 0 & 1 \\ \hline \end{tabular}

6.5.3 Predicate calculus

1.27 $

Problem: Write the following statements in the language of predicate logic: "For any three numbers, if their product is odd, then all three numbers are odd".

6.5.4 Predicate calculus

0.76 $

Problem: Indicate all subformulas, as well as the scope of quantifications, free and bound occurrences of all variables in the following formulas: \[ S(t, w) \vee \exists x \forall w[(Q(x, w) \rightarrow P(x)) \rightarrow R(w)] \text {. } \]

6.5.5 Predicate calculus

1.27 $

Problem: Perform skolem normal form of the following formulas presented in preliminary form: \[ \forall t \exists x \forall w \exists y[(P(t, w) \& Q(x, y) \rightarrow S(y)) \rightarrow R(x)] . \]

6.5.6 Predicate calculus

1.27 $

Problem: Convert the following formulas to clausal form: \[ R(t, w) \vee \neg \exists x \forall w[\neg(P(w) \vee S(x)) \rightarrow \neg Q(w)] \text {. } \]

6.5.7 Predicate calculus

3.06 $

Problem: Write the following sentences as predicate logic formulas and transform them into clausal form: «A student loves logic or philosophy if and only if there is a teacher who loves both logic and philosophy».

6.5.8 Predicate calculus

3.06 $

Problem: Determine the most general unifier and the corresponding general example for the following set of terms or show that the set is non-unifiable. \[ \left\{L_{i}\right\}=\{h(f(a), g(y, z), y), h(x, g(b, u), c)\} . \]

6.5.9 Predicate calculus

2.55 $

Problem: Perform skolemization of the following formulas presented in preliminary form: \[ \forall y \forall z \exists x \forall w[(T(x, w) \vee P(x, y) \& S(x, z)) \rightarrow R(x, w)] . \]

6.5.11 Predicate calculus

1.27 $

Problem: Convert the following formulas to clausal form: \[ Q(x, w) \vee \neg \exists x \forall w(P(x, w) \& Q(x, z)) \vee \neg S(z, w) \text {. } \]

6.5.12 Predicate calculus

2.55 $

Problem: Write the following sentences as predicate logic formulas and transform them into clausal form: "If there are no intelligent machines, and if every ideal machine is an intelligent machine, then an ideal machine does not exist".

6.5.13 Predicate calculus

3.06 $

Problem: Determine the most general unifier and the corresponding general example for the following set of terms or show that the set is non-unifiable. \[ \left\{L_{i}\right\}=\{g(f(b), f(x), a), g(y, v, b)\} . \]

6.5.14 Predicate calculus

2.55 $

Problem: An identically correct formula of predicate logic is the formula: 1. \( \exists x A(x) \Rightarrow \forall x B(x) \); 2. \( \forall x A(x) \Rightarrow \exists x A(x) \); 3. \( \forall x(A(x) \vee B(x)) \Rightarrow \forall x B(x) \); 4. \( \forall x A(x) \Rightarrow \exists x(A(x) \wedge B(x)) \).

6.5.15 Predicate calculus

0.76 $

Problem: Write the following argument in predicates and prove its validity using the resolution method. The premise: "no freshman likes sophomores. Everyone living in Vasyuki is a sophomore." Conclusion: "Not a single freshman likes anyone living in Vasyuki".

6.5.10 Predicate calculus

3.82 $

mathproblemsbank.net

Terms of use Privacy policy

© Copyright 2025, MathProblemsBank

Trustpilot
Order a solution
Order a solution to a problem?
Order a solution
Order a solution to a problem?
home.button.login