Icon Créer jeu Créer jeu
Obtenir Plan Académique
Obtenir Plan Académique
Obtenir Plan Académique

Lógica Proposicional

Test

(34)
Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica

Téléchargez la version pour jouer sur papier

653 fois fait

Créé par

Venezuela

Top 10 résultats

  1. 1
    00:52
    temps
    100
    but
  2. 2
    Alexander
    Alexander
    01:01
    temps
    100
    but
  3. 3
    01:34
    temps
    100
    but
  4. 4
    Emy Tonato
    Emy Tonato
    03:09
    temps
    100
    but
  5. 5
    Kevin Raza
    Kevin Raza
    03:16
    temps
    100
    but
  6. 6
    Jimmy Solis
    Jimmy Solis
    03:36
    temps
    100
    but
  7. 7
    Domenica Medina
    Domenica Medina
    03:39
    temps
    100
    but
  8. 8
    03:42
    temps
    100
    but
  9. 9
    JARA JOEL
    JARA JOEL
    03:51
    temps
    100
    but
  10. 10
    Evelyn Aguilar
    Evelyn Aguilar
    03:57
    temps
    100
    but
Voulez-vous apparaître dans le Top 10 de ce jeu? pour vous identifier.
Créez votre propre jeu gratuite à partir de notre créateur de jeu
Affrontez vos amis pour voir qui obtient le meilleur score dans ce jeu

Top Jeux

  1. temps
    but
  1. temps
    but
temps
but
temps
but
 
game-icon

Lógica ProposicionalVersion en ligne

Cuestionario sobre Tablas de verdad, simplificación de Formas proposicionales e Inferencia lógica

par Lergi Suarez
1

Símbolos cuya función es vincular proposiciones para generar nuevas proposiciones

2

Conectivo que en el lenguaje natural se lee como “y”

3

Conectivo que se utiliza para diferenciar, separar o indicar una alternativa

4

Forma proposicional que es siempre verdadera

5

Forma proposicional que es siempre falsa

6

Razonamiento cuya conclusión se deduce de las premisas

7

El condicional directo y el contrarecíproco son

8

Dos formas proposicionales p y q son equivalentes si:

9

Una proposición implica lógicamente a otra si

10

Al simplificar ∼[(p∧∼q)→p] se obtiene

11

Al simplificar (~q∨∼s)↔{q→[(∼q→∼s)∧∼s]} se obtiene

12

Para comprobar la validez del razonamiento: p→~q , r→q , r ⱶ ~p se usaron

13

Para comprobar la validez del siguiente razonamiento ∼t→s,r→p,~(t∧∼r),q→∼(s∨p)⊢∼q Se usaron las leyes:

14

La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es

15

La tabla de verdad de la siguiente expresión (p ᴧ ~p) ᴧ( rᴠq) es

16

Conectivo que precede a una proposición atómica

educaplay suscripción