Give a formal derivation in modal logic K showing that KE O (p^ q) → O(p V q). You can use either basic rules of inference or the derived rules, whatever is more comfortable. Can you please show your work and the different rules you used? :) need it fast

i need answer of all. if any answer will be skipped, your answer will be rejected. only complete answer will be accepted.   b) Make a truth table for the statement ¬P ∧ (Q → P). What can youconclude about P and Q if you know the statement is true? a) Make a truth table for the statement (P ∨ Q) → (P ∧ Q). c) Make a truth table for the statement ¬P → (Q ∧ R).

I need help to answer Question no. 30 prove that the below WFF is a valid argument. (∀x)(∀y)[(P(x) Λ S(x,y)) →Q(y)] Λ (∃x)B(x) Λ (∀x)(B(x) → P(x)) Λ (∀x)(∃y)S(x,y) → (∃x)Q(x) Chapter 1.4 - Predicate Logic Text Book: Discrete Mathematics and its application 7th edition.  Author: Judith L Gersting.

Provide DFA diagrams to recognizes the same languages as each of the regular expressions in a. The set of chess moves, in the formal notation, such as p-k4 or kbp x qn. b. All stings of a’s and b’s that do not contain the substring abb. c. All strings of a’s and b’s that do not contain the subsequence abb.

3. Prove ⊢ (¬A → A) → A in Hilbert deductive system. Note: In addition to the axioms and rule of inference of H, you may use any of the derived rules and/or theorems 3.20-3.30 (as numbered in the textbook). You may not use theorem 3.31, as this is precisely that theorem.Theorem 3.20 ⊢ ¬A → (A → B). Theorem 3.21 ⊢ A → (¬A → B). Theorem 3.22 ⊢ ¬¬A → A. Theorem3.23 ⊢A→¬¬A.Theorem3.25 ⊢(A→B)→(¬B→¬A).Theorem3.28 ⊢(¬A→false)→A.Rule 3.29 (Reductio ad absurdum) Theorem3.30 ⊢(A→¬A)→¬A.   Prove {¬A} ⊢ (¬B → A) → B in H. Note: In addition to the axioms and rule of inference of Hilbert deductive system, you may use any of the derived rules and/or theorems 3.20-3.30 (as numbered in the textbook).

For each of the following regular expressions over Σ = {a, b}, state 5 strings that are in the language of the regular expression, and 5 strings that are not.  1. (a∗b)∗|a∗2. (Σ∗aaΣ∗)|(Σ∗bbΣ∗)|(ab)∗|(ba)∗|a|b

Hello, Can you please help me with this problem because I don't understand how to do this problem can you please do it step by step and can you explain it in full detail on answer this question. Thank you.

Prove the following predicate logic statements valid or invalid: A) ∀x(A(x) → B(x)) ∧ ∀x(A(x) ∨ ¬C(x)) ∧ ∃x(¬B(x)) → ¬∃x(¬A(x) ∧ ¬B(x) ∧ ¬C(x)) B) ∀x(A(x) → B(x)) ∧ ∃x(A(x) ∨ B(x)) → ∃x(A(x) ∧ B(x))